4. Terme, Formeln und ihre Auswertung

Chapters in this book

1. Frontmatter 1
2. Inhalt 5
3. Vorwort der Herausgeber 7
4. Vorwort des Autors 9
5. 1. Logik in der Informatik 11
6. 2. Beispiele logischer Beschreibungen 21
7. 3. Signaturen und Strukturen 33
8. 4. Terme, Formeln und ihre Auswertung 45
9. 5. Spezifikationen und Modelle 65
10. 6. Spezielle Situationen 79
11. 7. Folgern 97
12. 8. Ableiten 111
13. 9. Anwendungen in Skizzen 127
14. 10. Ausblick 143
15. Anhang 151