184.191 Project in Computational Logic
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019W, PR, 8.0h, 16.0EC

Merkmale

Semesterwochenstunden: 8.0
ECTS: 16.0
Typ: PR Projekt

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, konkrete Aufgaben in Teilgebieten der Computational Logic zu loesen. Die Loesungen der Aufgaben koennen Implementierungen, Experimente oder theoretische Ausarbeitungen erfordern.

Inhalt der Lehrveranstaltung

Es werden Themen aus den Bereichen Informationssysteme, Wissensrepräsentation, Deduktion, Mobile Roboter, logische Programmierung, Programmsynthese und vieles mehr behandelt.