|
About the Logikbasierte Wissensrepräsentation category
|
|
0
|
90
|
December 20, 2022
|
|
We're not using the forum anymore.
|
|
1
|
1767
|
March 28, 2022
|
|
Umfrage Zweite KRMT Vorlesung
|
|
2
|
2617
|
April 22, 2021
|
|
Materials and Software for the Practical Part
|
|
3
|
1273
|
April 20, 2021
|
|
Zoom lecture room
|
|
1
|
1282
|
April 8, 2021
|
|
KRMT Evaluation
|
|
2
|
2534
|
July 23, 2020
|
|
jEdit/MMT problems
|
|
5
|
1678
|
July 15, 2020
|
|
Materials and Software for the Practical Part
|
|
10
|
2354
|
July 2, 2020
|
|
Homework submission
|
|
1
|
1556
|
June 10, 2020
|
|
Zoom Lecture Room
|
|
6
|
2265
|
June 10, 2020
|
|
Homework challenge
|
|
1
|
1581
|
May 14, 2020
|
|
Literatur
|
|
2
|
1817
|
April 20, 2020
|
|
Structure of the course in 2020
|
|
1
|
1687
|
April 14, 2020
|
|
Record Types Example
|
|
1
|
3221
|
July 18, 2019
|
|
Error when trying to proof SCombinator
|
|
2
|
2226
|
July 3, 2019
|
|
Homework
|
|
1
|
2231
|
June 19, 2019
|
|
Homework
|
|
1
|
2305
|
June 7, 2019
|
|
ur:?LF
|
|
2
|
2158
|
May 23, 2019
|
|
Argument index
|
|
5
|
2246
|
May 22, 2019
|
|
Iff from PLSyntax
|
|
3
|
2222
|
May 22, 2019
|
|
SCombinator
|
|
2
|
2357
|
May 22, 2019
|
|
Homework (May 16th)
|
|
3
|
2393
|
May 21, 2019
|
|
Homework
|
|
1
|
2403
|
May 9, 2019
|
|
Vorlesung morgen: Bitte Laptop mitbringen ;)
|
|
1
|
2282
|
April 24, 2019
|
|
Skalarprodukt von Vektorräumen
|
|
4
|
3407
|
October 17, 2018
|
|
smglom: Einige Fehler bis hin zu reals.mmt
|
|
2
|
2684
|
October 17, 2018
|
|
subtraction und subtract kollidieren
|
|
3
|
2936
|
October 3, 2018
|
|
"role abbreviation"
|
|
1
|
2686
|
October 2, 2018
|
|
Witeness bei predicate subtypes
|
|
2
|
2790
|
September 25, 2018
|
|
Wie verwendet man flatseq (bzw sequences)
|
|
2
|
2715
|
September 21, 2018
|