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:

1. Informatik (Bachelor of Science)
   (Po-Vers. 2007 | Grundlagen- und Orientierungsprüfung | Grundlagen der Logik in der Informatik)
2. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
3. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | weitere Pflichtmodule | Grundlagen der Logik in der Informatik)
4. Wirtschaftsinformatik (Bachelor of Science)
   (Po-Vers. 100 | Bachelorprüfung | Bachelorphase Wirtschaftsinformatik | Pflichtbereich (Methodenkompetenz) | Grundlagen der Logik in der Informatik)
5. Wirtschaftsinformatik (Bachelor of Science)
   (Po-Vers. 2010 | Pflichtbereich (Methodenkompetenz) | weitere Pflichtmodule | Informatik | Grundlagen der Logik in der Informatik)

Studien-/Prüfungsleistungen:

Grundlagen der Logik in der Informatik (Klausur) (Prüfungsnummer: 30711)

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)

Studienleistung, Übungsleistung, unbenotet

UnivIS-Module:

UnivIS-Module im aktuellen Semester (WS 2014/2015):

• Grundlagen der Logik für Informatiker (5 ECTS)