Lehramt für Informatik
Informatik
0087e_k90-
Konzepte der Programmierung, LB
0087eA1.1-
19300001
Vorlesung
Konzepte der Programmierung (Kristin Knorr)
Zeit: Mo 14:00-16:00, Mi 12:00-14:00, zusätzliche Termine siehe LV-Details (Erster Termin: 13.10.2025)
Ort: Gr. Hörsaal (Raum B.001) (Arnimallee 22)
Kommentar
Qualifikationsziele
Die Studierenden erklären2 verschiedene Programmierparadigmen und stellen diese gegenüber4. Sie interpretieren2 Beschreibungen und Quelltexte zu elementaren Datenstrukturen und charakterisieren4 deren Funktionsweise und implementieren3 elementare Algorithmen und Datenstrukturen in verschiedenen Programmierparadigmen und passen diese an unterschiedliche Anforderungen an5. Sie diskutieren6 Vor- und Nachteile verschiedener Lösungen von algorithmischen Problemen.
Inhalte
Studierende erlernen die Grundlagen des Programmierens und grundlegende Programmierparadigmen wie Imperativ und Funktional. Sie erarbeiten sich Ausdrücke und Datentypen und grundlegende Aspekte Imperativer Programmierung (Zustand, Anweisungen Kontrollstrukturen, Ein-Ausgabe) und üben deren Anwendung. Die Studierenden erarbeiten sich grundlegende Aspekte der Funktionalen Programmierung (Funktionen, Rekursion, Funktionen höherer Ordnung, Currying), und Objektorientierte Konzepte wie Kapselung und Vererbung, Polymorphie, sowie Grundlegende Algorithmische Fragestellungen (z. B. Suchen, Sortieren, Auswählen und einfache Feld- und Zeigerbasierte Datenstrukturen) und üben deren Implementierung.
-
19300002
Übung
Übung zu Konzepte der Programmierung (Kristin Knorr)
Zeit: Mi 14:00-16:00, Mi 16:00-18:00, Do 08:00-10:00, Do 12:00-14:00, Do 16:00-18:00, Fr 08:00-10:00, Fr 10:00-12:00, Fr 12:00-14:00, Fr 14:00-16:00 (Erster Termin: 15.10.2025)
Ort: T9/049 Seminarraum (Takustr. 9)
Kommentar
Tutorien finden erst ab der 2. Vorlesungswoche statt
-
19300001
Vorlesung
-
Mathematik für Informatik, LB
0087eA1.2-
19337001
Vorlesung
Mathematik für Informatik-Lehramt (Max Willert)
Zeit: Mo 16:00-18:00, zusätzliche Termine siehe LV-Details (Erster Termin: 13.10.2025)
Ort: T9/SR 005 Übungsraum (Takustr. 9)
Kommentar
Qualifikationsziele: Die Studierenden formulieren3 Aussagen formal aussagenlogisch und prädikatenlogisch. Sie analysieren4 und vereinfachen3 die logische Struktur gegebener Aussagen und beschreiben4 die logische Struktur von Beweisen. Sie benennen Eigenschaften unterschiedlicher Mengen, Relationen und Funktionen und begründen4 diese mit Hilfe formaler Argumente. Sie können Beweise für elementare Aussagen unter Verwendung elementarer Beweistechniken entwickeln5 und die Mächtigkeit von Mengen mit Hilfe kombinatorischer Techniken sowie Wahrscheinlichkeiten von Zufallsereignissen bestimmen3.
Inhalte: Studierende erlernen grundlegende Konzepte der Mengenlehre, Logik, Kombinatorik und üben deren Anwendung. Sie erarbeiten sich in der Mengenlehre Mengen, Relationen und Funktionen. Im Bereich der Logik und Booleschen Algebra erarbeiten sie sich Aspekte der Aussagenlogik und Prädikatenlogik. Im Themenfeld Kombinatorik erlernen sie Fakultät und Binomialkoeffizienten. Weiterhin erarbeiten sie sich elementare Beweistechniken und grundlegende Aspekte Diskreter Wahrscheinlichkeitstheorie. Zuletzt sollen formale Sprachen exemplarisch zur Modellierung verwendet werden. Die meisten dieser Konzepte werden an Rechen- oder Beweisaufgaben geübt.
Literaturhinweise
- Kenneth H. Rosen. Discrete Mathematics and its Applications, McGaw-Hill Education, 8. Auflage, 2018.
- Gerald Teschl und Susanne Teschl. Mathematik für Informatiker - Band 1: Diskrete Mathematik und Lineare Algebra, Springer Vieweg, 4. Auflage, Berlin Heidelberg 2013.
-
19337002
Übung
Übung zu Mathematik für Informatik-Lehramt (Max Willert)
Zeit: Mi 16:00-18:00, zusätzliche Termine siehe LV-Details (Erster Termin: 13.10.2025)
Ort: T9/SR 005 Übungsraum (Takustr. 9)
-
19337001
Vorlesung
-
Auswirkungen der Informatik, LB
0087eA1.3-
19301301
Vorlesung
Auswirkungen der Informatik (Lutz Prechelt)
Zeit: Mo 12:00-14:00 (Erster Termin: 13.10.2025)
Ort: T9/Gr. Hörsaal (Takustr. 9)
Zusätzl. Angaben / Voraussetzungen
Sprache:
Kurssprache ist Deutsch inklusive Folien und Übungsblätter.Homepage:
www.mi.fu-berlin.de/w/SE/TeachingHomeKommentar
Diese Veranstaltung behandelt Auswirkungen der Informatik. Sie will ein Verständnis dafür zu wecken, dass und wie Informatiksysteme in vielfältiger Weise in unser privates und professionelles Leben eingreifen und es erheblich prägen. Viele dieser Wirkungen bergen erhebliche Risiken und benötigen eine bewusste, aufgeklärte Gestaltung, bei der Informatiker/innen naturgemäß eine besondere Rolle spielen -- oder jedenfalls spielen sollten.
Als Themenbereiche werden wir beispielsweise betrachten, wie die Computerisierung unsere Privatsphäre beeinflusst, Wirtschaft und Gesellschaft im Ganzen, unsere Sicherheit und unser Arbeitsumfeld. Davor steht eine konzeptionelle Einführung, was es bedeutet Orientierungswissen zusätzlich zu Verfügungswissen zu erlangen und wie man damit umgehen sollte: kritisch mitdenken und sich in die Gestaltung der Technik einmischen.
Literaturhinweise
See the slides.
-
19301302
Übung
Übung zu Auswirkungen der Informatik (Linus Ververs)
Zeit: Mo 10:00-12:00, Di 10:00-12:00, Di 12:00-14:00, Di 16:00-18:00, Mi 08:00-10:00, Mi 10:00-12:00, Mi 14:00-16:00, Mi 16:00-18:00, Do 16:00-18:00 (Erster Termin: 13.10.2025)
Ort: T9/051 Seminarraum (Takustr. 9)
Kommentar
siehe Vorlesung; Informationen zu den Zeiten und Orten der täglichen Übungen sind zu finden auf der Veranstaltungswebseite
-
19301301
Vorlesung
-
Grundlagen der Theoretischen Informatik, LB
0087eA1.5-
19301201
Vorlesung
Grundlagen der theoretischen Informatik (Günther Rothe)
Zeit: Mo 10:00-12:00, zusätzliche Termine siehe LV-Details (Erster Termin: 20.10.2025)
Ort: T9/Gr. Hörsaal (Takustr. 9)
Kommentar
Inhalt:
- Theoretische Rechnermodelle
- Automaten
- formale Sprachen
- Grammatiken und die Chomsky-Hierarchie
- Turing-Maschinen
- Berechenbarkeit
- Einführung in die Komplexität von Problemen
Literaturhinweise
- Uwe Schöning, Theoretische Informatik kurzgefasst, 5. Auflage, Spektrum Akademischer Verlag, 2008
- John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexität, Pearson Studium, 3. Auflage, 2011
- Ingo Wegener: Theoretische Informatik - Eine algorithmenorientierte Einführung, 2. Auflage, Teubner, 1999
- Michael Sipser, Introduction to the Theory of Computation, 2nd ed., Thomson Course Technology, 2006
- Wegener, Kompendium theoretische Informatik - Eine Ideensammlung, Teubner 1996
- Theoretische Rechnermodelle
-
19301202
Übung
Practice seminar for Foundations of Theoretical Computer Science (Günther Rothe)
Zeit: Mo 12:00-14:00, Di 16:00-18:00, Mi 08:00-10:00, Mi 14:00-16:00, Mi 16:00-18:00, Fr 14:00-16:00, zusätzliche Termine siehe LV-Details (Erster Termin: 13.10.2025)
Ort: A7/SR 031 (Arnimallee 7)
-
19301201
Vorlesung
-
Nebenläufige, parallele und verteilte Programmierung, LB
0087eA1.6-
19322101
Vorlesung
Nebenläufige, parallele und verteilte Programmierung (Claudia Müller-Birn, Barry Linnert)
Zeit: Mi 10:00-12:00, Do 12:00-14:00 (Erster Termin: 15.10.2025)
Ort: T9/Gr. Hörsaal (Takustr. 9)
Kommentar
Website: https://www.mi.fu-berlin.de/w/SE/VorlesungNichtseq_Vert_Prg2025
Inhalte:
Programmieren und Synchronisieren von gleichzeitig laufenden Prozessen, die auf gemeinsame Ressourcen zugreifen oder über Nachrichtenaustausch interagieren.
- Nichtsequentielle Programme und Prozesse in ihren verschiedenen Ausprägungen, Nichtdeterminismus, Determinierung
- Synchronisationsmechanismen: Sperren, Monitore, Wachen, Ereignisse, Semaphore
- Nichtsequentielle Programmausführung und Objektorientierung
- Ablaufsteuerung, Auswahlstrategien, Prioritäten, Umgang mit und Vermeidung von Verklemmung
- Koroutinen, Implementierung, Mehrprozessorsysteme
- Interaktion über Nachrichten
- Programmieren und Synchronisieren von gleichzeitig laufenden Prozessen, die über Nachrichtenaustausch interagieren
- Fernaufruftechniken
- Client-Server, Peer-to-Peer
- Parallelrechnen im Netz
- Koordinierungssprachen
- Verarbeitung auf dem Server und auf dem Client, Mobilität
- Middleware, strukturierte Kommunikation, statische und dynamische Schnittstellen
- Ereignisbasierte und strombasierte Verarbeitung
- Sicherheit von Anwendungen im Netzwerk
- Ausblick auf nichtfunktionale Eigenschaften (Zeit, Speicher, Dienstgüte)
Literaturhinweise
Literature:
- Principles of Concurrent and Distributed Programming. M. Ben-Ari. Addison-Wesley.
- Distributed Systems. Concepts and Design. Fifth Edition. George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair. Pearson.
-
19322102
Übung
Übung zu Nichtsequentielle und verteilte Programmierung (Barry Linnert)
Zeit: Mo 10:00-12:00, Di 10:00-12:00, Do 10:00-12:00, Do 14:00-16:00, Fr 12:00-14:00, Fr 16:00-18:00 (Erster Termin: 14.10.2025)
Ort: T9/SR 006 Seminarraum (Takustr. 9)
-
19322101
Vorlesung
-
Datenbanksysteme, LB
0087eA1.8-
19301501
Vorlesung
Datenbanksysteme (Katharina Baum)
Zeit: Di 10:00-12:00, Di 12:00-13:00, Di 14:00-16:00, Do 10:00-12:00, zusätzliche Termine siehe LV-Details (Erster Termin: 14.10.2025)
Ort: T9/SR 005 Übungsraum (Takustr. 9)
Zusätzl. Angaben / Voraussetzungen
Zielgruppe
- Pflichtmodul im Bachelorstudiengang Informatik
- Pflichtmodul im lehramtsbezogenen Bachelorstudiengang mit Kernfach Informatik und Ziel: Großer Master
- Studierende im lehramtsbezogenen Masterstudiengang (Großer Master mit Zeitfach Informatik) können dieses Modul zusammen mit dem "Praktikum DBS" absolvieren
- Wahlpflichtmodul im Nebenfach Informatik
Voraussetzungen
- ALP 1 - Funktionale Programmierung
- ALP 2 - Objektorientierte Programmierung
- ALP 3 - Datenstrukturen und Datenabstraktion
- ODER Informatik B
Kommentar
Inhalt
Datenbankentwurf mit ERM/ERDD. Theoretische Grundlagen relationaler Datenbanksysteme: Relationale Algebra, Funktionale Abhängigkeiten, Normalformen. Relationale Datenbankentwicklung: SQL Datendefinition, Fremdschlüssel und andere Integritätsbedingungen. SQL als applikative Sprache: wesentliche Sprachelemente, Einbettung in Programmiersprachen, Anwendungsprogrammierung; objekt-relationale Abbildung. Transaktionsbegriff, transaktionale Garantien, Synchronisation des Mehrbenutzerbetriebs, Fehlertoleranzeigenschaften. Anwendungen und neue Entwicklungen: Data Warehousing, Data Mining, OLAP.
Projekt: im begleitenden Projekt werden die Themen praktisch vertieft.
Literaturhinweise
- Alfons Kemper, Andre Eickler: Datenbanksysteme - Eine Einführung, 5. Auflage, Oldenbourg 2004
- R. Elmasri, S. Navathe: Grundlagen von Datenbanksystemen, Pearson Studium, 2005
-
19301502
Übung
Übung zu Datenbanksysteme (Pascal Iversen)
Zeit: Mi 12:00-14:00 (Erster Termin: 15.10.2025)
Ort: T9/049 Seminarraum (Takustr. 9)
-
19301501
Vorlesung
-
Programmierpraktikum, LB
0087eA1.9-
19335804
Seminar am PC
Programmierpraktikum (Lutz Prechelt)
Zeit: Mo 16:00-18:00, Di 16:00-18:00, Mi 16:00-18:00, Do 16:00-18:00, Fr 16:00-18:00, zusätzliche Termine siehe LV-Details (Erster Termin: 13.10.2025)
Ort: T9/K48 Rechnerpoolraum (Takustr. 9)
Zusätzl. Angaben / Voraussetzungen
https://www.mi.fu-berlin.de/w/SE/TeachingHome
Kommentar
Die Studierenden lösen weitgehend selbstständig und mit vielen Freiheitsgraden bei Auswahl und inhaltlicher Ausgestaltung zahlreiche kleine und praktische Lernaufgaben. Die Aufgaben liegen z. B. in den Bereichen
- Fortgeschrittene Konstrukte der Programmiersprache,
- Auswahl und Einsatz von Bibliotheken,
- Datenbanken und SQL,
- automatisierte Tests,
- Debugging,
- Arbeiten mit Bestandscode,
- Webentwicklung,
- Umgang mit Werkzeugen wie Versionsverwaltung, Paketmanager, IDEs, Testwerkzeuge.
Dabei erarbeiten sie sich einige komplexe Konzepte (z. B. zu Team-Workflows), erlernen zahlreiche Einzelheiten und diskutieren das Gelernte durch Reflexion der Ergebnisse.
Das hier Gelernte ist für eine erfolgreiche berufliche Tätigkeit überragend relevant.Die Bearbeitung erfolgt überwiegend bevorzugt zu zweit (Paararbeit), die Zeiteinteilung ist völlig frei, nur für die Einreichung erledigter Aufgaben sind die Anwesenheitszeiten einer Dozent_in oder Tutor_in zu beachten.
All dies wird in der ersten Veranstaltungswoche auf einer Startveranstaltung erläutert, die man keinesfalls verpassen darf.
-
19335804
Seminar am PC
-
Rechnerarchitektur, LB
0087eA2.1-
19300601
Vorlesung
Rechnerarchitektur (Larissa Groth)
Zeit: Di 12:00-14:00, zusätzliche Termine siehe LV-Details (Erster Termin: 14.10.2025)
Ort: , Hs 1a Hörsaal, T9/Gr. Hörsaal
Kommentar
Inhalt
Das Modul Rechnerarchitektur behandelt grundlegende Konzepte und Architekturen von Rechnersystemen. Themenbereiche sind hier insbesondere Von-Neumann-Rechner, Harvard-Architektur, Mikroarchitektur RISC/CISC, Mikroprogrammierung, Pipelining, Cache, Speicherhierarchie, Bussysteme, Assemblerprogrammierung, Multiprozessorsysteme, VLIW, Sprungvorhersage. Ebenso werden interne Zahlendarstellungen, Rechnerarithmetik und die Repräsentation weiterer Datentypen im Rechner behandelt.
Literaturhinweise
- Andrew S. Tannenbaum: Computerarchitektur, 5.Auflage, Pearson Studium, 2006
- English: Andrew S. Tanenbaum (with contributions from James R. Goodman):
- Structured Computer Organization, 4th Ed., Prentice Hall International, 2005.
-
19300604
Seminar am PC
Seminar am PC zu Rechnerarchitektur (Larissa Groth, Marius Max Wawerek)
Zeit: Mo 12:00-14:00, Mo 14:00-16:00, Mi 12:00-14:00, Mi 14:00-16:00, Do 14:00-16:00, Do 16:00-18:00, Fr 12:00-14:00, Fr 14:00-16:00 (Erster Termin: 13.10.2025)
Ort: T9/K38 Rechnerpoolraum (Takustr. 9)
-
19300601
Vorlesung
-
Architektur eingebetteter Systeme, LB
0087eA2.3-
19335901
Vorlesung
Architektur eingebetteter Systeme (Larissa Groth)
Zeit: Fr 14:00-16:00 (Erster Termin: 24.10.2025)
Ort: T9/SR 005 Übungsraum (Takustr. 9)
Zusätzl. Angaben / Voraussetzungen
Wichtige Information zum Ablauf:
Architektur eingebetteter Systeme wird ausnahmsweise in diesem Wintersemester mit folgenden Terminen angeboten:- Vorlesung Freitags, 14-16 Uhr, Takustraße 9, Raum K40
- Übungsgruppe A, Dienstags, 14-16 Uhr Takustraße 9, Raum K63
- Übungsgruppe B, Mittwochs, 12-14 Uhr Takustraße 9, Raum K63
Von diesen Übungs-Terminen ist einer auszusuchen.
Kommentar
Studierende erarbeiten sich den grundlegenden Aufbau von Mikroprozessor-Architekturen für eingebettete Sys- teme einschl. Datenformate, Befehlsformate, Befehlssätze und Speicherorganisation. Sie erlernen und üben den praktischen Umfang mit Schnittstellen und Ein-/Ausgabe-Systemen und Peripherie-Geräten. Sie erlernen Eigenschaften von Cyber Physical Systems, Sensoren, Aktuatoren und Sensornetzen (WSN) und diskutieren deren Anwendungsgebiete. Darüber hinaus erlernen sie die Anbindung und den Einsatz von Field Programmable Gate Arrays (FPGAs) und üben die Anwendungsbezogene Programmierung eingebetteter Systeme in C und Assembler. Zudem erarbeiten sie sich den grundlegenden Aufbau aktueller Betriebssysteme für eingebettete Systeme, insbes. Realtime Operating Systems, Realtime Scheduling, Realtime Communication und üben dessen Implementierung. Zuletzt werden Aspekte der Sicherheit eingebetteter Systeme einschl. Angriffsvektoren, Prozessisolation, Trusted Computing diskutiert und bewertet.
-
19335902
Übung
Übung zu Architektur eingebetteter Systeme (Larissa Groth)
Zeit: Termine siehe LV-Details (Erster Termin: 07.11.2025)
Ort: T9/K38 Rechnerpoolraum (Takustr. 9)
-
19335901
Vorlesung
-
Maschinelles Lernen, LB
0087eA2.6-
19336201
Vorlesung
Maschinelles Lernen (Gerhard Wunder)
Zeit: Mi 12:00-14:00 (Erster Termin: 15.10.2025)
Ort: T9/SR 006 Seminarraum (Takustr. 9)
Kommentar
Qualifikationsziele: Die Studierenden lernen Formen der Datenrepräsentation und deren Visualisierung, können Abhängigkeiten aufzeigen und wenden Verfahren für Dimensionsreduktion und Datenvorverarbeitung an. Sie lernen die Grundbegriffe und Prinzipien des maschinellen Lernens, können Zielkriterien formulieren, benennen Eigenschaften von Optimierungsproblemen und können algorithmische Ansätze zur Lösung umsetzen. Sie können unterschiedlichste Lernverfahren zur Regression, Klassifikation und Entscheidungsfindung einordnen und umsetzen. Sie lernen die Grundstrukturen und Architekturen von neuronalen Netzen und deren vielfältige Einsatzgebiete. Sie können algorithmisch Lösungen für eine gegebene Problemstellung umsetzen und evaluieren.
Inhalte: Die Studierenden erlernen die Grundlagen des maschinellen Lernens, der Lerntheorie, der Generalisierung und PAC. Sie erarbeiten ebenfalls die Grundlagen der konvexen Optimierung (z. B. Subgradient Methode), des Stochastischen Gradientenabstieg, der Regularisierung und Konvergenz. Sie üben Verfahren des Supervised Learning (z. B. Linear Regression, SVM, Kernel-Trick), des Unsupervised Learning (z. B. Clustering, Decision Trees, Matrix Decomposition, wie PCA) und des Dictionary Learning. Des Weiteren erlernen Studierende die Grundlagen der Künstliche Neuronale Netze (KNN), indem mögliche Architekturen und das Konzept der Backpropagation erarbeitet werden. Darüber hinaus setzen sich Studierende mit den Aspekten der Evaluierung (Crossvalidation, Hyper-Parameter-Tuning usw.) auseinande
-
19336202
Übung
Übung zu Maschinelles Lernen (Gerhard Wunder)
Zeit: Mo 14:00-16:00 (Erster Termin: 20.10.2025)
Ort: , T9/SR 006 Seminarraum
-
19336201
Vorlesung
-
-
Softwaretechnik, LB 0087eA1.10
-
Algorithmen und Datenstrukturen, LB 0087eA1.4
-
Betriebs- und Kommunikationssysteme, LB 0087eA1.7
-
Informationssicherheit, LB 0087eA2.2
-
Datenvisualisierung, LB 0087eA2.4
-
Funktionale Programmierung, LB 0087eA2.5
-
Mensch-Computer-Interaktion, LB 0087eA2.7
-
Praktiken professioneller Softwareentwicklung, LB 0087eA2.8
-
