updated Readme

This commit is contained in:
paul-loedige 2021-02-08 21:53:36 +01:00
parent dd23f11874
commit d36f8efda7

View File

@ -20,7 +20,6 @@ Dieses Repo beinhaltet die $\LaTeX$ Informationen für die Zusammenfassung im Fa
- [x] Resolutionsalgorithmus (Hypothese wird negiert hinzugefügt) - [x] Resolutionsalgorithmus (Hypothese wird negiert hinzugefügt)
- [x] Äquivalenztabelle aus Übung 6 (Prädikatenlogik) - [x] Äquivalenztabelle aus Übung 6 (Prädikatenlogik)
- [x] Skolemisierungsverfahren hinzufügen - [x] Skolemisierungsverfahren hinzufügen
- [ ] Unifikationsverfahren hinzufügen
- [x] Kosinusähnlichkeit hinzufügen (Übung 8) - [x] Kosinusähnlichkeit hinzufügen (Übung 8)
- [x] Mahalanobis Abstand hinzufügen (Übung 8) - [x] Mahalanobis Abstand hinzufügen (Übung 8)