|
About the Logikbasierte Wissensrepräsentation category
|
|
0
|
52
|
20. Dezember 2022
|
|
We're not using the forum anymore.
|
|
1
|
1650
|
28. März 2022
|
|
Umfrage Zweite KRMT Vorlesung
|
|
2
|
2559
|
22. April 2021
|
|
Materials and Software for the Practical Part
|
|
3
|
1211
|
20. April 2021
|
|
Zoom lecture room
|
|
1
|
1230
|
8. April 2021
|
|
KRMT Evaluation
|
|
2
|
2416
|
23. Juli 2020
|
|
jEdit/MMT problems
|
|
5
|
1601
|
15. Juli 2020
|
|
Materials and Software for the Practical Part
|
|
10
|
2276
|
2. Juli 2020
|
|
Homework submission
|
|
1
|
1506
|
10. Juni 2020
|
|
Zoom Lecture Room
|
|
6
|
2214
|
10. Juni 2020
|
|
Homework challenge
|
|
1
|
1539
|
14. Mai 2020
|
|
Literatur
|
|
2
|
1763
|
20. April 2020
|
|
Structure of the course in 2020
|
|
1
|
1626
|
14. April 2020
|
|
Record Types Example
|
|
1
|
3162
|
18. Juli 2019
|
|
Error when trying to proof SCombinator
|
|
2
|
2141
|
3. Juli 2019
|
|
Homework
|
|
1
|
2185
|
19. Juni 2019
|
|
Homework
|
|
1
|
2256
|
7. Juni 2019
|
|
ur:?LF
|
|
2
|
2103
|
23. Mai 2019
|
|
Argument index
|
|
5
|
2183
|
22. Mai 2019
|
|
Iff from PLSyntax
|
|
3
|
2168
|
22. Mai 2019
|
|
SCombinator
|
|
2
|
2317
|
22. Mai 2019
|
|
Homework (May 16th)
|
|
3
|
2334
|
21. Mai 2019
|
|
Homework
|
|
1
|
2356
|
9. Mai 2019
|
|
Vorlesung morgen: Bitte Laptop mitbringen ;)
|
|
1
|
2239
|
24. April 2019
|
|
Skalarprodukt von Vektorräumen
|
|
4
|
3333
|
17. Oktober 2018
|
|
smglom: Einige Fehler bis hin zu reals.mmt
|
|
2
|
2640
|
17. Oktober 2018
|
|
subtraction und subtract kollidieren
|
|
3
|
2874
|
3. Oktober 2018
|
|
"role abbreviation"
|
|
1
|
2627
|
2. Oktober 2018
|
|
Witeness bei predicate subtypes
|
|
2
|
2737
|
25. September 2018
|
|
Wie verwendet man flatseq (bzw sequences)
|
|
2
|
2659
|
21. September 2018
|