185.A66 Automated Deduction
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2016S, VU, 4.0h, 6.0EC

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Der Student/ die Studentin soll die Grundlagen und Grundtechniken des Automatischen Beweisens erlernen, sowie den Gebrauch automatischer Beweiser.

Inhalt der Lehrveranstaltung

Transformation in Normalform, Semantische Bäume, DPLL, SAT-solver, SMT-solver, Unifikation, Resolution, Verfeinerungen der Resolution, Paramodulation, Experimente mit automatischen Beweisern.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.17:00 - 18:3008.03.2016 Besprechungsraum, FH, 5. Stock, grüner BereichVorbesprechung
Fr.14:30 - 16:3011.03.2016 - 24.06.2016 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Automated Deduction - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.08.03.201617:00 - 18:30 Besprechungsraum, FH, 5. Stock, grüner BereichVorbesprechung
Fr.11.03.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.18.03.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.15.04.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.22.04.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.29.04.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.13.05.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.20.05.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.03.06.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.10.06.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.17.06.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung
Fr.24.06.201614:30 - 16:30 Dissertantenraum, FH, 8. Stock, grüner BereichVorlesung

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Computational Intelligence Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach
860 GW Gebundene Wahlfächer - Technische Mathematik Gebundenes Wahlfach

Literatur

Es gibt ein Skriptum zu dieser Lehrveranstaltung.

Sprache

Englisch