|
Advanced Mechanized Reasoning in Coq (Prüfungsordnungsmodul)7.5 ECTSStand der importierten Daten ("mein campus"-Datenabzug): 22.03.2022 12:03
|
POS-pordnr: | 144585 | Prüfungsnummer: | 93169 | Eigene Seite im Modulhandbuch: | nein |
Zuordnung zu Studiengängen, Validierung, Einpassung in die Musterstudienpläne:Artificial Intelligence (Master of Science) | Prüfungsordnungsversion 2021s: | | | Informatik (Bachelor of Science) | Prüfungsordnungsversion 2009s: | | | | Prüfungsordnungsversion 2009w: | | | Informatik (Master of Science) (für Validierung verantwortlich) | Prüfungsordnungsversion 2010: | | | Mathematik (Bachelor of Science) | Prüfungsordnungsversion 2015w: | | | | Prüfungsordnungsversion 2019w: | | |
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 (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 %
- pordnr: 144586, pmaxver: 3, pmaxvbe: 1
- 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 %
- pordnr: 144588, pmaxver: 3, pmaxvbe: 1
UnivIS-Module:UnivIS-Module im aktuellen Semester (WS 2021/2022):
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|