Wintersemester 2008/2009

Lehramt Informatik

1. Studienjahr

Vorlesungen

Einführung in die imperative Programmierung (C) Blockveranstaltung (22.9.-2.10.) [Vorbereitung fuer Informatik- und Numerik- Module]	?	09⁰⁰-10³⁰ E	GrHs CLI	VF	Meiler, Monika
Propädeitikum Mathematik, Blockveranstaltung 22.9.-2.10. [Vorbereitung fuer Mathematik- Module]	?	10⁴⁵-12¹⁵ E	GrHs CLI	VW	Klotz, Lutz-Peter

Übungen, Praktika und Seminare

Einführung in die imperative Programmierung (C) Blockveranstaltung (22.9.-2.10.) [Vorbereitung fuer Informatik- und Numerik- Module]	?	11⁰⁰-17³⁰ E	IfI.Pool 3-10/11	P	Meiler, Monika
Grundlagen der Technischen Informatik 1 - Übung [modul_10-201-2006-1; Grundlagen der Technischen Informatik 1 - Übung]	Fr	13¹⁵-14⁴⁵ A	Ch, Hs. 4	U	Lieske, Hans-Joachim
Propädeitikum Mathematik, Blockveranstaltung 22.9.-2.10. [Vorbereitung fuer Mathematik- Module]	?	15³⁰-17⁰⁰ E	Brühl	U	Klotz, Lutz-Peter
Propädeitikum Mathematik, Blockveranstaltung 22.9.-2.10. [Vorbereitung fuer Mathematik- Module]	?	13³⁰-15⁰⁰ E	Brühl	U	Klotz, Lutz-Peter

2. Studienjahr

Vorlesungen

09⁰⁰-10³⁰ E

GrHs CLI

Meiler, Monika

Übungen, Praktika und Seminare

11⁰⁰-17³⁰ E

IfI.Pool 3-10/11

Meiler, Monika

3. & 4. Studienjahr

Vorlesungen

Ausgewählte Kapitel der Softwaretechnologie [10-201-2303; 10-201-2330]	Di	09¹⁵-10⁴⁵	KH, R 2-05	VW	Gruhn, Volker
Automatentheorie [10-202-2106]	Do	15¹⁵-16⁴⁵	KH 2-06	VW	Droste, Manfred
Automatentheorie [10-202-2106]	Mo	11¹⁵-12⁴⁵	KH, R 2-11	VW	Droste, Manfred
Einführung in das symbolische Rechnen [10–201-2313]	Fr	11¹⁵-12⁴⁵	KH, R 2-06	VW	Gräbe, Hans-Gert
Semantik von Programmiersprachen [10-201-2105]	Mi	11¹⁵-12⁴⁵	Brüderstr.14, R 116	VO	Droste, Manfred
Seminar Informationsvisualisierung [Fortgeschrittene Computergrafik]	Mi	17¹⁵-18⁴⁵	Brühl, R 510	VO	Scheuermann, Gerik; Heine, Christian
Text Mining/Wissensrohstoff Text [10-201-2301]	Do	07³⁰-09⁰⁰	KH 2-06	VW	Quasthoff, Uwe
Verifikation [10-201-2105]	Mi	17¹⁵-18⁴⁵	KH, R 2-10	VW	Kuske, Dietrich
Wissensrepräsentation [10-202-2302]	Mi	13¹⁵-14⁴⁵	KH 2-10	VW	Brewka, Gerhard

Übungen, Praktika und Seminare

Angewandtes Software-Engineering [10-201-2303; 10-201-2331]	?	?	nach Vereinbarung	P	Gruhn, Volker
Ausgewählte Kapitel der Softwaretechnologie [10-201-2303; 10-201-2330]	Mi	11¹⁵-12⁴⁵	Joh., R 1-22	S	Gruhn, Volker
Automatentheorie	Mo	15¹⁵-16⁴⁵	Brühl, R 521	U	Kirsten, Daniel
Automatentheorie	Mo	13¹⁵-14⁴⁵	Brühl, R 518	U	Kirsten, Daniel
Bachelorseminar Automatentheorie	?	?	?	S	Droste, Manfred; Kuske, Dietrich
Bachelorseminar Automatentheorie [10-201-2116]	Mo	17¹⁵-18⁴⁵	Brühl, R 510	S	Droste, Manfred; Kuske, Dietrich
Handlungsmodellierung und Planen [10-202-2302]	Di	15¹⁵-16⁴⁵	Brühl, R 518	S	Brewka, Gerhard
Schulpraktische Studien (Informatik, vgl. Aushang neben Zi 1-41)	?	?	?	P	Müller, Frank
Semantik von Programmiersprachen	Di	11¹⁵-12⁴⁵	Brühl, R 510	U	Hartwig, R. / Kirsten, D.
Text Mining/Wissensrohstoff Text [10-201-2301]	?	?	nach Vereinbarung	P	Holz, Florian
Text Mining/Wissensrohstoff Text [10-201-2301]	Do	09¹⁵-10⁴⁵	KH, R 2-06	U	Holz, Florian

4. Studienjahr

Vorlesungen

Algorithmen für Zahlen und Primzahlen	Fr	09¹⁵-10⁴⁵	Brühl, R 518	V	Gräbe, Hans-Gert
Ausgewählte Kapitel der Softwaretechnologie [[10-201-2303; 10-201-2330]]	Di	09¹⁵-10⁴⁵	KH 2-05	VW	Gruhn, Volker
Fortgeschrittene Methoden des IR [10-202-2314]	Do	13¹⁵-14⁴⁵	KH, R 2-06	VW	Quasthoff, Uwe
Geo-Informationssysteme II	Mi	07³⁰-09⁰⁰	KH, R 2-10	VW	Sosna, Dieter
Modellierung kognitiver Systeme [Intelligente Systeme 10-202-2302]	Di	13¹⁵-14⁴⁵	KH, R. 2-12	VW	Schierwagen, Andreas
omega-Automaten [10-202-2107]	Mo	13¹⁵-14⁴⁵	Brühl, R 510	VW	Kuske, Dietrich
Visualisierung in Biologie und Medizin [Visualisierung]	Do	19¹⁵-20⁴⁵	KH, R 2-11	VO	Wiebel, Alexander
Visualisierung in Naturwissenschaft und Technik [Visualisierung]	Do	17¹⁵-18⁴⁵	KH, R 2-11	VO	Wiebel, Alexander
Wissens- und Contentmanagement [10-202-2323]	Do	17¹⁵-18⁴⁵	KH 2-06	VW	Quasthoff, Uwe und Maicher, Lutz

Übungen, Praktika und Seminare

Angewandtes Software-Engineering [[10-201-2303; 10-201-2331]]	?	?	nach Vereinbarung	P	Gruhn, Volker
ASV Forschungsseminar	?	?	nach Vereinbarung	FS	Quasthoff, Uwe
Ausgewählte Kapitel der Softwaretechnologie [[10-201-2303; 10-201-2330]]	?	?	?	S	Gruhn, Volker
Doktorandenseminar Automatentheorie [10-202-2011]	?	?	JOH 04-42	FS	Droste, Manfred
Fortgeschrittene Methoden des IR	?	?	nach Vereinbarung	P	Quasthoff, Uwe
Fortgeschrittene Methoden des IR [10-202-2314]	?	?	?	P	Quathoff, Uwe und Teresniak, Sven
Masterseminar Automatentheorie [10-202-2011]	Mo	11¹⁵-12⁴⁵	Brühl, R 510	S	Droste, Manfred; Kuske, Dietrich
Relationales Datenbankpraktikum	?	?	nach Vereinbarung	P	Sosna, Dieter; AumÃ¼ller, David; Thor, Andreas
Seminar Kognitive Systeme [10-202-2302]	Do	15¹⁵-16⁴⁵	KH, R. 2-10	S	Schierwagen, Andreas
Wissens- und Contentmanagement	?	?	nach Vereinbarung	P	Maicher, Lutz