Logik für die Informatik Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
40,50 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
01.08.2025
Abbildungen
XVI, mit 93 Abbildungen, schwarz-weiss Illustrationen
Verlag
Springer BerlinSeitenzahl
254
Maße (L/B/H)
24/16,8/1,5 cm
Gewicht
462 g
Sprache
Deutsch
ISBN
978-3-662-70824-8
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice