UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
 
 Layout
 
printable version

  
 
Module Description Sheet (PDF)

  
 
 Also in UnivIS
 
course list

lecture directory

  
 
events calendar

job offers

furniture and equipment offers

  
 
Artificial Intelligence (Master of Science) >>

Seminar Theoretische Informatik (ThInfSem)5 ECTS
(englische Bezeichnung: Theoretical Computer Science (Seminar))
(Prüfungsordnungsmodul: Seminar Theoretische Informatik)

Modulverantwortliche/r: Lutz Schröder
Lehrende: Lutz Schröder

Start semester: SS 2022Duration: 1 semesterCycle: 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:

  1. Artificial Intelligence (Master of Science)
    (Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Hauptseminar | Seminar Theoretische Informatik)
Dieses Modul ist daneben auch in den Studienfächern "Informatik (Bachelor of Arts (2 Fächer))", "Informatik (Bachelor of Science)", "Informatik (Master of Science)" verwendbar. Details

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)
1. Prüfer: Lutz Schröder

UnivIS is a product of Config eG, Buckenhof