185.302 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.

2011S, PR, 8.0h, 12.0EC

Merkmale

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

Ziele der Lehrveranstaltung

Verständnis der theoretischen Grundlagen und Methoden sowie des Entwurfs, der algorithmischen Umsetzung und Anwendung ausgewählter (Semi-)Automated Reasoning Tools in Computationaler Logik

Inhalt der Lehrveranstaltung

Theoretische Grundlagen, algorithmische Umsetzung, Systementwurf,  Implementierung und Anwendung ausgewählter (Semi-)Automated Reasoning Tools in Computationaler Logik

Beispiele: CERES (Cut Elimination by RESolution), VMTL (Vienna Modular Termination Laboratory)

 

Weitere Informationen

Details zur Lehrveranstaltung siehe homepage

Vortragende Personen

Institut

Leistungsnachweis

Nachweis des Erreichens indviduell vereinbarter Projektziele

LVA-Anmeldung

Nicht erforderlich

Curricula

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

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Abhängig vom jeweils gewählten bzw. vereinbarten Projektschwerpunkt

Weitere Informationen

Sprache

Englisch