Aussagenlogik / Prädikatenlogik - Beweiser
-
Hallo,
gibt es ein Programm was spezielle Aufgaben lösen kann ?
zB Martelli/Montanari, NNF , Pränex ,Skolemisierung, Resolution/Tableau
Man befolgt eigentlich nur Regeln, deswegen sollte es doch etwas in der Art geben?
Das Problem das ich habe ist, dass ich nie weiß ob ich einen Fehler gemacht habe oder nicht :(.
-
Keine Ahnung aber ich hätte Interesse es zu schreiben. Könntest du mir einige Beispielaufgaben mit Lösung zeigen?
-
cooky451 schrieb:
Keine Ahnung aber ich hätte Interesse es zu schreiben. Könntest du mir einige Beispielaufgaben mit Lösung zeigen?
Wir haben leider keine Lösungen zu den Aufgaben bekommen. Allerdings beinhaltet das Hauptskript ein paar Aufgaben mit Löusgen. Es hat außerdem schon Pseudocode zu den einzelnen Verfahren.
Deswegen war ich eigentlich sicher das es so etwas geben sollte :).Wenn du Spaß dran hast kann ich dir das Skript gerne geben.
-
kantaki schrieb:
Wenn du Spaß dran hast kann ich dir das Skript gerne geben.
Gerne. Das Forum hat keine Uploadfunktion, aber http://www.zippyshare.com/ ist ganz nett.
-
cooky451 schrieb:
kantaki schrieb:
Wenn du Spaß dran hast kann ich dir das Skript gerne geben.
Gerne. Das Forum hat keine Uploadfunktion, aber http://www.zippyshare.com/ ist ganz nett.Ich habe den Link in meinem Post hinzugefügt.
Die Folien sind zwar frei zugänglich, aber ich bin mir nicht sicher ob ich die Folien verlinken darf, deswegen würde ich den Link dann später gerne wieder entfernen
Sag einfach bescheid wenn du das PDF runterladen hast.
-
hab
Edit: In der PDF wird der Begriff "Theorem Beweiser" verwendet. Kurz gegoogelt: http://isabelle.in.tum.de/