Achtung ! Wegen eines Fehlers wird derzeit der Studienbeitragsstatus und somit auch der Fortmeldungsstatus falsch angezeigt. An der Behebung des Fehlers wird gearbeitet. Wir danken für Ihr Verständnis!

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.

Methoden

Unterstuetzung bei der Lösung der Aufgabe

Prüfungsmodus

Schriftlich und Mündlich

Vortragende

Institut

Leistungsnachweis

Bewertung der Lösung

LVA-Anmeldung

Anmeldemodalitäten:

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus)

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

Sprache

Deutsch