logique propositionnelle logique des prédicats datalog programmation logique
feuille de route sur config

Logo

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.

Les messages d'erreur sont les bienvenus (émail à):

andre dot frochaux at informatik dot hu-berlin dot de

Das changelog findet sich in den einzelnen Modulen. Letztes Update: 3.3.2021