|
About the Logikbasierte Wissensrepräsentation category
|
|
0
|
34
|
December 20, 2022
|
|
We're not using the forum anymore.
|
|
1
|
1611
|
March 28, 2022
|
|
Umfrage Zweite KRMT Vorlesung
|
|
2
|
2529
|
April 22, 2021
|
|
Materials and Software for the Practical Part
|
|
3
|
1145
|
April 20, 2021
|
|
Zoom lecture room
|
|
1
|
1206
|
April 8, 2021
|
|
KRMT Evaluation
|
|
2
|
2380
|
July 23, 2020
|
|
jEdit/MMT problems
|
|
5
|
1540
|
July 15, 2020
|
|
Materials and Software for the Practical Part
|
|
10
|
2242
|
July 2, 2020
|
|
Homework submission
|
|
1
|
1481
|
June 10, 2020
|
|
Zoom Lecture Room
|
|
6
|
2178
|
June 10, 2020
|
|
Homework challenge
|
|
1
|
1521
|
May 14, 2020
|
|
Literatur
|
|
2
|
1748
|
April 20, 2020
|
|
Structure of the course in 2020
|
|
1
|
1599
|
April 14, 2020
|
|
Record Types Example
|
|
1
|
3126
|
July 18, 2019
|
|
Error when trying to proof SCombinator
|
|
2
|
2103
|
July 3, 2019
|
|
Homework
|
|
1
|
2174
|
June 19, 2019
|
|
Homework
|
|
1
|
2235
|
June 7, 2019
|
|
ur:?LF
|
|
2
|
2083
|
May 23, 2019
|
|
Argument index
|
|
5
|
2156
|
May 22, 2019
|
|
Iff from PLSyntax
|
|
3
|
2148
|
May 22, 2019
|
|
SCombinator
|
|
2
|
2297
|
May 22, 2019
|
|
Homework (May 16th)
|
|
3
|
2302
|
May 21, 2019
|
|
Homework
|
|
1
|
2332
|
May 9, 2019
|
|
Vorlesung morgen: Bitte Laptop mitbringen ;)
|
|
1
|
2218
|
April 24, 2019
|
|
Skalarprodukt von Vektorräumen
|
|
4
|
3282
|
October 17, 2018
|
|
smglom: Einige Fehler bis hin zu reals.mmt
|
|
2
|
2619
|
October 17, 2018
|
|
subtraction und subtract kollidieren
|
|
3
|
2843
|
October 3, 2018
|
|
"role abbreviation"
|
|
1
|
2597
|
October 2, 2018
|
|
Witeness bei predicate subtypes
|
|
2
|
2712
|
September 25, 2018
|
|
Wie verwendet man flatseq (bzw sequences)
|
|
2
|
2633
|
September 21, 2018
|