 |
| | | | | Beschreibung | | Formale Logiken sind der Teil der formalen Sprachen, bei denen durch (u.U. automatisch durchführbare) Symbolmanipulation Schlüsse gezogen werden können.
Damit solche Schlüsse möglich sind, müssen eine formale Syntax und eine Semantik (die Struktur und die Bedeutung der Sprache) definiert worden sein. Exemplare der hier beschriebenen formalen Logiken sind bspw. Aussagen- (vgl. Prädikatenlogik erster Ordnung) und Temporallogiken, wobei letztere den zeitlichen Ablauf als weitere Dimension mit in die Betrachtung einbezieht.
| |
| | | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | |  | Übergeordnet | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Formale Logiken | | | | |  | Untergeordnet | | | | | | | | | | | | Ansprechpartner | | | | | | | | | | Weitere Themen | | | | | | | | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
