Logik für die Informatik

Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie

AvMarkus Junker

Häftad, Tyska, 2025

391 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

367 kr

Beskrivning

Dieses Lehrbuch bietet eine Einführung in die Aussagenlogik, die Prädikatenlogik erster Stufe und die Berechenbarkeitstheorie. Schwerpunkte liegen auf Aspekten der Formalen Logik, die für die Informatik interessant sind, z.B. verschiedene Verfahren zum Testen von Erfüllbarkeit, Turing-Maschinen und das Halteproblem, Satz von Cook. Schwierige Beweise sind nur skizziert. Das Buch erreicht dadurch eine gute Mischung aus mathematischer Präzision und Erläuterungen, ohne ausufernd zu werden. Viele Beispiele und zahlreiche Übungen, nach Kapiteln unterteilt, ergänzen das didaktische Angebot des Buches.

Produktinformation

Utgivningsdatum:2025-08-01
Mått:168 x 240 x 15 mm
Vikt:462 g
Format:Häftad
Språk:Tyska
Antal sidor:254
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783662708248

Utforska kategorier

Mer om författaren

Markus Junker hat Mathematik in Mainz und Paris studiert und in mathematischer Logik promoviert. Er ist Privatdozent an der Albert-Ludwigs-Universität Freiburg.

Innehållsförteckning

1. Grundlegende Konzepte.- 2. Methoden und Verfahren.- 3. Die mathematische Struktur der Aussagenlogik.- 4. Grundlegende Konzepte.-5. Der Vollständigkeitssatz 6 Methoden und Verfahren.- 7. Berechenbarkeit und Entscheidbarkeit.- 8. Rekursive Funktionen.- 9. Ausblicke.- 10. Grundlagen.- 11. Verzeichnisse.

Mer från samma författare

Handbuch Vertragsverhandlung und Vertragsmanagement

Gabrielle H. Williamson, Bernd Wegmann, Mikio Tanaka, Benno Schwarz, Reiner Ponschab, Thomas Pattloch, Wolfram Meven, Fredmund Malik, Tim Luthra, Clemens Kochinke, Dagmar Knigge, Dirk Knesebeck, Selim Keki, Markus Junker, Martin Imbeck, Jan Curschmann, Gerhard Pischel, Benno Heussen