Grundlagen der Logik und Logikprogrammierung (Prüfungsordnungsmodul)5 ECTS (englische Bezeichnung: Foundations of Logic and Logic Programming)
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.
Modulverantwortliche/r: Lutz Schröder
Dauer: | 1 Semester | Turnus: | jährlich (WS) | Sprache: | Deutsch |
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Informatik (Bachelor of Arts (2 Fächer)): 2. Semester
(Po-Vers. 2010 | Grundlagen- und Orientierungsprüfung | Module der Grundlagen- und Orientierungsprüfung Informatik | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Arts (2 Fächer)): 2. Semester
(Po-Vers. 2010 | Bachelorprüfung | Bachelor-Module Informatik | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2013 | Bachelorprüfung | Bachelor-Module Informatik | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2007 | Grundlagen- und Orientierungsprüfung | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2009s | Pflichtmodule | Grundlagen der Logik und Logikprogrammierung)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2009w | Pflichtmodule | Grundlagen der Logik und Logikprogrammierung)
- Wirtschaftsinformatik (Bachelor of Science): 3. Semester
(Po-Vers. 100 | Bachelorprüfung | Bachelorphase Wirtschaftsinformatik | Pflichtbereich (Methodenkompetenz) | Grundlagen der Logik und Logikprogrammierung)
- Wirtschaftsinformatik (Bachelor of Science): 3. Semester
(Po-Vers. 2010 | Bachelorprüfung | Pflichtbereich (Methodenkompetenz) | weitere Pflichtmodule | Grundlagen der Logik und Logikprogrammierung)
Studien-/Prüfungsleistungen:
- Grundlagen der Logik und Logikprogrammierung (Klausur) (Prüfungsnummer: 30701)
- Prüfungsleistung, Klausur, Dauer: 90 min, Drittelnoten (mit 4,3), 5 Leistungspunkte
- Anteil an der Berechnung der Modulnote: 100.0 %
UnivIS-Module:UnivIS-Module im aktuellen Semester (WS 2013/2014):UnivIS-Module im vergangenen Semester (SS 2013):
|