Logik für Informatiker - neues Buch

EAN (ISBN-13): 9783322801388
Erscheinungsjahr: 2013
Herausgeber: Vieweg+Teubner Verlag

Buch in der Datenbank seit 2017-03-17T11:52:21+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-11T13:27:09+02:00 (Berlin)
ISBN/EAN: 9783322801388

ISBN - alternative Schreibweisen:
978-3-322-80138-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: heinemann, klaus bernhard
Titel des Buches: logik für informatiker

---

Daten vom Verlag:

Autor/in: Bernhard Heinemann; KLAUS WEHIRAUCH
Titel: Leitfäden und Monographien der Informatik; Logik für Informatiker - Eine Einführung
Verlag: Vieweg+Teubner Verlag; Vieweg & Teubner
240 Seiten
Erscheinungsjahr: 2013-03-07
Wiesbaden; DE
Sprache: Deutsch
20,67 € (DE)
20,67 € (AT)
28,61 CHF (CH)
Available
VIII, 240 S.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Alphabet; Aussagen; Erzeugungssystem; Herbrand-Struktur; Informatiker; Kompaktheit; Konjunktion; Logik; Prädikate; Resolution; Vollständigkeit; A; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computer Science, general; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Computer Science; Informatik; BC

1 Einführung und mathematische Grundlagen.- 1.1 Einführung in die Fragestellung.- 1.2 Allgemeine mathematische Grundbegriffe.- 1.3 Berechenbarkeit.- 1.4 Erzeugungssysteme, Termmengen.- 2 Aussagenlogik.- 2.1 Aussagenlogische Formeln, die Syntax.- 2.2 Interpretationen und Belegungen.- 2.3 Tautologien und logische Äquivalenz.- 2.4 Ausdrucksstärke, Normalformen, Kompaktheitssatz.- 3 Prädikatenlogik.- 3.1 Einleitung.- 3.2 Syntax der Prädikatenlogik.- 3.3 Semantik und logische Grundbegriffe.- 3.4 Formalisierung des logischen Schließens.- 3.5 Normalformen prädikatenlogischer Formeln.- 3.6 Herbrand-Strukturen, Kompaktheit und rekursive Aufzählbarkeit der logischen Konsequenz.- 3.7 Die Unentscheidbarkeit der Prädikatenlogik.- 3.8 Prädikatenlogik mit Gleichheit.- 3.9 Theorien.- 3.10 Ausdrucksstärke der Prädikatenlogik 1. Stufe.- 4 Grundlagen der Logischen Programmierung.- 4.1 Logik-Programme.- 4.2 Unifikation.- 4.3 Berechnungen von Logik-Programmen.- 4.4 Korrektheit und Vollständigkeit des Resolutionsverfahrens.- 5 Modale Aussagenlogik.- 5.1 Einführung in die Modallogik.- 5.2 Entscheidbarkeit.- 5.3 Von der Modallogik zur Temporären Logik.- Übungsaufgaben.- Das Griechische Alphabet.- Verzeichnis der verwendeten Symbole.- Stichwort- und Namensverzeichnis.