10-201-2108-1  Logik

Moduldetails
Anmeldeoptionen
Modulverantwortliche: Prof. Dr. Gerhard Brewka; Dr. Frank Loebe

Dauer: 1

Anzahl Wahlkurse: 0

Credits: 5,0

Startsemester: SoSe 2018

Turnus:
jedes Sommersemester
Ziele:
Nach der aktiven Teilnahme am Modul „Logik“ sind die Studierenden in der Lage:
- Sachverhalte mit Hilfe von Aussagen- und Prädikatenlogik präzise formal zu
spezifizieren,
- nachzuweisen, ob eine Formel aus anderen logisch gefolgert werden kann und
- grundlegende automatische und formale Beweisverfahren anzuwenden.
Inhalt:
Aussagenlogik, Resolution, Endlichkeitssatz, Prädikate, Modelle,
Unentscheidbarkeit, Grundlagen der Logikprogrammierung
Literaturangabe:
unter www.informatik.uni-leipzig.de sowie im Vorlesungsverzeichnis
Prüfungsvorleistungen:
Der Prüfungsleistung 'Klausur (60 Min.)' (Modulabschlussprüfung) ist folgende Prüfungsvorleistung zugeordnet: Übungsschein in der Übung (6 Übungsblätter mit Hausaufgaben von denen 50% korrekt gelöst sein müssen), Bearbeitungszeit je Übungsblatt 1 Woche.
Teilnahmevoraussetzungen:
Bachelor of Science Informatik: keine
Teilnahmevoraussetzungen für den Wahlbereich:
Teilnahme am Modul "Algorithmen und Datenstrukturen 1" (10-201-2001-1) und am Modul "Modellierung und Programmierung 1" (10-201-2005-1)
Moduleinstufung im Wahlbereich:
weiterführend
Anmeldefristen
Phase Block Anmeldung von | bis Ende Abmeldung
Einschreibung Vorlesungszeit 26.03.2018 09:00 | 16.04.2018 12:00 18.06.2018 12:00
Kurse
Nummer Name Pflicht Semester Credits  
10-201-2108-1.VL01 Logik Ja 0,0  
10-201-2108-1.VL01 Logik   SoSe 2018  
10-201-2108-1.ÜB01 Logik Ja 0,0  
10-201-2108-1.ÜB01a Logik   SoSe 2018  
10-201-2108-1.ÜB01b Logik   SoSe 2018  
10-201-2108-1.ÜB01c Logik   SoSe 2018  
10-201-2108-1.ÜB01d Logik   SoSe 2018  
10-201-2108-1.ÜB01e Logik   SoSe 2018  
10-201-2108-1.ÜB01f Logik   SoSe 2018  
10-201-2108-1.ÜB01g Logik   SoSe 2018  
10-201-2108-1.ÜB01h Logik   SoSe 2018  
10-201-2108-1.ÜB01i Logik   SoSe 2018  
10-201-2108-1.ÜB01j Logik   SoSe 2018  
10-201-2108-1.ÜB01k Logik   SoSe 2018  
10-201-2108-1.ÜB01l Logik   SoSe 2018  
Leistungen
Kurs/Modulabschlussleistungen Leistungen Bestehenspflicht Gewichtung
Modulabschlussleistungen   Klausur Ja 1
Modulabschlussprüfungen
Prüfung Datum Lehrende Bestehenspflicht
1  Klausur Do, 26. Jul. 2018, 10:00 - 11:00 Prof. Dr. Gerhard Brewka; Dr. Frank Loebe Ja
2  Klausur (Wdh) Do, 27. Sep. 2018, 10:00 - 11:00 Prof. Dr. Gerhard Brewka; Dr. Frank Loebe Ja
3  Klausur (Wdh.) Di, 23. Jul. 2019, 10:00 - 11:00 Prof. Dr. Gerhard Brewka; Dr. Frank Loebe Ja
4  Klausur (Wdh.) Di, 23. Jul. 2019, 09:59 - 10:59 Prof. Dr. Gerhard Brewka; Dr. Frank Loebe Ja
6  Klausur Do, 30. Jul. 2020, 10:00 - 11:00 Prof. Dr. Ringo Baumann; Prof. Dr. Gerhard Brewka; Dr. Frank Loebe Ja
5  Klausur (Wdh.) Do, 26. Sep. 2019, 10:00 - 11:00 Prof. Dr. Gerhard Brewka; Dr. Frank Loebe Ja
7  Klausur (Wdh) Mo, 12. Okt. 2020, 10:00 - 11:00 Prof. Dr. Ringo Baumann; Prof. Dr. Gerhard Brewka; Dr. Frank Loebe Ja
8  Klausur (Wdh) Di, 3. Aug. 2021, 11:00 - 13:00 Prof. Dr. Ringo Baumann; Prof. Dr. Gerhard Brewka; Dr. Frank Loebe Ja
9  Klausur (Wdh) Di, 28. Sep. 2021, 11:00 - 12:00 Prof. Dr. Andreas Maletti Ja
Modulverantwortliche
Dr. Frank Loebe
Prof. Dr. Gerhard Brewka