|
About the Logikbasierte Wissensrepräsentation category
|
|
0
|
13
|
December 20, 2022
|
|
We're not using the forum anymore.
|
|
1
|
1552
|
March 28, 2022
|
|
Umfrage Zweite KRMT Vorlesung
|
|
2
|
2492
|
April 22, 2021
|
|
Materials and Software for the Practical Part
|
|
3
|
1089
|
April 20, 2021
|
|
Zoom lecture room
|
|
1
|
1153
|
April 8, 2021
|
|
KRMT Evaluation
|
|
2
|
2321
|
July 23, 2020
|
|
jEdit/MMT problems
|
|
5
|
1464
|
July 15, 2020
|
|
Materials and Software for the Practical Part
|
|
10
|
2186
|
July 2, 2020
|
|
Homework submission
|
|
1
|
1445
|
June 10, 2020
|
|
Zoom Lecture Room
|
|
6
|
2123
|
June 10, 2020
|
|
Homework challenge
|
|
1
|
1485
|
May 14, 2020
|
|
Literatur
|
|
2
|
1710
|
April 20, 2020
|
|
Structure of the course in 2020
|
|
1
|
1553
|
April 14, 2020
|
|
Record Types Example
|
|
1
|
3086
|
July 18, 2019
|
|
Error when trying to proof SCombinator
|
|
2
|
2058
|
July 3, 2019
|
|
Homework
|
|
1
|
2146
|
June 19, 2019
|
|
Homework
|
|
1
|
2187
|
June 7, 2019
|
|
ur:?LF
|
|
2
|
2059
|
May 23, 2019
|
|
Argument index
|
|
5
|
2114
|
May 22, 2019
|
|
Iff from PLSyntax
|
|
3
|
2113
|
May 22, 2019
|
|
SCombinator
|
|
2
|
2272
|
May 22, 2019
|
|
Homework (May 16th)
|
|
3
|
2256
|
May 21, 2019
|
|
Homework
|
|
1
|
2304
|
May 9, 2019
|
|
Vorlesung morgen: Bitte Laptop mitbringen ;)
|
|
1
|
2170
|
April 24, 2019
|
|
Skalarprodukt von Vektorräumen
|
|
4
|
3235
|
October 17, 2018
|
|
smglom: Einige Fehler bis hin zu reals.mmt
|
|
2
|
2584
|
October 17, 2018
|
|
subtraction und subtract kollidieren
|
|
3
|
2800
|
October 3, 2018
|
|
"role abbreviation"
|
|
1
|
2565
|
October 2, 2018
|
|
Witeness bei predicate subtypes
|
|
2
|
2684
|
September 25, 2018
|
|
Wie verwendet man flatseq (bzw sequences)
|
|
2
|
2596
|
September 21, 2018
|