Spar
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.
- Undertittel
- Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
- Forfatter
- Markus Junker
- ISBN
- 9783662708248
- Språk
- Tysk
- Vekt
- 310 gram
- Utgivelsesdato
- 1.8.2025
- Antall sider
- 254
