Advanced Mechanized Reasoning in Coq (Prüfungsordnungsmodul)7.5 ECTSDie 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 | Advanced Mechanized Reasoning in Coq)
- Informatik (Bachelor of Science)
(Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Advanced Mechanized Reasoning in Coq)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Advanced Mechanized Reasoning in Coq)
- Informatik (Bachelor of Science)
(Po-Vers. 2022w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (Wahlpflichtmodule aus mind. 2 Vertiefungsrichtungen) | Vertiefungsrichtung Theoretische Informatik | Advanced Mechanized Reasoning in Coq)
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik | Advanced Mechanized Reasoning in Coq)
- Mathematik (Bachelor of Science)
(Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Advanced Mechanized Reasoning in Coq)
- 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 | Advanced Mechanized Reasoning in Coq)
Studien-/Prüfungsleistungen:
- Advanced Mechanized Reasoning in Coq (Prüfungsnummer: 31691)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 5 Leistungspunkte
- Anteil an der Berechnung der Modulnote: 50.0 %
- Advanced Mechanized Reasoning in Coq (Prüfungsnummer: 31692)
- Prüfungsleistung, Übungsleistung, Drittelnoten (mit 4,3), 2.5 Leistungspunkte
- Anteil an der Berechnung der Modulnote: 50.0 %
UnivIS-Module:UnivIS-Module im kommenden Semester (WS 2022/2023):UnivIS-Module im vergangenen Semester (WS 2021/2022):
|