Schneller Zugriff als Browser!
12 Beziehungen: Algorithmus, Amazon Web Services, C (Programmiersprache), C++, C-Sharp, Formale Sprache, Java (Programmiersprache), LaTeX, Leslie Lamport, Nebenläufigkeit, Pseudocode, Temporale Logik der Aktionen.
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Neu!!: PlusCal und Algorithmus · Mehr sehen »
Amazon Web Services
Amazon Web Services (AWS) ist ein US-amerikanischer Cloud-Computing-Anbieter, der 2006 als Tochterunternehmen des Online-Versandhändlers Amazon.com gegründet wurde.
Neu!!: PlusCal und Amazon Web Services · Mehr sehen »
C (Programmiersprache)
C ist eine imperative und prozedurale Programmiersprache, die der Informatiker Dennis Ritchie in den frühen 1970er Jahren an den Bell Laboratories entwickelte.
Neu!!: PlusCal und C (Programmiersprache) · Mehr sehen »
C++
C++ ist eine von der ISO genormte Programmiersprache.
Neu!!: PlusCal und C++ · Mehr sehen »
C-Sharp
C# (englisch c sharp) ist eine typsichere objektorientierte Allzweck-Programmiersprache.
Neu!!: PlusCal und C-Sharp · Mehr sehen »
Formale Sprache
Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.
Neu!!: PlusCal und Formale Sprache · Mehr sehen »
Java (Programmiersprache)
Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.
Neu!!: PlusCal und Java (Programmiersprache) · Mehr sehen »
LaTeX
LaTeX (im deutschsprachigen Raum auch, Eigenschreibweise: \mathrm) ist ein plattformunabhängiges und freies Softwarepaket, das die Benutzung des Textsatzsystems TeX mit Hilfe von Makros vereinfacht.
Neu!!: PlusCal und LaTeX · Mehr sehen »
Leslie Lamport
Leslie Lamport Leslie Lamport (* 7. Februar 1941 in New York) ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer.
Neu!!: PlusCal und Leslie Lamport · Mehr sehen »
Nebenläufigkeit
Beim Philosophenproblem (engl. ''Dining Philosophers Problem'') handelt es sich um ein Fallbeispiel aus dem Bereich der Theoretischen Informatik. Die Nebenläufigkeit, mitunter auch Parallelität genannt, ist in der Informatik die Eigenschaft eines Systems, mehrere Aufgaben, Berechnungen, Anweisungen oder Befehle gleichzeitig ausführen zu können.
Neu!!: PlusCal und Nebenläufigkeit · Mehr sehen »
Pseudocode
Der Pseudocode ist ein Programmcode, der nicht zur maschinellen Interpretation, sondern lediglich zur Veranschaulichung eines Paradigmas oder Algorithmus dient.
Neu!!: PlusCal und Pseudocode · Mehr sehen »
Temporale Logik der Aktionen
Die Temporale Logik der Aktionen (TLA) wurde von Leslie Lamport entwickelt.
Neu!!: PlusCal und Temporale Logik der Aktionen · Mehr sehen »
