Grundlagen der Logik in der Informatik (Prüfungsordnungsmodul)5.0 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:

1. Digitale Geistes- und Sozialwissenschaften (Bachelor of Arts (2 Fächer)): 3. Semester
   (Po-Vers. 2016w | weitere Pflichtmodule der Bachelorprüfung sowie Wahlpflichtmodule der GOP | Grundlagen der Logik in der Informatik)
2. Digitale Geistes- und Sozialwissenschaften (Bachelor of Arts (2 Fächer)): 3. Semester
   (Po-Vers. 2016w | Grundlagen der Logik in der Informatik)
3. 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)
4. 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)
5. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
6. 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)
7. 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)
8. Informatik (Bachelor of Science): 3. Semester
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
9. Informatik (Bachelor of Science): 3. Semester
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
10. 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)
11. Mathematik (Bachelor of Science)
    (Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Grundlagen der Logik in der Informatik)
12. Wirtschaftsinformatik (Bachelor of Science): 3. Semester
    (Po-Vers. 100 | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | alte Prüfungsordnungen | Bachelorprüfung | Bachelorphase Wirtschaftsinformatik | Pflichtbereich (Methodenkompetenz) | Grundlagen der Logik in der Informatik)
13. 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)
14. Wirtschaftsinformatik (Bachelor of Science): 3. Semester
    (Po-Vers. 2015w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Bachelorprüfung | Pflichtbereich (Methodenkompetenz) | 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.0 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 2017/2018):

• Grundlagen der Logik in der Informatik (5 ECTS, Schröder, L.)