Perfilado de sección

◄General
Themenblöcke►

  • Umfang:

    5 ECTS, 2 SWS

    Zeit & Ort:

    dienstags, 16:00–17:30 Uhr, Raum ÜR II (Informatikgebäude)

    Voraussetzung: 

    Im Seminar kommen Methoden aus den Vorlesungen Algorithmische Graphentheorie und Logik zum Einsatz, diese besucht zu haben wird deshalb dringend empfohlen. Für einige Themen kann Vorwissen aus einer der Masterveranstaltungen Algorithmische Geometrie oder Exakte Algorithmen hilfreich sein, ist aber keine Voraussetzung.

    Zielgruppe:

    Master Informatik (empfohlen), Bachelor Informatik
    Master Mathematik, Bachelor Mathematik

    Dozenten:

    		 Alexander Wolff, Anton Freund, Boris Klemz, Samuel Wolf, Antonio Lauerbach

    Wenn Sie am Seminar teilnehmen möchten, kommen Sie zum ersten Termin am Dienstag, den 13.10.2026, um 16:00 Uhr – dieser wie auch das gesamte Seminar wird in Präsenzform stattfinden (sofern es keine anderslautende Regelung gibt). An diesem Termin bitten wir um vollständige Anwesenheit, da wir den Ablauf des Seminars besprechen und die Themenverteilung festlegen. Die Liste der Themen finden Sie bald weiter unten auf dieser Seite. Diese werden je nach Teilnehmerzahl jeweils alleine oder zu zweit bearbeitet. Machen Sie sich schon vorab Gedanken, welche Themen Sie gerne bearbeiten würden.

    Bitte schreiben Sie sich schon jetzt in diesen Wuecampus-Kurs ein, falls Sie am Seminar teilnehmen wollen. Melden Sie sich dazu bei WueCampus an (das haben Sie wahrscheinlich schon getan) und klicken in der "sekundären Navigationsleiste" (der Bereich unter dem Kurstitel) auf "Mich in diesen Kurs einschreiben" beziehungsweise "Enrol me in this course".

    Thema in diesem Semester: Algorithmen & Logik

    In diesem Semester beschäftigt sich das Seminar mit der Schnittmenge der Algorithmen und Logik.  Betrachtet werden dabei praktische und theoretische Erkenntnisse; siehe Themenblöcke unten.  

    Lernziele

    Ziel ist es, sich intensiv in ein abgegrenztes Thema aus dem Themengebiet einzuarbeiten, dieses didaktisch aufzubereiten und den anderen Kursteilnehmern und -teilnehmerinnen in einem Vortrag zu vermitteln.

    Sie bekommen im Seminar einen Überblick über Techniken der Logik in der Algorithmik und vertiefen Ihre Kenntnisse über das Modellieren und Lösen von Problemen mithilfe von Werkzeugen aus der Logik. Dieses Thema eignet sich übrigens auch gut für interdisziplinäre Abschlussarbeiten.

    Module

    Bei erfolgreicher Teilnahme wird die Leistung als (benotetes) Seminar für den Bachelor- oder Masterstudiengang Informatik eingetragen.

◄General
Themenblöcke►