|
Blatt 7, Aufgabe 2: Verbesserte Resolution
|
|
2
|
4341
|
3. Januar 2018
|
|
Übungspartner
|
|
2
|
2130
|
27. November 2017
|
|
Raum 15.11
|
|
1
|
1740
|
14. November 2017
|
|
Übungsblatt 3, Aufgabe 4 c)
|
|
2
|
1879
|
13. November 2017
|
|
Aufgabe 5, Blatt 2, (b)
|
|
2
|
1579
|
8. November 2017
|
|
Klausur ws2016 A5 Formale Deduktion
|
|
10
|
3347
|
21. September 2017
|
|
Lsg. Ansatz zur Altklausur Aufgabe 6 von WS1617
|
|
3
|
2078
|
20. September 2017
|
|
Klausur WS 16/17 Abschrift der Angabe
|
|
5
|
2293
|
19. September 2017
|
|
Probeklausur A4 Resolutionsverfahren
|
|
3
|
1230
|
18. September 2017
|
|
Ws2016 Probeklausur Aufgabe 4
|
|
12
|
1535
|
13. September 2017
|
|
Orient
|
|
2
|
1918
|
10. September 2017
|
|
Lsg. Ansatz zur Altklausur Aufgabe 2 von WS1617
|
|
4
|
1944
|
8. September 2017
|
|
Klausur Sommersemester 2017
|
|
3
|
1877
|
21. August 2017
|
|
Übungsmaterialien WS16/17
|
|
1
|
1614
|
9. Juni 2017
|
|
GLoIn ich glaub ich steh im Wald
|
|
9
|
3612
|
27. April 2017
|
|
ss2016 Resolutionsverfahren was macht man mit konstante?
|
|
4
|
1744
|
3. April 2017
|
|
Fragen zu Aufgabe 4 Probeklausur 1617
|
|
6
|
1254
|
1. April 2017
|
|
Fragen + Lsg. Ansatz zur Altklausur Aufgabe 2 von WS1415
|
|
7
|
1441
|
1. April 2017
|
|
Probeklausur ws15/16 A3resolutionsverfahren!!! Schritte 3 Skolemform !!ein Fehler?
|
|
3
|
1239
|
30. März 2017
|
|
Terminiert die Resolution wirklich immer bei der minimalen Klauselmenge?
|
|
8
|
1708
|
24. März 2017
|
|
Unterschied RIF, RI2F und lRIF
|
|
2
|
885
|
24. März 2017
|
|
Trinkerparadoxon - resolution
|
|
2
|
966
|
20. März 2017
|
|
Übungen für Formalisierung in Prädikatenlogik
|
|
1
|
1129
|
16. März 2017
|
|
Fragen bzgl. Aufgabe 6 Induktion der Probeklausur WS-1617
|
|
3
|
978
|
15. März 2017
|
|
Hängen Substitutionen von der Signatur und dem Variablenvorrat ab?
|
|
2
|
1290
|
16. Februar 2017
|
|
Mini Klausur
|
|
2
|
1192
|
16. Februar 2017
|
|
Blatt 7 Aufgabe3
|
|
2
|
1081
|
13. Dezember 2016
|
|
Blatt 6 - Aufgabe 5b - Konkatation
|
|
2
|
965
|
12. Dezember 2016
|
|
Musterlösung Übung
|
|
2
|
1044
|
1. Dezember 2016
|
|
Schein zum bestehen??
|
|
3
|
1167
|
27. November 2016
|