Universität Münster

Prüfungsnummer	17001
Studienabschluss	[82] - Bachelor
Studiengang	[079] - Informatik
Kennzeichenfach	[H] - Hauptfach
Prüfungsversion	[11] - Version 2011
Leistungspunkte	3.0
Prüfungsrelevanz	prüfungsrelevante Leistung
Bezeichnung	Vorlesungen aus dem Vorlesungsangebot der Informatik 1
Pflichtkennzeichen	[WP] - Wahlpflichtfach
Prüfungsform	[O] - Schriftlich oder Mündlich
Prüfungsart	[FV] - Vorlesung
Art der Notengebung	[N] - Noten 0,3
Veranstaltungen	100091 Computernetze und ihre Leistung (V/Ü) 040046 Logic Specification and Programming (V/Ü) 100092 Quantitatives Model Checking (V/Ü) 100057 Verteilte Systeme (V/Ü) 100121 Lambda-Kalkül und Funktionale Programmiersprachen (V/Ü) 100118 Statistical Relational Artificial Intelligence (V/Ü) 100113 Computer Vision (V/Ü) 100028 Ressourceneffiziente Algorithmen (V/Ü) 100114 Begleitendes Praktikum zu Computer Vision (Praktische Übung)