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

1. Semester (WS 2005/06)

-> Praktische Informatik 1 [Homepage]

(diese LV-Variante wird empfohlen für Studierende der Diplomstudiengänge Physik und Mathematik mit Nebenfach Informatik)
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'115 K. Bothe

Mi 11-13 wöch. RUD 26, 0'115
UE Mo 09-11 wöch. RUD 26, 1'306 A. Zubow
UE Mo 13-15 wöch. RUD 26, 1'306 P. Massuthe
UE Mo 15-17 wöch. RUD 26, 1'306 P. Massuthe
UE Mi 09-11 wöch. RUD 25, 3'101 K. Schützler
UE Mi 13-15 wöch. RUD 26, 1'306 G. Lindemann-v. Trz.
UE Mi 15-17 wöch. RUD 26, 1'306 G. Lindemann-v. Trz.
PR n.V.


K. Ahrens

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