Logik WS 12/13

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 2012/13
SWS 3 (2V+1Ü)
Kreditpunkte 4
Ort und Zeit HG II, HS 6, montags 10:15-12:00 Uhr
Querverbindungen  
Voraussetzungen  
Forum Inpud
Übungsleiter This email address is being protected from spambots. You need JavaScript enabled to view it., This email address is being protected from spambots. You need JavaScript enabled to view it.
Querverbindungen  

Aktuelles

  • Die Klausureinsicht für die zweite Klausur findet am 22.4. im Raum OH16-205 statt:
    • Anfangsbuchstaben A-K: 16.00 Uhr bis 16.30 Uhr
    • AnfangsbuchstabenL-Z: 16.30 Uhr bis 17.00 Uhr
  • Die Ergebnisse der Klausur vom 5.4.2013 befinden sich hier. Diese Liste ist ohne Gewähr. Verbindlich sind letztlich die Einträge im BOSS. Bei Unstimmigkeiten wenden Sie sich bitte an uns.

Inhalt

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.

Übungsgruppen

Die Nummern, Termine und Räume der Übungsgruppen.

Tutorium und Betreutes Lernen

Hier finden Sie die Termine der betreuten Lerngruppen sowie die Termine und Themen des Tutoriums.

Klausur

Hier finden Sie die Klausurtermine und alle wichtigen Informationen.