Lehrveranstaltungsplan

Informationssystem der Otto-Friedrich-Universität Bamberg

Sammlung/Stundenplan

Home | Anmelden | Kontakt | Hilfe

Suche:

Semester:



	Darstellung
		lange Veranstaltungsnamen Druckansicht Postscript PDF Querformat



	Außerdem im UnivIS
		Vorlesungsverzeichnis


		Veranstaltungskalender

Veranstaltungsnamen

Dozentennamen

Zeitangaben

Kursangaben

Vorbesprechungstermine

Lehrveranstaltungsplan

08:00

Übung MaL
(Scheele)
F21/303

UniTag
(nur 11.5.)
(N.N.)
F21/303

GdI-CaC-M
(Mendler)
FMA/119

GdI-CaC-M
(Mendler)
F21/381

GdI-SaV-B: Logik
(Mendler)
F21/384

GdI-SaV-B: Logik
(nur 26.4.)
(Mendler)
KÄ7/00.108

09:00

10:00

GdI-SaV-B: Logik
(Mendler)
F21/384

11:00

12:00

GdI-CaC-M
(nur 25.6.)
(Mendler)
F21/380

GdI-GTI-B: Grundlagen der Theoretischen Informatik
(Mendler)
F21/384

13:00

14:00

GdI Seminar in Advanced Functional Programming
(nicht 9.7.)
(Scheele)
FMA/008

GdI-CaC-M
(nur 25.6.)
(Mendler)
KÄ7/01/112

GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages)
(Mendler)
F21/381

GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages)
(nur 26.4.)
(Mendler)
KÄ7/00.108

UniTag
(nur 11.5.)
(N.N.)
RZ/00/005

GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages)
(nur 6.7.)
(Mendler)
FMA/006

GdI Seminar in Advanced Functional Programming
(nur 20.7.)
(Scheele)
F21/061

15:00

16:00

GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq"
(Mendler)
F21/061

Übung MaL
(Scheele)
FMA/119

17:00

18:00

GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages)
(Mendler)
FMA/006

19:00

Überschneidung: Mo von 14:00 bis 16:00
Überschneidung: Di von 16:00 bis 18:00
Überschneidung: Do von 08:30 bis 10:00
Überschneidung: Do von 14:00 bis 16:00
Überschneidung: Fr von 08:30 bis 10:00
Überschneidung: Fr von 12:00 bis 13:00



	UnivIS ist ein Produkt der Config eG, Buckenhof