|
|
Seminar Theoretische Informatik (ThInfSem)5 ECTS
(englische Bezeichnung: Theoretical Computer Science (Seminar))
Modulverantwortliche/r: Lutz Schröder
Lehrende:
Lutz Schröder
| Start semester: |
SS 2022 | Duration: |
1 semester | Cycle: |
halbjährlich (WS+SS) |
| Präsenzzeit: |
30 Std. | Eigenstudium: |
120 Std. | Language: |
Englisch |
Lectures:
Inhalt:
- Theory of concurrency
Programming semantics Categories in computer science Logic in computer science Theory of artificial intelligence
Lernziele und Kompetenzen:
- Fachkompetenz
- Wissen
- Die Studierenden geben grundlegende Definitionen und Resultate aus einem vertieften Bereich der Theoretischen Informatik wieder.
- Verstehen
- Die Studierenden erläutern grundlegende algorithmische und deduktive Verfahren.
- Anwenden
- Die Studierenden erläutern Anwendungen theoretischer Methoden in konkreten informatischen Kontexten.
- Erschaffen
- Die Studierenden bereiten Resultate des Gebiets und ihre Herleitung eigenständig zur Präsentation auf.
- Lern- bzw. Methodenkompetenz
- Die Studierenden erarbeiten sich selbständig den Inhalt wissenschaftlicher Veröffentlichungen und geben diesen in einem strukturierten Vortrag verständlich wieder.
- Sozialkompetenz
- Die Studierenden arbeiten in einer größeren Gruppe an komplexen Problemen und erläutern eigene Einsichten den Mitstudierenden in verständlicher Form.
Weitere Informationen:
Keywords: Logic Theoretical Computer Science Concurrency Semantics Categories
www: https://www8.cs.fau.de/SS22:ober
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Artificial Intelligence (Master of Science)
(Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Hauptseminar | Seminar Theoretische Informatik)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Hauptseminar | Seminar Theoretische Informatik)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Hauptseminar | Seminar Theoretische Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Hauptseminar | Seminar Theoretische Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. | TechFak | Informatik (Bachelor of Science) | Hauptseminar | Seminar Theoretische Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Hauptseminare, Praktika, Bachelorarbeit | Hauptseminar | Seminar Theoretische Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. 2022w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Hauptseminar | Seminar Theoretische Informatik)
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Hauptseminar, Projekt, Masterarbeit | Hauptseminar | Seminar Theoretische Informatik)
Studien-/Prüfungsleistungen:
Seminar Theoretische Informatik (Prüfungsnummer: 863761)(englischer Titel: Theoretical Computer Science (Seminar))
- Prüfungsleistung, Seminarleistung, benotet, 5.0 ECTS
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
Die Prüfungsleistung besteht aus einer ca. 10 seitigen Ausarbeitung und einem 90-minütigen erfolgreichen Vortrag. Die Noten von Ausarbeitung und Vortrag gehen zu je 50% in die Gesamtnote ein.
- Prüfungssprache: Englisch
- Erstablegung: SS 2022, 1. Wdh.: WS 2022/2023 (nur für Wiederholer)
|
|
|