Markus Junker

Logik für die Informatik

Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie. XVI, 254 S. 93 Abbildungen. Dateigröße in MByte: 8.

pdf eBook , 254 Seiten

ISBN 3662708256

EAN 9783662708255

Veröffentlicht Juli 2025

Verlag/Hersteller Springer Vieweg

Auch erhältlich als:

Taschenbuch

€ 37,99

€ 29,99 inkl. MwSt.

Auf die Wunschliste

Weitere interessante Themen

Beschreibung

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.

Portrait

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

Technik

Sie können dieses eBook zum Beispiel mit den folgenden Geräten lesen:

• tolino Reader

Laden Sie das eBook direkt über den Reader-Shop auf dem tolino herunter oder übertragen Sie das eBook auf Ihren tolino mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions.

• Sony Reader & andere eBook Reader

Laden Sie das eBook direkt über den Reader-Shop herunter oder übertragen Sie das eBook mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions auf ein Standard-Lesegeräte.

• Tablets & Smartphones

Möchten Sie dieses eBook auf Ihrem Smartphone oder Tablet lesen, finden Sie hier unsere kostenlose Lese-App für iPhone/iPad und Android Smartphone/Tablets.

• PC & Mac

Lesen Sie das eBook direkt nach dem Herunterladen mit einer kostenlosen Lesesoftware, beispielsweise Adobe Digital Editions, Sony READER FOR PC/Mac oder direkt über Ihre eBook-Bibliothek in Ihrem Konto unter „Meine eBooks“ - „Sofort online lesen über Meine Bibliothek“.

Bitte beachten Sie, dass die Kindle-Geräte das Format nicht unterstützen und dieses eBook somit nicht auf Kindle-Geräten lesbar ist.