keypadDescription
Für maximale Nutzerfreundlichkeit empfehlen wir, die Ausführung von JavaScript und Cookies zu erlauben.Mithilfe der folgenden Accesskeys können Sie im Portal navigieren:
1 Hauptmenü
2 Inhalt
3 Zurück zu dieser Anleitung
Impressum
Kontakt
Drucken
Zum Ende der Seite
Startseite |
Kontakt |
Impressum
|
| Datenschutz
Drucken
Hilfe/Support
Startseite
Bewerbung
Bewerberkonto anlegen
Passwort vergessen
Vorlesungsverzeichnis
SoSe 2024
WiSe 2023/24
SoSe 2023
WiSe 2022/23
Suche
Hilfe
Kontakt
Anleitungen
FAQ für deutsche Bewerber:innen
FAQ für internationale Bewerber:innen
Hilfe für Studierende
Videohilfe
English
Anmelden
Passwort vergessen
10-201-2108-1 Logik
Moduldetails
Anmeldeoptionen
Modulverantwortliche:
Prof. Dr. Andreas Maletti
Dauer:
1
Anzahl Wahlkurse:
0
Credits:
5,0
Startsemester:
SoSe 2021
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
29.03.2021 12:00 | 16.04.2021 17:00
27.06.2021 23:59
Kurse
Nummer
Name
Pflicht
Semester
Credits
10-201-2108-1.VL01
Logik
Ja
0,0
10-201-2108-1.VL01
Logik
SoSe 2021
10-201-2108-1.ÜB01
Logik
Ja
0,0
10-201-2108-1.ÜB01a
Logik
SoSe 2021
10-201-2108-1.ÜB01b
Logik
SoSe 2021
10-201-2108-1.ÜB01c
Logik
SoSe 2021
Leistungen
Kurs/Modulabschlussleistungen
Leistungen
Bestehenspflicht
Gewichtung
Modulabschlussleistungen
Klausur
Ja
1
Modulabschlussprüfungen
Prüfung
Datum
Lehrende
Bestehenspflicht
1 Klausur
Di, 3. Aug. 2021, 11:00 - 13:00
Prof. Dr. Andreas Maletti
Ja
2 Klausur Wdh.
Di, 28. Sep. 2021, 11:00 - 12:00
Prof. Dr. Andreas Maletti
Ja
3 Klausur Wdh.
Di, 2. Aug. 2022, 09:30 - 10:30
Prof. Dr. Carsten Lutz
Ja
4 Klausur Wdh.
Do, 22. Sep. 2022, 13:30 - 14:30
Prof. Dr. Carsten Lutz
Ja
5 Klausur
Mo, 31. Jul. 2023, 09:00 - 10:00
Prof. Dr. Carsten Lutz
Ja
6 Klausur (Wdh)
Mo, 2. Okt. 2023, 10:30 - 11:30
Prof. Dr. Carsten Lutz
Ja
7 Klausur
Mo, 22. Jul. 2024, 12:00 - 13:00
Maurice Funk; Gustav Leopold Grabolle; Prof. Dr. Carsten Lutz
Ja
8 Klausur (Wdh)
k.Terminbuchung
Maurice Funk; Gustav Leopold Grabolle; Prof. Dr. Carsten Lutz
Ja
Modulverantwortliche
Prof. Dr. Andreas Maletti
Impressum
Kontakt
Drucken
Zum Anfang der Seite