Mathematik: Logik

Aus Wikibooks
Wechseln zu: Navigation, Suche
Gnome-applications-office.svg Dieses Buch steht im Regal Mathematik.
Nuvola apps bookcase 1.svg Band 1 des Werkes Mathematik

Vorwort [Bearbeiten]

Dieses Buch stellt eine Einführung in das Themengebiet der Logik dar. Auch wenn es ein Teil der Wikibook-Reihe Mathematik in mehreren Bänden ist, soll nicht der Eindruck entstehen, dass hier nur die Aspekte behandelt werden, die in der Mathematik von Interesse sind. Vielmehr soll auch ein großes Augenmerk auf die Betrachtungsweise in der Philosophie gelegt werden - immerhin ist die Logik als Lehre ja dort entstanden. Aber auch die vielfältigen Anwendungsfälle in der Informatik sollen keineswegs vernachlässigt werden.

Inhaltsverzeichnis [Bearbeiten]

Eine formale Definition, Die Rolle der Logik in der Informatik
Motivation, Eine formale Sprache, Anwendung
Motivation, Eine formale Sprache
Nicht monotone Logiken, Fuzzy Logik, Temporale Logik, Substrukturelle Logik, Alethische Modallogik