In der Vorlesung wird der Entwurf effizienter Algorithmen für die Bereiche Suchen, Sortieren sowie Graphmethoden behandelt. Besonderer Schwerpunkt liegt hierbei auf allgemeinen algorithmischen Techniken, wie etwa divide-and-conquer, lokal-optimierender Berechnung ("greedy methods"), backtracking, branch-and-bound sowie dynamischer Programmierung.
Schlüssel: AlgoDat
- Учитель: Mamdouh Aljoud
- Учитель: Walid Durani
- Учитель: Umut Kanilmaz
- Учитель: Thomas Seidl
Inhalt
Die Vorlesung führt anhand der Programmiersprache Haskell in die grundlegenden Prinzipien der funktionalen Programmierung und der Datenmodellierung ein. Dabei wird auf begriffliche Klarheit und präzise theoretische Fundierung mit formalen Methoden Wert gelegt. Die Themen sind z. B.:
- Funktionsbegriff und Basistypen
- Rekursion und Terminierung
- Benutzerdefinierte Datentypen
- Polymorphie, Typklassen, Module
- Funktionen höherer Ordnung und Currying
- Typen, Typprüfung, Typinferenz
- Pattern Matching
- Verzögerte Auswertung, Striktheit
- Ein- und Ausgaben und andere Seiteneffekte
Organisation
- Vorlesung Prof. Dr. Johannes Kinder
- Übungen Matías Gobbi, lic.
Termine
Termine sind vorläufig.
- Montag 12 - 14h | Geschwister-Scholl-Platz 1 - B 101
- Mittwoch 16 - 18h | Geschwister-Scholl-Platz 1 - Audimax A030
- Erster Termin 13.04.2026
---
Einschreibeschlüssel Ich<3Messi
- Учитель: Sebastian Eckl
- Учитель: Matías Gobbi
- Учитель: Johannes Kinder
- Учитель: Clemens Damke
- Учитель: Eyke Hüllermeier
- Учитель: Yusuf Sale
- Учитель: Daniel Diefenthaler
- Учитель: Fabian Dreer
- Учитель: Dieter Kranzlmüller
Dieses Modul gibt eine Einführung in die technischen Grundlagen der Informatik und der Architektur von Rechnern. In der Vorlesung werden u.a. die Darstellung von Informationen im Rechner, klassische Komponenten eines Computers, Arithmetik in Computern, logischer Entwurf von Computern, Schaltwerke, Darstellung von Speicherinhalten, primäre und sekundäre Speicher, Ein- und Ausgabe sowie Pipelining eingeführt.
- Repräsentation als Bits: (Zahlen, Texte, Bilder, Audio, Video, Programme)
- Speicherung von Daten
- Transfer von Daten, Fehlererkennung und -korrektur
- Boolesche Algebra
- Verarbeitung von Daten: Schaltungsentwurf, Schaltnetzwerke
- Zahlendarstellung und -arithmetik
- Schaltfunktionen, Schaltnetze, Schaltwerke
- Von-Neumann-Modell
- Maschinenmodell
- Maschinen- und Assemblerprogrammierung
- Einführung in Quanten Computing
Einschreibe-Schlüssel: VonNeumann26
- Учитель: Alexander Feist
- Учитель: Julian Hager
- Учитель: Michael Kölle
Die Vorlesung führt in grundlegende mathematische Konzepte zum Umgang
mit endlichen oder abzählbaren Strukturen ein sowie in grundlegende
Konzepte der Logik. Unter anderem werden behandelt: Mengen, Relationen,
Ordnungen, Modulare Arithmetik, Kombinatorik, Gruppen und Körper,
Aussagenlogik und Prädikatenlogik, Gentzen-Kalküle und Resolution.
Der Einschreibeschlüssel für den Kurs lautet: LDS2026
- Учитель: Jasmin Blanchette
- Учитель: Martin Desharnais-Schäfer
- Учитель: Balazs Toth
Die Vorlesung behandelt die folgende Themen:
- Entwurf und Analyse von Algorithmen
- String Matching
- Suffix-Bäume
- Sequence Alignment
- Fragment Assembly
- Учитель: Caroline Friedel
- Учитель: Katharina Reinisch
- Учитель: Leonard Saalfrank
Die Vorlesung behandelt Grundlagen der theoretischen Informatik: Sie gibt Einführungen in die Theorie der formalen Sprachen und Automaten sowie in die Berechenbarkeits- und Komplexitätstheorie. Die Veranstaltung orientiert sich inhaltlich und strukturell am Lehrbuch von Schöning Theoretische Informatik – kurz gefasst. Themen sind:
- Automaten und Formale Sprachen:
Deterministische und nichtdeterministische endliche Automaten, reguläre Ausdrücke, Grammatiken, kontextfreie Sprachen, Kellerautomaten - Berechenbarkeit:
Turing-Maschinen, Churchsche These, Unentscheidbarkeit, Halteproblem, Reduktionen - Komplexität:
Die Klassen P und NP, NP-vollständige Probleme, Polynomialzeit-Reduktionen
- Учитель: Jan Johannsen
- Учитель: Elisabeth Lempa
- Учитель: Luca Maio
- Учитель: Magdalena Mansfeld
Die Vorlesung behandelt Grundlagen der theoretischen Informatik: Sie gibt Einführungen in die Theorie der formalen Sprachen und Automaten sowie in die Berechenbarkeits- und Komplexitätstheorie. Die Veranstaltung orientiert sich inhaltlich und strukturell am Lehrbuch von Schöning Theoretische Informatik – kurz gefasst. Themen sind:
- Automaten und Formale Sprachen:
Deterministische und nichtdeterministische endliche Automaten, reguläre Ausdrücke, Grammatiken, kontextfreie Sprachen, Kellerautomaten - Berechenbarkeit:
Turing-Maschinen, Churchsche These, Unentscheidbarkeit, Halteproblem, Reduktionen - Komplexität:
Die Klassen P und NP, NP-vollständige Probleme, Polynomialzeit-Reduktionen
- Учитель: Jan Johannsen
- Учитель: Elisabeth Lempa
- Учитель: Luca Maio
- Учитель: Magdalena Mansfeld