Blick ins Buch

Formalisieren und Beweisen

Logik für Informatiker

Dirk Siefkes (Autor)

Buch | Softcover

XIII, 262 Seiten

1990
Vieweg & Teubner (Verlag)
9783528047573 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Einführung.- 1 Aussagenlogik.- 1A Formeln schreiben und benutzen.- 1B Allgemeingültige Formeln und logisches Folgern.- 1C Entscheidungsverfahren und Normalformen.- 1D Ableiten.- 2 Offene Prädikatenlogik.- 2A Situationen strukturieren und durch Formeln beschreiben.- 2B Mit Formeln und Strukturen umgehen.- 2C Strukturieren, Formalisieren, Axiomatisieren.- 2D Ableiten.- 3 Prädikatenlogik.- 3A Quantorenlogik.- 3B Finitisieren und mechanisieren.- 3C Geometrie und Zahlen axiomatisieren.- 3D Stärken und Schwächen.- Anhang Unvollständiger Dialog über Vollständigkeit.- Die Lehrveranstaltung Logik für Informatiker.- Verzeichnisse.- Personenverzeichnis.- Symbolverzeichnis.- Begriffsverzeichnis.

Erscheint lt. Verlag	1.1.1990
Reihe/Serie	Lehrbuch Informatik
Zusatzinfo	XIII, 262 S.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	488 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Ableitung • Aussagenlogik • Disjunktive Normalform • Informatik • Kompaktheit • Logik • Mathematik • Peano-Axiome • Programmieren • Resolution • Satz von Herbrand • Schnittregel • SIGNATUR • Variable • Vollständigkeit
ISBN-13	9783528047573 / 9783528047573
Zustand	Neuware