Modallogik (Prüfungsordnungsmodul)7.5 ECTS (englische Bezeichnung: Modal logic)
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:
- Artificial Intelligence (Master of Science)
(Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Modallogik)
- Data Science (Bachelor of Science)
(Po-Vers. 2020w | Vertiefungsrichtungen | Datenbanken und Wissensrepräsentation (DW) | Modallogik)
- Data Science (Bachelor of Science)
(Po-Vers. 2020w | Vertiefungsrichtungen | Nicht gewählte Vertiefungsrichtungen | Modallogik)
- Data Science (Bachelor of Science)
(Po-Vers. 2022s | Gesamtkonto | Vertiefungsrichtungen | Datenbanken und Wissensrepräsentation (DW) | Modallogik)
- Data Science (Bachelor of Science)
(Po-Vers. 2022s | Gesamtkonto | Vertiefungsrichtungen | Nicht gewählte Vertiefungsrichtungen | Modallogik)
- Informatik (Bachelor of Science)
(Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
- Informatik (Bachelor of Science)
(Po-Vers. 2022w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (Wahlpflichtmodule aus mind. 2 Vertiefungsrichtungen) | Vertiefungsrichtung Theoretische Informatik | Modallogik)
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik | Modallogik)
- Mathematik (Bachelor of Science)
(Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
- Mathematik (Bachelor of Science)
(Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
Studien-/Prüfungsleistungen:
- Modallogik (Prüfungsnummer: 984981)
(englische Bezeichnung: Modal logic)
- Prüfungsleistung, mündliche Prüfung, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Anteil an der Berechnung der Modulnote: 100.0 %
UnivIS-Module:UnivIS-Module im aktuellen Semester (SS 2022):
|