|
Assignments 13 and 14
|
|
6
|
955
|
7. Februar 2020
|
|
Interesting course related stuff on the internet
|
|
3
|
1178
|
6. Februar 2020
|
|
Zusammenfassung
|
|
11
|
3356
|
6. Februar 2020
|
|
Solution Assignments
|
|
2
|
628
|
6. Februar 2020
|
|
Assignment 12
|
|
2
|
662
|
6. Februar 2020
|
|
Substitution for Tutorial tomorrow 14:15-15:45
|
|
1
|
605
|
5. Februar 2020
|
|
Exam time and tutorial next week
|
|
4
|
1061
|
5. Februar 2020
|
|
Exam Time/Place (finally) fixed
|
|
1
|
647
|
4. Februar 2020
|
|
Tableau: Contains relation in NNF
|
|
2
|
717
|
3. Februar 2020
|
|
Question regarding ECTS for Informatik Bachelor
|
|
1
|
553
|
3. Februar 2020
|
|
Tuesday Morning Tutorial Thread
|
|
6
|
1110
|
3. Februar 2020
|
|
Question regarding mastersolution of mockexam
|
|
4
|
559
|
2. Februar 2020
|
|
Kalah thread
|
|
15
|
1720
|
28. Januar 2020
|
|
Questions regarding assignment 7
|
|
6
|
957
|
28. Januar 2020
|
|
Tutorial on 30th Jan, 14:15 cancelled
|
|
1
|
374
|
24. Januar 2020
|
|
CNF1 Algorithm in Problems 11.2 and 11.3
|
|
2
|
494
|
22. Januar 2020
|
|
Mock Exam
|
|
2
|
674
|
20. Januar 2020
|
|
Question regarding lecture topic changes
|
|
2
|
442
|
18. Januar 2020
|
|
Question regarding propositions with free variables
|
|
3
|
507
|
14. Januar 2020
|
|
Thursday 4pm tutorial
|
|
1
|
377
|
9. Januar 2020
|
|
Exam Date fixed (no times yet)
|
|
3
|
505
|
9. Januar 2020
|
|
Question regarding Assignment 9.1
|
|
2
|
593
|
8. Januar 2020
|
|
Questions regarding assignment 8
|
|
2
|
525
|
17. Dezember 2019
|
|
Bonus Challenge: Proof that Formula-to-DNF conversion is NP-hard
|
|
1
|
713
|
17. Dezember 2019
|
|
Assignments thread (duplicate of those on kwarc.info)
|
|
3
|
645
|
13. Dezember 2019
|
|
Industry Project seeks student collaborators
|
|
1
|
554
|
12. Dezember 2019
|
|
Assignment file upload
|
|
2
|
506
|
10. Dezember 2019
|
|
Tuesday Morning Tutorial CANCELLED
|
|
1
|
465
|
9. Dezember 2019
|
|
How to submit Kalah AI?
|
|
2
|
521
|
9. Dezember 2019
|
|
Partner gesucht
|
|
4
|
571
|
4. Dezember 2019
|