Advanced Logics (SS2025): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Andrea Kühn (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (4 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
| Zeile 2: | Zeile 2: | ||
|Title=Lecture “Advanced Logics” | |Title=Lecture “Advanced Logics” | ||
|Research group=Algebraische und logische Grundlagen der Informatik | |Research group=Algebraische und logische Grundlagen der Informatik | ||
|Lecturers=Christel Baier | |Lecturers=Christel Baier; Jakob Piribauer | ||
|Language=EN | |Language=EN | ||
|Term=SS | |Term=SS | ||
|Year=2025 | |Year=2025 | ||
|Module=CMS-LM-ADV, CMS-LM-MOC, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL | |Module=CMS-LM-ADV, CMS-LM-MOC, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL | ||
|SWSLecture=4 | |SWSLecture=4 | ||
| Zeile 17: | Zeile 16: | ||
=== Registration === | === Registration === | ||
Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027272?29 via Opal] is required until 30 | Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027272?29 via Opal] is required until April 30. | ||
=== Prerequisites === | === Prerequisites === | ||
For the course, basic knowledge | For the course, basic knowledge in algorithms, complexity theory, automata theory and logic is presumed. | ||
=== Dates === | === Dates === | ||
* Lecture: Thursdays and Fridays, 9:20–10:50, APB E005 (starting 10 | * Lecture: Thursdays and Fridays, 9:20–10:50, APB E005 (starting April 10) | ||
* Tutorial: Thursdays, 11:10–12:40, APB E005 (starting 17 | * Tutorial: Thursdays, 11:10–12:40, APB E005 (starting April 17) | ||
=== Creditability === | === Creditability === | ||
| Zeile 50: | Zeile 49: | ||
=== Contact === | === Contact === | ||
In case of organisational questions, please contact [[Sascha Klüppelholz]]. | |||
}} | }} | ||
Aktuelle Version vom 17. März 2025, 16:49 Uhr
Lecture “Advanced Logics”
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2025
Dozent
Umfang (SWS)
- 4/2/0
Module
The purpose of this course is to study several extensions of classical propositional, first-order and second-order logic. We will concentrate on aspects of mathematical logic that are relevant for computer science, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.
This lecture is in English.
Registration
Registration via Opal is required until April 30.
Prerequisites
For the course, basic knowledge in algorithms, complexity theory, automata theory and logic is presumed.
Dates
- Lecture: Thursdays and Fridays, 9:20–10:50, APB E005 (starting April 10)
- Tutorial: Thursdays, 11:10–12:40, APB E005 (starting April 17)
Creditability
Bachelor Informatik
Master Informatik
Diplom Informatik
Master Computational Logic
- MCL-AL: exam according to module description
Master Computational Modeling and Simulation
- CMS-LM-MOC: oral exam (30 minutes)
- CMS-LM-ADV: oral exam (30 minutes)
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
