Foundations of Logic Programming (WS2019): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Foundations of Logic Programming |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Tutors=Lukas Schweizer |Term=WS |Year=201…“) |
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 10: | Zeile 10: | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=Klausur | |Exam type=Klausur | ||
|Description= | |Description=== Description == | ||
Logic programming supports the declarative programming paradigm, which describes the solution logically rather than how to compute it. This introductory course covers the fundamental topics of logic programming such as rule-based syntax, procedural and declarative semantics, negation, the logic programming language PROLOG, and answer set programming (ASP). | Logic programming supports the declarative programming paradigm, which describes the solution logically rather than how to compute it. This introductory course covers the fundamental topics of logic programming such as rule-based syntax, procedural and declarative semantics, negation, the logic programming language PROLOG, and answer set programming (ASP). | ||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Introduction | |||
|Room=APB E005 | |||
|Date=2019/10/14 | |||
|DS=DS5 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Vorlesung | |||
|Title=Unification | |||
|Room=APB E005 | |||
|Date=2019/10/21 | |||
|DS=DS5 | |||
}} | |||
{{Vorlesung Zeiten | |||
|Lehrveranstaltungstype=Übung | |||
|Title=Tutorial | |||
|Room=APB E005 | |||
|Date=2019/10/25 | |||
|DS=DS5 | |||
}} | }} | ||
Version vom 9. Oktober 2019, 11:50 Uhr
Foundations of Logic Programming
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2019
Description
Logic programming supports the declarative programming paradigm, which describes the solution logically rather than how to compute it. This introductory course covers the fundamental topics of logic programming such as rule-based syntax, procedural and declarative semantics, negation, the logic programming language PROLOG, and answer set programming (ASP).Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS5, 14. Oktober 2019 in APB E005 | Datei |
| Vorlesung | Unification | DS5, 21. Oktober 2019 in APB E005 | Datei |
| Übung | Tutorial | DS5, 25. Oktober 2019 in APB E005 | Datei |
| Vorlesung | Procedural Interpretation | DS5, 28. Oktober 2019 in APB E005 | Datei |
| Vorlesung | Pure Prolog | DS5, 4. November 2019 in APB E005 | Datei |
| Übung | Tutorial | DS5, 8. November 2019 in APB E005 | Datei |
| Vorlesung | Negation: Procedural Interpretation | DS5, 11. November 2019 in APB E005 | Datei |
| Übung | Tutorial | DS5, 18. November 2019 in APB E005 | Datei |
| Vorlesung | Declarative Interpretation I | DS5, 25. November 2019 in APB E005 | Datei |
| Vorlesung | Declarative Interpretation II | DS5, 2. Dezember 2019 in APB E005 | |
| Übung | Tutorial | DS5, 6. Dezember 2019 in APB E005 | Datei |
| Vorlesung | Negation: Declarative Interpretation | DS5, 9. Dezember 2019 in APB E005 | Datei |
| Vorlesung | Termination | DS5, 16. Dezember 2019 in APB E005 | Datei |
| Übung | Tutorial | DS5, 20. Dezember 2019 in APB E005 | Datei |
| Vorlesung | ASP: Introduction | DS5, 6. Januar 2020 in APB E005 | Datei |
| Vorlesung | ASP: Stable Models | DS5, 13. Januar 2020 in APB E005 | Datei |
| Übung | Tutorial | DS5, 17. Januar 2020 in APB E005 | Datei |
| Vorlesung | ASP: Solving | DS5, 20. Januar 2020 in APB E005 | Datei |
| Vorlesung | Q&A | DS5, 27. Januar 2020 in APB E005 | |
| Übung | Tutorial | DS5, 31. Januar 2020 in APB E005 | Datei |
| Vorlesung | Q&A | DS5, 3. Februar 2020 in APB E005 |
Kalender
