Grundlagen der Logik in der Informatik (Prüfungsordnungsmodul)5 ECTS
(englische Bezeichnung: Foundations of Logic in Informatics)

Die Beschreibung eines Prüfungsordnungsmoduls enthält allgemeine Angaben zur Verwendbarkeit und zu den Rahmenbedingungen für Prüfungen, so wie sie in den Prüfungsordnungen festgelegt sind. Zusätzlich kann eine allgemeine Modulbeschreibung, die übergreifend für alle konkreten (UnivIS-)Module gilt, enthalten sein. Die konkreten Modulbeschreibungen mit Angaben zu den Lehrveranstaltungen und Prüfungsdetails sind unter den zugeordneten UnivIS-Modulen zu finden.

Studien-/Prüfungsleistungen:

Grundlagen der Logik in der Informatik (Klausur) (Prüfungsnummer: 30711)
(englische Bezeichnung: Examination (Klausur) on Foundations of logic in informatics)

Prüfungsleistung, Klausur, Dauer: 90 min, Drittelnoten (mit 4,3), 5 Leistungspunkte

Anteil an der Berechnung der Modulnote: 100.0 %

Grundlagen der Logik in der Informatik (Übungsleistung) (Prüfungsnummer: 30712)
(englische Bezeichnung: Tutorial credit: Foundations of logic in informatics)

Studienleistung, Übungsleistung, unbenotet

UnivIS-Module:

Diesem Prüfungsordnungsmodul wurden noch keine UnivIS-Module zugeordnet.