Ebook: Logik für Informatiker: Eine Einführung
- Tags: Mathematical Logic and Formal Languages, Computer Science general
- Series: Leitfäden und Monographien der Informatik
- Year: 1992
- Publisher: Vieweg+Teubner Verlag
- Edition: 2
- Language: German
- pdf
Content:
Front Matter....Pages I-VIII
Einf?hrung und mathematische Grundlagen....Pages 1-21
Aussagenlogik....Pages 22-45
Pr?dikatenlogik....Pages 46-157
Grundlagen der Logischen Programmierung....Pages 158-189
Modale Aussagenlogik....Pages 190-219
Back Matter....Pages 220-240
Content:
Front Matter....Pages I-VIII
Einf?hrung und mathematische Grundlagen....Pages 1-21
Aussagenlogik....Pages 22-45
Pr?dikatenlogik....Pages 46-157
Grundlagen der Logischen Programmierung....Pages 158-189
Modale Aussagenlogik....Pages 190-219
Back Matter....Pages 220-240
....
Download the book Logik für Informatiker: Eine Einführung for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)