Veranstaltungsart und -inhalt
|
| Titel |
Logik für Informatiker |
| Dozent |
Prof. Dr. Till Tantau |
| Einordnung |
Bachelor-Studiengang Informatik 3. Semester,
Bachelor-Studiengang MI, MIW, MML 3. Semester,
ACHTUNG: Informatik und Med. Informatik nur für Wiederholer |
| Inhalte |
- 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.
|
Vorlesung |
| Dozent |
Prof. Dr. Till Tantau |
| Umfang |
2 SWS, ECTS-Credits: 4 |
| Termine |
Do 10:00 – 12:00, AM S1, ausser am 6.11.: 3. OG Gebäude 64, Raum 64.3-28
|
Übung |
| Assistent |
M.Sc. Tim Kunold |
| Umfang |
1 SWS |
| Termine |
Fr. 12:00 bis 13:00 h, Seminarraum Informatik 5 (von Neumann)
|
