Advanced Logics (WS2018): Unterschied zwischen den Versionen
Steffen Märcker (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) |
||
| (6 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Vorlesung | {{Vorlesung | ||
|Title= | |Title=Lecture “Advanced Logics” | ||
|Research group= | |Research group=Algebraische und logische Grundlagen der Informatik | ||
|Lecturers=Christel Baier; | |Lecturers=Christel Baier; | ||
|Term=SS | |Term=SS | ||
| Zeile 13: | Zeile 13: | ||
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. | 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. | ||
=== Dates === | |||
<table style="border-spacing: 5px;"> | |||
<tr> | |||
<td style="padding: 0.5em;">Thu</td> | |||
<td style="padding: 0.5em;">2. and 3. time slot</td> | |||
<td style="padding: 0.5em;">[09:20 am – 12:40 pm]</td> | |||
<td style="padding: 0.5em;">room: APB/E005</td> | |||
</tr> | |||
<tr> | |||
<td style="padding: 0.5em;">Fri</td> | |||
<td style="padding: 0.5em;">2. time slot</td> | |||
<td style="padding: 0.5em;">[09:20 am – 10:50 pm]</td> | |||
<td style="padding: 0.5em;">room: APB/E005</td> | |||
</tr> | |||
</table> | |||
The first lecture will be held on Thursday, April 12th at 09:20 am. The date of the first tutorial will be announced in the lecture. There will be no fixed assignment of the lectures and exercises to time slots. The schedule for the lectures and tutorials will be announced every week. | |||
=== Prerequisites === | |||
For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed. | |||
=== Course Homepage === | |||
Further details can be found [https://www.inf.tu-dresden.de/index.php?node_id=3820 here]. | |||
}} | }} | ||
Aktuelle Version vom 5. März 2025, 14:41 Uhr
Lecture “Advanced Logics”
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2018
Dozent
Umfang (SWS)
- 4/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
The course is mandatory for students in the Master's program “Computational Logic”. For computer science students enrolled in the Bachelor's, Master's or Diplom program, the lecture is optional. In the former Bakkalaureat and Diplom program the course belongs to the sections “intelligent systems” and “theory of programming”.
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.
Dates
| Thu | 2. and 3. time slot | [09:20 am – 12:40 pm] | room: APB/E005 |
| Fri | 2. time slot | [09:20 am – 10:50 pm] | room: APB/E005 |
The first lecture will be held on Thursday, April 12th at 09:20 am. The date of the first tutorial will be announced in the lecture. There will be no fixed assignment of the lectures and exercises to time slots. The schedule for the lectures and tutorials will be announced every week.
Prerequisites
For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.
Course Homepage
Further details can be found here.
