Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Bachelor 3. Semester (WS 2005/06)

Bachelorstudiengang mit Fächerkombination

Kernfach

Gemäß Studienordnung wahlweise Theoretische Informatik 1 oder Theoretische Informatik 2:
-> Theoretische Informatik 1*

Diese Vorlesung führt in die logischen Grundlagen der Informatik ein. In der Vorlesung werden Fertigkeiten vermittelt, die es gestatten, mathematische Modelle von Sachverhalten zu bilden, diese präzise zu formulieren sowie folgerichtige Argumentationen aufzubauen.
Nach einer kurzen Einführung in die mathematischen Begriffe und Techniken hat die Vorlesung drei Teile, in denen die Aussagenlogik, die Logik der ersten Stufe und eine formale Fassung des Berechenbarkeitsbegriffes behandelt werden. Stets sollen dabei Bezüge zu Anwendungen in verschiedenen Bereichen der Informatik aufgezeigt werden.

VL Di 09-11 wöch. RUD 26, 0'’115 M. Grohe
Do 09-11 wöch. RUD 26, 0'’115
UE Mo 09-11 wöch. RUD 26, 1'307 L. Popova-Zeugmann
UE Mo 13-15 wöch. RUD 26, 1'’307 L. Popova-Zeugmann
UE Mo 15-17 wöch. RUD 26, 1'’307 L. Popova-Zeugmann
UE Mo 17-19 wöch. RUD 26, 1'’307 L. Popova-Zeugmann
UE Di 15-17 wöch. RUD 26, 1'’305 M. Grohe
UE Do 13-15 wöch. RUD 25, 4.112 N.N.
UE Do 15-17 wöch. RUD 26. 1'’307 N.N.
UE Fr 09-11 wöch. RUD 26, 1'307 N.N.

-> Theoretische Informatik 2* [Homepage]

In der VL werden als grundlegende Gebiete der theoretischen Informatik formale Sprachen, Berechenbarkeit und NP-Vollständigkeit, sowie effiziente Algorithmen und Datenstrukturen eingeführt. Zum Umgang mit schwer zu berechnenden Problemen werden erste algorithmische Prinzipien zur approximativen oder randomisierten "Lösung" NP-vollständiger Probleme vorgestellt.

VL Di 09-11 wöch. RUD 25, 3.001 N.N.
Do 09-11 wöch. RUD 25, 3.001
UE Di 11-13 wöch. RUD 26, 1'’305 M. Bodirsky
UE Mi 09-11 wöch. RUD 25, 4.112 N.N.
UE Mi 13-15 wöch. RUD 25, 4.112 N.N.
UE Do 11-13 wöch. RUD 26, 1'’305 M. Bodirsky
UE Fr 09-11 wöch. RUD 25, 4.112 N.N.
UE Fr 11-13 wöch. RUD 25, 4.112 N.N.

-> Mathematik für InformatikerInnen 2

Lineare Algebra und Analytische Geometrie (D; L) vom Institut für Mathematik (32 402)
Vektorräume lineare Abbildungen, Matrizen, lineare Gleichungssysteme Determinanten, einige Grundbegriffe der Algebra
Sprechstunden: Dienstag, 13-15 Uhr, RUD 25, 1.428, Tel. 2093-1808

VL Mo 09-11 wöch. RUD 25, 1.013 H. Kurke
VL Mi 09-11 wöch. RUD 25, 1.013
UE Mo 11-13 wöch. RUD 25, 3.006 L. Wotzlaw
UE Mo 11-13 wöch. RUD 25, 3.008 M. Grabitz
UE Di 13-15 wöch. RUD 25, 3.007 L. Wotzlaw
UE Mi 11-13 wöch. RUD 25, 3.008 N.N.
UE Fr 13-15 wöch. RUD 25, 1.011 N.N.
UE Di 09-11 wöch. RUD 25, 3.011 J. Leiterer (fak.)

-> Einführung in die Fachdidaktik
SE Mo 15-17 wöch. RUD 25, 3.113 W. Coy

Zweitfach


-> Praktische Informatik 1 [Homepage]

Grundvorlesung: Computer, Algorithmen, Daten, Programme, Konzepte von Programmiersprachen, imperative und objektorientierte Programmierung, Programmiertechniken, Grundlagen einer systematischen Softwareentwicklung. Die Einführung erfolgt am Beispiel von Java.

VL Mo 11-13 wöch. RUD 26, 0'’110 T. Scheffer
Mi 11-13 wöch. RUD 26, 0'’110
UE Mo 09-11 wöch. RUD 26, 1'’305 W. Kössler
UE Mi 09-11 wöch. RUD 26, 1'’307 W. Kössler
UE Mi 15-17 wöch. RUD 26, 1'307 M. Kurth
PR n.V. M. Ritzschke

Berufsfeldbezogene Qualifikation (Kernfach/Zweitfach)

Siehe Angebot des Career Centers
Anmeldung online unter http://www.careercenter.hu-berlin.de