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.
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Digitale Geistes- und Sozialwissenschaften (Bachelor of Arts (2 Fächer)): 3. Semester
(Po-Vers. 2016w | PhilFak | Digitale Geistes- und Sozialwissenschaften (Bachelor of Arts (2 Fächer)) | weitere Pflichtmodule der Bachelorprüfung sowie Wahlpflichtmodule der GOP | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2008 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | alte Prüfungsordnungen | Grundlagen- und Orientierungsprüfung (GOP) | Module der Grundlagen- und Orientierungsprüfung Informatik | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Grundlagen- und Orientierungsprüfung (GOP) | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2007 | TechFak | Informatik (Bachelor of Science) | Grundlagen- und Orientierungsprüfung (GOP) | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Grundlagen der Logik in der Informatik)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Grundlagen der Logik in der Informatik)
- Mathematik (Bachelor of Science)
(Po-Vers. 2009 | NatFak | Mathematik (Bachelor of Science) | Nebenfach Informatik | Module im 2. und 3. Studienjahr | Wahlbereich 2 | Grundlagen der Logik in der Informatik)
- Mathematik (Bachelor of Science)
(Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Grundlagen der Logik in der Informatik)
- Wirtschaftsinformatik (Bachelor of Science): 3. Semester
(Po-Vers. 2010 | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Pflichtbereich (Methodenkompetenz) | weitere Pflichtmodule | Informatik | Grundlagen der Logik in der Informatik)
- Wirtschaftsinformatik (Bachelor of Science): 3. Semester
(Po-Vers. 2015w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Pflichtbereich | Grundlagen der Logik in der Informatik)
- Wirtschaftsinformatik (Bachelor of Science): 3. Semester
(Po-Vers. 2017w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Pflichtbereich und Schlüsselqualifikationen | Grundlagen der Logik in der Informatik)
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:UnivIS-Module im aktuellen Semester (WS 2018/2019):
|