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

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.

Theoretische Informatik 2*

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.

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

Praktische Informatik 1

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.