Vorlesung "Logik für Informatiker" WS 09/10
|
| Veranstaltungsnummer |
040125 |
| Modulnummer |
INF-BA-106 |
| Titel |
Logik
|
| Veranstalter |
Prof. Dr. Thomas Schwentick |
| Klassifikation |
Pflichtvorlesung im Bachelor Informatik (Modul Logik für Informatiker)
Pflichtvorlesung im Bachelor Datenanalyse und Datenmanagement (Modul Logik und Informationssysteme)
|
| Semester |
Wintersemester 2009/10 |
| SWS |
3 (2V+1Ü)
|
| Kreditpunkte |
4 |
| Ort und Zeit |
HG II, HS 6, montags 10:15-12:00 Uhr
|
| Querverbindungen |
|
| Voraussetzungen |
|
|
- Sebsttest im Tutorium am Mi, 05.01.11 12:00 - 14:00 (für Näheres siehe http://ls1-www.cs.uni-dortmund.de/cms/vorlesung-qlogik-fuer-informatikerq-ws-1011/tutorium)
|
|
Hier finden Sie Informationen zum Verlauf der Vorlesung
|
|
Weiterlesen...
|
|
Hier finden Sie fortlaufend die aktuellen Vorlesungfolien. Die vollständigen Folien aus dem WS 08/09 finden Sie hier.
|
|
Weiterlesen...
|
|
Hier finden Sie die Übungsblätter und die Beispiellösungen.
|
|
Weiterlesen...
|
|
Hier finden Sie die Termine und Themen des Tutoriums
|
|
Weiterlesen...
|
|
Die Nummern, Termine und Räume der Übungsgruppen.
|
|
Weiterlesen...
|
|
Hier finden Sie die Klausurtermine und alle wichtigen Informationen zur Klausur.
|
|
Weiterlesen...
|
|
Die Vorlesung umfasst wesentliche Grundlagen der modernen mathematischen Logik, die für die Informatik relevant sind. Neben den klassischen logischen Systemen der Aussagenlogik und der Prädikatenlogik lernen die Studierenden auch neuere logische Systeme kennen, die in der Informatik verwendet werden, wie Modallogik und Temporallogik. Für diese Logiken werden untersucht:
• Syntax und Semantik
• einige algorithmische und modelltheoretische Eigenschaften, sowie
• verschiedene Beweiskalküle mit denen man die Unerfüllbarkeit logischer Formeln untersuchen kann.
Weiterhin werden die Grundlagen der logischen Programmierung vorgestellt.
|
|
Weiterlesen...
|
|
|
|
|
|
