|
About the Logikbasierte Wissensrepräsentation category
|
|
0
|
88
|
December 20, 2022
|
|
We're not using the forum anymore.
|
|
1
|
1745
|
March 28, 2022
|
|
Umfrage Zweite KRMT Vorlesung
|
|
2
|
2611
|
April 22, 2021
|
|
Materials and Software for the Practical Part
|
|
3
|
1265
|
April 20, 2021
|
|
Zoom lecture room
|
|
1
|
1278
|
April 8, 2021
|
|
KRMT Evaluation
|
|
2
|
2530
|
July 23, 2020
|
|
jEdit/MMT problems
|
|
5
|
1670
|
July 15, 2020
|
|
Materials and Software for the Practical Part
|
|
10
|
2338
|
July 2, 2020
|
|
Homework submission
|
|
1
|
1554
|
June 10, 2020
|
|
Zoom Lecture Room
|
|
6
|
2261
|
June 10, 2020
|
|
Homework challenge
|
|
1
|
1577
|
May 14, 2020
|
|
Literatur
|
|
2
|
1806
|
April 20, 2020
|
|
Structure of the course in 2020
|
|
1
|
1680
|
April 14, 2020
|
|
Record Types Example
|
|
1
|
3218
|
July 18, 2019
|
|
Error when trying to proof SCombinator
|
|
2
|
2217
|
July 3, 2019
|
|
Homework
|
|
1
|
2225
|
June 19, 2019
|
|
Homework
|
|
1
|
2297
|
June 7, 2019
|
|
ur:?LF
|
|
2
|
2153
|
May 23, 2019
|
|
Argument index
|
|
5
|
2240
|
May 22, 2019
|
|
Iff from PLSyntax
|
|
3
|
2208
|
May 22, 2019
|
|
SCombinator
|
|
2
|
2350
|
May 22, 2019
|
|
Homework (May 16th)
|
|
3
|
2387
|
May 21, 2019
|
|
Homework
|
|
1
|
2391
|
May 9, 2019
|
|
Vorlesung morgen: Bitte Laptop mitbringen ;)
|
|
1
|
2278
|
April 24, 2019
|
|
Skalarprodukt von Vektorräumen
|
|
4
|
3395
|
October 17, 2018
|
|
smglom: Einige Fehler bis hin zu reals.mmt
|
|
2
|
2674
|
October 17, 2018
|
|
subtraction und subtract kollidieren
|
|
3
|
2919
|
October 3, 2018
|
|
"role abbreviation"
|
|
1
|
2681
|
October 2, 2018
|
|
Witeness bei predicate subtypes
|
|
2
|
2783
|
September 25, 2018
|
|
Wie verwendet man flatseq (bzw sequences)
|
|
2
|
2712
|
September 21, 2018
|