Wissenschaftliche Literatur Temporallogik
Eine schlagwortbasierte Auswahl unserer Fachbücher 2 Bücher

Nominale Logik der Zeit
BOETHIANA – Forschungsergebnisse zur Philosophie
Das historisch erste System einer temporalen Logik auf der Basis einer Zeittheorie, die bereits Leibniz bei seinem Disput mit Clarke/Newton vorgeschlagen hat. [...]
Gottfried Wilhelm Leibniz Logik Nominale Logik Philosophie Sprachphilosophie Sprachtheorie Temporallogik Zeit Zeittheorie
Transformationsbasierte temporallogische Programmierung
Forschungsergebnisse der Programmentwicklung
IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und sometimes als auch vergangenheitsbezogene Operationen wie…
ExTeLL Informatik Programmierlogik Programmiersprache Programmierung Reduktion Temporallogik TransformationHäufige Schlagworte im Fachgebiet
Bildung China Controlling DDR Datenschutz Digitalisierung Ethik Europa Europarecht Europäische Union Gesellschaftsrecht Globalisierung Haftung Identität Innovation Insolvenzrecht Integration Internet Jugendliche Kommunikation Konsumentenverhalten Kooperation Motivation Nachhaltigkeit Nationalsozialismus Rechnungslegung Russland Schule Steuerrecht USA