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

Magister 2. Hauptfach (WS 2005/06)

nur ab 4. Fachsemester (falls noch nicht absolviert)

-> 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

-> Theoretische Informatik 1

Als erste der drei Theorievorlesungen im Grundstudium führt diese Vorlesung 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.

-> Mathematik 1

Es werden Zahlenkörper wie der der reellen Zahlen und der komplexen Zahlen behandelt, der Begriff des Vektorraums eingeführt und untersucht. Dazu werden noch Matrizen, lineare Gleichungssysteme und Determinanten untersucht mit den entsprechenden Lösungsalgorithmen.
Sprechstunden: Mo, 11-13 Uhr, RUD 25, 1.415, Tel. 2093-5809

VL Di 11-13 wöch. RUD 26, 0'115 E. Herrmann
Do 11-13 wöch. RUD 26, 0'115
UE Di 13-15 wöch. RUD 26, 1'305 E. Herrmann
UE Mi 09-11 wöch. RUD 26, 1'305 H.-J. Lange
UE Do 13-15 wöch. RUD 26, 1'305 E. Herrmann
UE Fr 09-11 wöch. RUD 26, 1'305 H.-J. Lange
UE Fr 11-13 wöch. RUD 26, 1'305 H.-J. Lange