symbolische programmiersprache
111Edmund Clarke — Edmund Melson Clarke, Jr. (* 27. Juli 1945) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik Professor an der Carnegie… …
112Gödelscher Unvollständigkeitssatz — Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in Formalen Sprachen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …
113HP-48 — links: HP48SX (Baujahr 1989); rechts: 49g+ (Baujahr 2004) HP 48 ist die Bezeichnung einer Serie programmierbarer Taschenrechner des US amerikanischen Herstellers Hewlett Packard (HP). Der HP 48SX wurde 1989 eingeführt und zeichnet sich durch ein… …
114JavaScript Object Notation — Die JavaScript Object Notation, kurz JSON (IPA: /ˈdʒeɪsʌn/), ist ein kompaktes Datenformat in für Mensch und Maschine einfach lesbarer Textform zum Zweck des Datenaustauschs zwischen Anwendungen. Jedes gültige JSON Dokument soll ein gültiges… …
115Low Level Virtual Machine — The LLVM Compiler Infrastructure Maintainer Chris Lattner[1] Entwickler The LLVM Team[2] Aktuelle Version 2.9 (6. April 2011) …
116Programmable Logic Controller — Rack mit einer Speicherprogrammierbaren Steuerung Eine Speicherprogrammierbare Steuerung (SPS, engl. Programmable Logic Controller, PLC) ist eine Baugruppe, die zur Steuerung oder Regelung einer Maschine oder Anlage eingesetzt wird. In der Regel… …
117Programmable logic controller — Rack mit einer Speicherprogrammierbaren Steuerung Eine Speicherprogrammierbare Steuerung (SPS, engl. Programmable Logic Controller, PLC) ist eine Baugruppe, die zur Steuerung oder Regelung einer Maschine oder Anlage eingesetzt wird. In der Regel… …
118Richard Morley — Rack mit einer Speicherprogrammierbaren Steuerung Eine Speicherprogrammierbare Steuerung (SPS, engl. Programmable Logic Controller, PLC) ist eine Baugruppe, die zur Steuerung oder Regelung einer Maschine oder Anlage eingesetzt wird. In der Regel… …
119SSPS — Rack mit einer Speicherprogrammierbaren Steuerung Eine Speicherprogrammierbare Steuerung (SPS, engl. Programmable Logic Controller, PLC) ist eine Baugruppe, die zur Steuerung oder Regelung einer Maschine oder Anlage eingesetzt wird. In der Regel… …
120TI voyage 200 — Voyage 200 Programmeditor für TI Basic auf dem Voyage 200 Der Voyage 200 ist ein grafikfähiger Taschenrechner, der von …
