Logik für die Informatik
Regulärer Preis:
29,99 €
Sofort verfügbar
Logik für die Informatik, Springer Vieweg
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Von Markus Junker, im heise shop in digitaler Fassung erhältlich
Produktinformationen "Logik für die Informatik"
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.
Artikel-Details
- Anbieter:
- Springer Vieweg
- Autor:
- Markus Junker
- Artikelnummer:
- 9783662708255
- Veröffentlicht:
- 31.07.25
- Seitenanzahl:
- 150
Barrierefreiheit
This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation
- entspricht den Vorgaben der PDF / UA 1 (05)
- keine Vorlesefunktionen des Lesesystems deaktiviert (bis auf) (10)
- navigierbares Inhaltsverzeichnis (11)
- logische Lesereihenfolge eingehalten (13)
- kurze Alternativtexte (z.B für Abbildungen) vorhanden (14)
- Inhalt auch ohne Farbwahrnehmung verständlich dargestellt (25)
- hoher Kontrast zwischen Text und Hintergrund (26)
- Navigation über vor-/zurück-Elemente (29)
- alle zum Verständnis notwendigen Inhalte über Screenreader zugänglich (52)
- Kontakt zum Herausgeber für weitere Informationen zur Barrierefreiheit (99)