Prüfungsordnungsmodul

Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg

Sammlung/Stundenplan Modulbelegung

Home | Rechtliches | Kontakt | Hilfe

Suche:

Semester:



	Darstellung
		Druckansicht



	Außerdem im UnivIS
		Vorlesungs- und Modulverzeichnis nach Studiengängen Vorlesungsverzeichnis


		Veranstaltungskalender Stellenangebote Möbel-/Rechnerbörse

Advanced Mechanized Reasoning in Coq (Prüfungsordnungsmodul)7.5 ECTS

Stand 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):

Advanced Mechanized Reasoning in Coq (7.5 ECTS, Litak, T.)