Dassow | Logik für Informatiker | Buch | 978-3-519-00518-6 | sack.de

Buch, Deutsch, 177 Seiten, Format (B × H): 170 mm x 240 mm, Gewicht: 323 g

Dassow

Logik für Informatiker


2005
ISBN: 978-3-519-00518-6
Verlag: Vieweg+Teubner Verlag

Buch, Deutsch, 177 Seiten, Format (B × H): 170 mm x 240 mm, Gewicht: 323 g

ISBN: 978-3-519-00518-6
Verlag: Vieweg+Teubner Verlag

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie für die logische Programmierung und die Künstliche Intelligenz.
Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren für Studierende der Informatik und informatiknaher Studiengänge hält. Es gibt eine Einführung in die Logik aus der Sicht der Informatik.
Dassow Logik für Informatiker jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Dassow, Jürgen

Fachgebiete

Weitere Infos & Material

1 Aussagenlogik.- 1.1 Aussagenlogische Ausdrücke.- 1.2 Entscheidbarkeitsfragen in der Aussagenlogik.- Übungsaufgaben.- 2 Prädikatenlogik.- 2.1 Prädikatenlogische Ausdrücke.- 2.2 Entscheidbarkeitsfragen in der Prädikatenlogik.- 2.3 Bemerkungen zur Logischen Programmierung.- Übungsaufgaben.- 3 Weitere Logiken.- 3.1 Logiken mit anderen Wertigkeiten.- 3.2 Zusätzliche Operatoren.- Übungsaufgaben.- A Grundlagen.- A.1 Mengen, Relationen, Graphen.- A.2 Wörter über einer Menge.- A.3 Mathematische Induktion.- A.4 Bereehenbarkeit und NP-Vollständigkeit.- B Lösungen ausgewählter Übungsaufgaben.- B.1 Zu Aufgaben des Kapitels 1.- B.2 Zu Aufgaben des Kapitels 2.- B.3 Zu Aufgaben des Kapitels 3.

Prof. Dr. Jürgen Dassow, Universität Magdeburg

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.