Mathematik: Logik

Dieses Buch steht im Regal Mathematik.

Band 1 des Werkes Mathematik

Vorwort

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

• Kapitel 0: Einleitung

Eine formale Definition, Die Rolle der Logik in der Informatik

• Kapitel 1: Aussagenlogik

Motivation, Eine formale Sprache, Anwendung

• Kapitel 2: Prädikatenlogik

Motivation, Eine formale Sprache

• Kapitel 3: Spezielle Logiken

Nicht monotone Logiken, Fuzzy Logik, Temporale Logik, Substrukturelle Logik, Alethische Modallogik