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.

2018W, PR, 8.0h, 16.0EC

Merkmale

  • Semesterwochenstunden: 8.0
  • ECTS: 16.0
  • Typ: PR Projekt

Ziele der Lehrveranstaltung

Selbstaendige Bearbeitung komplexer Aufgabenstellungen, Anwendung bisher erworbener Informatikkenntnisse, Projektabwicklung, Teamarbeit.

Inhalt der Lehrveranstaltung

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

Vortragende Personen

Institut

LVA-Anmeldung

Anmeldemodalitäten

siehe LVA Homepage

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

Sprache

Deutsch