Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

ONLINE im WiSe 21/22: Komplexität & Logik - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Seminar Langtext
Veranstaltungsnummer 160081 Kurztext FMI-IN0104
Semester WS 2021 SWS 2
Teilnehmer 1. Platzvergabe 12 Max. Teilnehmer 2. Platzvergabe 15
Rhythmus Jedes Semester Studienjahr
Credits für IB und SPZ
E-Learning
Hyperlink
Sprache Deutsch
Belegungsfrist Standardbelegung Wintersemester ab Mitte August/ Sommersemester ab Mitte Februar
Abmeldefristen B1 - Belegung ohne Abmeldung    23.08.2021 09:00:00 - 07.10.2021 07:59:59   
Nach Zulassung ist eine Abmeldung nur durch den Dozenten möglich.
B2 - Belegung mit Abmeldung 6 Wochen    07.10.2021 08:00:00 - 29.11.2021 23:59:59   
Nach Zulassung ist eine Abmeldung auch durch den Teilnehmer möglich.
B3 - Belegung ohne Abmeldung    30.11.2021 00:00:01 - 21.02.2022 07:59:59    aktuell
Nach Zulassung ist eine Abmeldung nur durch den Dozenten möglich.
Termine Gruppe: 1-Gruppe iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Lehrperson (Zuständigkeit) Status Bemerkung fällt aus am Max. Teilnehmer 2. Platzvergabe
Einzeltermine anzeigen Di. 16:00 bis 18:00 w. 19.10.2021 bis
08.02.2022
    findet statt  
Gruppe 1-Gruppe:



Zugeordnete Person
Zugeordnete Person Zuständigkeit
Beyersdorff, Olaf, Universitätsprofessor, Dr.rer.nat. verantwortlich
Module / Prüfungen
Modul Prüfungsnummer Titel VE.Nr. Veranstaltungseinheit
FMI-IN3801 Mastermodul Seminar I
P-Nr. : 354811 Mastermodul Seminar I: Vortrag oder Vortrag u. schriftl. Ausarbeitung
354813 Mastermodul Seminar I: Seminar
FMI-IN0104 Seminar Algorithmik
P-Nr. : 51041 Seminar Algorithmik: Vortrag mit schriftl. Ausarbeitung
51043 Seminar Algorithmik: Seminar
FMI-IN0050 Seminar Theoretische Informatik/Algorithmik
P-Nr. : 50501 Seminar Theoretische Informatik/Algorithmik: Vortrag einschließlich einer schriftlichen Ausarbeitung
50503 Seminar Theoretische Informatik/Algorithmik: Seminar
FMI-IN3003 Seminar
P-Nr. : 51461 Seminar: Vortrag u. schriftl. Ausarbeitung
51462 Seminar: Seminar
FMI-MA3801 Mastermodul Seminar 1
P-Nr. : 323011 Mastermodul Seminar 1: Vortrag und schriftl. Ausarbeitung
323013 Mastermodul Seminar 1: Seminar
FMI-MA3802 Mastermodul Seminar 2
P-Nr. : 323021 Mastermodul Seminar 2: Vortrag und schriftl. Ausarbeitung
323023 Mastermodul Seminar 2: Seminar
Zuordnung zu Einrichtungen
Fakultät für Mathematik und Informatik
Theoretische Informatik
Inhalt
Lerninhalte

Seminar zu wechselnden aktuellen Themen der Logik in der Informatik

 Typische Themen sind:

  • Verschiedene Logiken: Aussagenlogik, erststufige Logik, QBF, modale, intuitionistische Logiken etc.
  • Komplexität dieser Logiken
  • Beweiskalküle der Logiken
  • Algorithmische Aspekte
  • SAT- und QBF Solver
  • Beweiskomplexität
  • Berechnungskomplexität
  • Algebraische Beweissysteme

Lern- und Qualifikationsziele:

  • Vertiefte Kenntnisse in Theoretischer Informatik, Logik, Komplexität und Algorithmik
  • Vertrautheit mit State-of-the-Art-Techniken zum Design und zur Analyse von Algorithmen, insbesondere für Erfüllbarkeitsprobleme
  • Erwerb von geeigneten Präsentationstechniken für theoretische Themen 
Strukturbaum
Die Veranstaltung wurde 8 mal im Vorlesungsverzeichnis WiSe 2021/22 gefunden:
Seminare  - - - 1
Seminare  - - - 2
Seminare  - - - 3
Seminare  - - - 4
Seminare /Seminars  - - - 5
Seminare /Seminar  - - - 6
Seminare  - - - 7

Impressum | Datenschutzerklärung