∀ 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 Über

Entstanden als "kleine Skriptsammmlung" der Arbeitsgruppe "Theorie komplexer Systeme" am Institut für Informatik der Goethe-Universität Frankfurt am Main.

Fehlermeldungen sind willkommen (email an):

afrochaux at informatik dot uni-frankfurt dot de


changelog

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


Valid XHTML 1.0