Art und Inhalt |
| Titel: |
Logik für Informatiker |
| Veranstalter: |
Tantau, Balbach |
| Einordnung: |
Bachelor-Studiengang 1. Semester, Pflicht |
| Inhalt: |
- 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
|
| Buchempfehlungen: |
- 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 zur Veranstaltung |
Vorlesung |
| Veranstalter: |
Tantau |
| Umfang: |
2 SWS, 4 ECTS |
| Termine: |
Fr. 10h – 12h, H1 |
Übung |
| Veranstalter: |
Balbach |
| Umfang: |
1 SWS |
| Termine: |
Fr. 12h – 15h, R1 (Einzeltermin am 26.1.2007 12h-15h, H2) |
