Type and Content |
| Title: |
Logik für Informatiker |
| Host: |
Tantau, Balbach |
| Classification: |
Bachelor-Studiengang 1. Semester, Pflicht |
| Conentent: |
- Grundbegriffe der Syntax: Alphabet, String, Term, Formel
- Grundbegriffe der Semantik: Belegung, Struktur, Modell, Theorie
- Grundbegriffe der Kalküle: Axiome, Beweise
- Formalisierung und Kodierung von Problemen und Systemen
- Überprüfung von Formalisierungen auf Korrektheit und Erfüllbarkeit
- Syntax und Semantik der Aussagenlogik
- Syntax und Semantik der Prädikatenlogik
- Beweiskalküle
|
| Literature: |
- Schöning: Logik für Informatiker, Spektrum Verlag, 1995.
- Kreuzer, Kühlig: Logik für Informatiker, Pearson Studium, 2006.
- Dassow: Logik für Informatiker, Teubner, 2005.
- Huth, Ryan: Logic in Computer Science, Cambridge University Press, 2004.
- Monin: Understanding Formal Methods, Springer 2003.
|
| Wiki: |
Wiki of the event |
Lecture |
| Host: |
Tantau |
| Hours: |
2 SWS, 4 ECTS |
| Dates: |
Fr. 10h – 12h, H1 |
Exercise |
| Host: |
Balbach |
| Hours: |
1 SWS |
| Dates: |
Fr. 12h – 15h, R1 (Einzeltermin am 26.1.2007 12h-15h, H2) |
