Bachelor Grundlagen der Logik in der Informatik
| Thema | Antworten | Aufrufe | Aktivität | |
|---|---|---|---|---|
|
Übungsbeginn
|
|
3 | 896 | 21. Oktober 2014 |
|
Klausureinsicht
|
|
1 | 826 | 16. Oktober 2014 |
|
Genaue Zeiten WiSe 2014/15
|
|
1 | 1235 | 30. September 2014 |
|
Tutoren für GLoIn gesucht
|
|
8 | 2536 | 11. September 2014 |
|
Nichtterminalsymbol Grammatik
|
|
1 | 1167 | 31. Mai 2014 |
|
glolop Heulfladen
|
|
23 | 3564 | 3. April 2014 |
|
Prädikatenlogik Blatt 10 / A3.2
|
|
5 | 1383 | 20. März 2014 |
|
SLD-Resultion
|
|
6 | 948 | 19. März 2014 |
|
Die Klausur morgen findet NICHT im HG/HH statt.
|
|
1 | 1072 | 19. März 2014 |
|
Allgemeiner Fragefred
|
|
7 | 1110 | 19. März 2014 |
|
Resolution
|
|
18 | 3643 | 18. März 2014 |
|
Übungslösungen
|
|
3 | 954 | 18. März 2014 |
|
Probeklausur WS13 - Aufgabe 6 Induktion
|
|
5 | 1882 | 17. März 2014 |
|
Fitch und Logik erster Stufe / Trinkerparadoxon
|
|
6 | 2478 | 16. März 2014 |
|
Unifikation
|
|
4 | 874 | 14. März 2014 |
|
Formale Schreibweise Unifikation
|
|
2 | 1323 | 11. März 2014 |
|
Prolog
|
|
10 | 1684 | 9. März 2014 |
|
Unifikation Übungsaufgabe 5.2
|
|
5 | 1146 | 9. März 2014 |
|
Aussicht auf Klausurbestehen
|
|
10 | 1291 | 4. März 2014 |
|
Klausurvorbereitung WS13
|
|
1 | 748 | 25. Februar 2014 |
|
Probeklausur SS13
|
|
17 | 2563 | 15. Februar 2014 |
|
Blatt 10
|
|
11 | 1005 | 30. Januar 2014 |
|
Musterlösungen
|
|
3 | 754 | 10. Januar 2014 |
|
Blatt 3, Aufgabe 5
|
|
12 | 1266 | 25. November 2013 |
|
Übungspartner
|
|
2 | 664 | 19. November 2013 |
|
Keine Übung heute?
|
|
3 | 770 | 3. November 2013 |
|
Klausureinsicht
|
|
1 | 668 | 21. Oktober 2013 |
|
Nachhilfe gesucht
|
|
19 | 4528 | 20. Oktober 2013 |
|
Klausurdauer
|
|
19 | 2361 | 18. Oktober 2013 |
|
Dienstagsübungen um 12 und 16 Uhr (MC-Termine 3 und 5) finden nicht statt
|
|
1 | 895 | 17. Oktober 2013 |