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

Praktische Informatik 1

(diese LV-Variante wird empfohlen für Studierende der Diplomstudiengänge Biologie, Biophysik, Geographie Psychologie, IFK sowie Dolmetschen/Übersetzen 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.

Mathematik für InformatikerInnen 1

Analysis I (D; L) vom Institut für Mathematik (32 405)
Schwerpunkte sind: Zahlbereiche, Folgen/Reihen, reelle Funktionen, Differential/Integralrechnung, Grundlagen für Funktionen von mehreren Variablen
Sprechstunden: nach Vereinbarung, RUD 25, 2.408, Tel. 2093-5855

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.