∀ x ∃ y x=y ∀ x ∀ y ∀ z ((E(x,y) ∧ E(y,z) ) → E(x,z)) ∀ x ∃ y (Geschwister (x,Vater(Mutter(y))) → Vorfahr(y,x)) (R_1(.a,.b,.c) ∨ R_2 (a))
Hinweise Roadmap Über config

Ursprünglich entstanden als einfache Syntaxchecker s "tks.AL" und "tks.FO" für die Arbeitsgruppe "Theorie komplexer Systeme" am Institut für Informatik der Goethe-Universität Frankfurt am Main.

Es wird keine Haftung für Schäden an Soft- oder Hardware, Vermögen oder Gesundheit übernommen, welche durch das Benutzen oder Nichtbenutzen des Programms entstehen. Es gibt keine Garantie dafür, dass die Nutzung zu einem bestimmten Zeitpunkt möglich ist, noch das die gelieferten Ergebnisse, auch nicht zufällig, richtig sind. Dies gilt insbesondere bei der Nutzung zur Lösung von Übungsaufgaben.

Fehlermeldungen sind willkommen (email an):

andre dot frochaux at informatik dot hu-berlin dot de


Für alle die MathML nicht nativ unterstützen wird MathJax eingebunden, hapert es an der Darstellung, sollte javascript aktiviert werden.

changelog

23. August 2018
Syntaxbäme für Terme und Formeln
BUGfix: Fehlerhafter Link in der Kopfzeile
known bugs:
none

22. August 2018
Anpassungen an Design von AL
Syntaxcheck für σ-Terme
BUGfix: Fehler beim Setzen (MathML) von mehrstelligen Funktionen
known bugs:
none

9. Juli 2018
Umzug zur HU
Umstellung auf php7
mathml_Fehler bei einigen Formeln
known bugs:
none

9. März 2018
BUGfix: Manche MathML-Objekte wurden falsch zusammengebaut.
known bugs:
none

18. Februar 2015
Berechnen der NNF
Berechnen der Pränex.
BUGfix: Manche syntaktisch korrekten Formeln wurden nicht als solche erkannt.
known bugs:
none

16. Februar 2015
Standardmäßiger Test auf NNF und Pränex
known bugs:
none

6. Januar 2015
Geänderte Definition von Variablen einer Formel und gebundene Variablen
Bsp.: Für x   E z gilt nun x varφ und x boundedφ
known bugs:
none

12. Dezember 2014
Roadmap
known bugs:
none

28/30. Juli 2014
Anpassung an Syntax mit PHP-upgrade
Latex to MathML
known bugs:
none

19. Juni 2012
Variablenmengen (gesamt, frei, gebunden) werden angegeben.
known bugs:
none

12. Juni 2012
Signatur kann selbst festgelegt werden
BUGfix: Relations- & Funktionssymbole werden nicht ausreichend auf unerlaubte Zeichen getestet.
BUGfix: Fehler beim setzen der Formel: Bsp: r(r)
known bugs:
none

8. Mai 2012
Formeln und Symbole werden in Latex gesetzt und als Bilder eingebunden
Signatur kann festgehalten, erweitert oder neu erstellt werden
known bugs:
Relations- & Funktionssymbole werden nicht ausreichend auf unerlaubte Zeichen getestet.
Fehler beim setzen der Formel: Bsp: r(r).

24. April 2012
Dieses About. Startseite, Design, angeleht an TKS.AL
known bugs:
Relations- & Funktionssymbole werden nicht ausreichend auf unerlaubte Zeichen getestet.

17. April 2012
Grundlegender Syntaxcheck einer FO-Formel mit Erstellen der Signatur.
known bugs:
none