Classification and Contents
|
| Title |
Introduction to Logic |
| Lecturer |
Prof. Dr. Till Tantau |
| Classification |
Bachelor-Studiengang Informatik, Medizinische Informatik und IT-Sicherheit 3. Semester,
Bachelor-Studiengang Medienfinformatik, MML 5. Semester,
|
| Contents |
- 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.
|
|
|
Lecture |
| Lecturer |
Prof. Dr. Till Tantau |
| Credits |
2 SWS |
| Hours |
Wed. 12:00 – 14:00, AM 1
|
Exercises |
| Assistent |
M.Sc. Florian Thaeter |
| Credits |
1 SWS |
| Hours |
6 groups, Fr. 08:00 bis 12:00 h, AM 4, Sem.Room 5 (von Neumann), ITCS 2021
|
