Sommersemester 2008

HAUPTSTUDIUM Informatik
Kernfächer

TECHNISCHE INFORMATIK

Vorlesungen

Übungen, Praktika und Seminare

THEORETISCHE INFORMATIK

Vorlesungen

Baumautomaten (Beginn Juni) [[10-202-2107]]	?	?	?	V	Kuske, Dietrich
Baumautomaten (Beginn Juni) [10-202-2107]	?	?	?	V	Kuske, Dietrich
Petrinetze	Mi	11¹⁵-12⁴⁵	Brühl, R 621	VW	Kirsten, Daniel
Petrinetze	Do	09¹⁵-10⁴⁵	KH 2-06	VW	Kirsten, Daniel
Prinzipien der ontologie-basierten Wissensakquisition	Do	15¹⁵-16⁴⁵	Härtelstr.16, R 110	V	Herre, Heinrich
Semantik von Programmiersprachen [10-201-2105]	Fr	11¹⁵-12⁴⁵	KH 2-06	VW	Droste, Manfred
Spieltheoretische Methoden in der Logik [Algorithmische Methoden in der Algebra und Logik]	Mi	13¹⁵-14⁴⁵	Brühl, R 621	VW	Lohrey, Markus
Verifikation unendlicher Systeme [Algorithmische Methoden in der Algebra und Logik]	Mi	15¹⁵-16⁴⁵	Brühl, R 621	VW	Lohrey, Markus

Übungen, Praktika und Seminare

Bachelorseminar Informatik [10-201-2010]	Fr	09¹⁵-10⁴⁵	Brühl, R 728	S	Droste, Manfred
Baumautomaten (Beginn Juni) [[10-202-2107]]	?	?	?	U	Kuske, Dietrich
Ontologien für Informationssysteme	Mo	15¹⁵-16⁴⁵	Härtelstr.16, R 110	S	Herre, Heinrich
Petrinetze	Mo	13¹⁵-14⁴⁵	Brühl, R 712	U	Kirsten, Daniel
Petrinetze	Mo	11¹⁵-12⁴⁵	Brühl, R 710	U	Kirsten, Daniel
Semantic Web Technologien	Di	13¹⁵-14⁴⁵	Brühl, R 718	S	Brewka, Gerhard
Semantik von Programmiersprachen	Fr	09¹⁵-10⁴⁵ B	Brühl, R 510	U	Hartwig, Rolf
Spieltheoretische Methoden in der Logik	Do	11¹⁵-12⁴⁵ A	Brühl, R 512	U	Lohrey, Markus
Verifikation unendlicher Systeme	Do	11¹⁵-12⁴⁵ B	Brühl, R 512	U	Lohrey, Markus

PRAKTISCHE INFORMATIK

Vorlesungen

Angewandte Telematik [10-202-2328; 10-202-2327]	Di	09¹⁵-10⁴⁵	KH 2-05	VW	Gruhn, Volker
Betriebliche Informationssysteme [10-202-2308]	Di	17¹⁵-18⁴⁵	Felix-Klein HS	VW	Fähnrich, Klaus-Peter
Data Warehousing (Beginn 14.04.08) [zu 10-202-2213 oder 10-202-2214]	Mo	11¹⁵-12⁴⁵	Felix-Klein-Hs	VW	Rahm, Erhard
Engineering IT-basierter Dienstleistungen [10-202-2319]	Do	19¹⁵-20⁴⁵	Felix-Klein-Hs	VW	Fähnrich, Klaus-Peter
Peer-to-peer und Datenbanken	Mi	13¹⁵-14⁴⁵	KH 2-10	V	Sosna, Dieter
Rechnernetze 1 [10-202-2103]	Fr	09¹⁵-10⁴⁵	Felix-Klein-Hs	VW	Lindemann, Christoph
Rechnernetze 2 [10-202-2103]	Fr	11¹⁵-12⁴⁵	Felix-Klein-Hs	VW	Lindemann, Christoph
Software-Management [10-202-2319]	Do	17¹⁵-18⁴⁵	Felix-Klein-Hs	VW	Fähnrich, Klaus-Peter
Software-Qualitätsmanagement [10-202-2319]	Mi	17¹⁵-18⁴⁵	KH 2-10	VW	Gräbe, Hans-Gert
Web Programming (19.5.-20.6. tgl.)	Mo	09⁰⁰-12⁰⁰ E	Brüderstr.14, kl Hs	V	Paxton, John

Übungen, Praktika und Seminare

Angewandte Telematik [10-202-2329; 10-202-2327]	?	?	n.V.	P	Gruhn, Volker
Angewandte Telematik [10-202-2328; 10-202-2327]	Di	15¹⁵-16⁴⁵	Brühl, R 623	S	Gruhn, Volker
Praktikum Web 3.0	?	?	n.V.	P	Lindemann, Christoph
Software Engineering für Digitale Spiele [10-202-2308]	Mi	09¹⁵-10⁴⁵	Jo 1-22	S	Fähnrich, K.-P.; Schumacher, F.; Riechert, T.; Ngonga, A.
z/OS und OS/390 (siehe http://jedi.informatik.uni-leipzig.de/aushang.pdf)	?	?	?	U	Herrmann, Paul / Michaelsen, Nils

ANGEWANDTE INFORMATIK

Vorlesungen

Angewandte Telematik [10-202-2328; 10-202-2327]	Di	09¹⁵-10⁴⁵	KH 2-05	VW	Gruhn, Volker
Betriebliche Informationssysteme [10-202-2308]	Di	17¹⁵-18⁴⁵	Felix-Klein HS	VW	Fähnrich, Klaus-Peter
Bildverarbeitung [10-202-2204]	Do	15¹⁵-16⁴⁵	KH 2-11	VW	Scheuermann, Gerik
Computergrafik [10-201-2209]	Do	17¹⁵-18⁴⁵	KH 2-11	VW	Scheuermann, Gerik
Engineering IT-basierter Dienstleistungen [10-202-2319]	Do	19¹⁵-20⁴⁵	Felix-Klein-Hs	VW	Fähnrich, Klaus-Peter
Information Retrieval [10-201-2316]	Do	07³⁰-09⁰⁰	KH 2-06	VW	Quasthoff, U.
Linguistische Informatik	Do	17¹⁵-18⁴⁵	KH 2-04	VW	Heyer, Gerhard
Neuroinformatik	Fr	13¹⁵-14⁴⁵	Brühl, R 623	VW	Villmann, Th. / Schleif, F.-M.
Prinzipien der ontologie-basierten Wissensakquisition	Do	15¹⁵-16⁴⁵	Härtelstr.16, R 110	V	Herre, Heinrich
Signalverarbeitung [10-202-2222]	Di	13¹⁵-14⁴⁵	KH 2-12	VW	Scheuermann, Gerik
Software-Management [10-202-2319]	Do	17¹⁵-18⁴⁵	Felix-Klein-Hs	VW	Fähnrich, Klaus-Peter
Software-Qualitätsmanagement [10-202-2319]	Mi	17¹⁵-18⁴⁵	KH 2-10	VW	Gräbe, Hans-Gert

Übungen, Praktika und Seminare

Angewandte Telematik [10-202-2329; 10-202-2327]	?	?	n.V.	P	Gruhn, Volker
Angewandte Telematik [10-202-2328; 10-202-2327]	Di	15¹⁵-16⁴⁵	Brühl, R 623	S	Gruhn, Volker
Information Retrieval	Fr	09¹⁵-12³⁰	Brühl, R 623	U	Holz, F./ Witschel, F.
Neuroinformatik	Fr	15¹⁵-16⁴⁵	Brühl, R 621	U	Villmann, Th. / Schleif, F.-M.
Ontologien für Informationssysteme	Mo	15¹⁵-16⁴⁵	Härtelstr.16, R 110	S	Herre, Heinrich
Praktikum Computergrafik [10-201-2209]	?	?	n.V.	P	Scheuermann, Gerik; Jänicke, Heike
Semantic Web Technologien	Di	13¹⁵-14⁴⁵	Brühl, R 718	S	Brewka, Gerhard
Signalverarbeitung [10-202-2222]	Di	11¹⁵-12⁴⁵	Brühl, R 623	U	N.N. (Abteilung Bild- und Signalverarbeitung)
Software Engineering für Digitale Spiele [10-202-2308]	Mi	09¹⁵-10⁴⁵	Jo 1-22	S	Fähnrich, K.-P.; Schumacher, F.; Riechert, T.; Ngonga, A.
Übung Information Retrieval	Fr	09¹⁵-10⁴⁵	Brühl, R 623	U	Bordag, S.
Übung Linguistische Informatik	Fr	13¹⁵-14⁴⁵	Brühl, R 708	U	Bordag, S.