✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 362.450 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Logik für die Informatik

Logik für die Informatik

von Markus Junker
Softcover - 9783662708248
37,99 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

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.

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

Details

Verlag Springer Berlin
Ersterscheinung 01. August 2025
Maße 24 cm x 16.8 cm
Gewicht 462 Gramm
Format Softcover
ISBN-13 9783662708248
Seiten 254

Schlagwörter

Computer Science Logic and Foundations of Programming, Discrete Mathematics in Computer Science, Diskrete Mathematik, Formal Languages and Automata Theory, Mathematics of Computing, Mathematik für Informatiker, Theoretische Informatik, Theory of Computation

Herstellerinformationen +