Logo

Neue mathematische Verfahren in Industrie und Dienstleistungen: Entwicklung und Aufbau des Internet-Dienstes "Math&Industry"
 
Projektübersicht
Anwendungen und Produkte
Beteiligte
Das Problem der Praxis
Modellbildung und Modelle
Mathematische Behandlung
 
 

BMBF Logo
  
 
 

Mathematisches Glossar


Aussagenlogik - Die Aussagenlogik verknüpft Aussagen mittels logischen Operatoren, ausgehend von strukturlosen Elementaraussagen (sog. Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.
» wird vorausgesetzt von: Prädikatenlogik

Prädikatenlogik - Logiksystem, das das Arbeiten mit Aussagen beschreibt. Prädikatenlogik ist eine Erweiterung der Aussagenlogik.
» charakterisiert: OWL [1]; setzt voraus: Aussagenlogik


Glossar-Legende:
[1] = Informatik

Zurück zur Übersichtsseite
 
 
Datum der letzten Änderung: 15. Januar 2010
Diese Seite wurde mit MIPMGlossary 2.1.2 erstellt, einem Werkzeug von Math&Industry.
 
 
This document is valid Valid XHTML 1.0! Valid CSS! RDF metadata