Hilbert II
English
Deutsch
Einführung
News
Mathematik
QEDEQ
Planung
Download
Glossar
Entwicklung
Prototyp
Links
Kontakt
Sitemap
Sitemap
Einführung: Hilbert II wird vorgestellt
Projektbeschreibung: Grobkonzept
News: was gibt es Neues bei Hilbert II
Mathematik
Logik: Axiome und Theoreme
Mengen: Axiome und Theoreme
Logik: formale Herleitung der elementaren Sätze
QEDEQ: was ist ein QEDEQ-Modul, wie ist es aufgebaut
XML Schema: Exakte Spezifikation eines QEDEQ-Moduls
XSD Doc: Dokumentation der Spezifikation eines QEDEQ-Moduls
Planung
Konzept: Grobkonzept
Download
Web-Start
Glossar
Entwicklung: alles über die Softwareentwicklung in Hilbert II
0.04.07: Letztes Release des Hauptprojekts
Prototyp: zur Demonstration der Projektziele
Installation: Hilfestellung
Anleitung: Betriebsanleitung
Aussagenlogik: Axiome und Theoreme
Prädikatenlogik: Axiome und Theoreme
QEDEQ: was ist ein QEDEQ-Modul des Prototypen, wie ist es aufgebaut
Modul: QEDEQ-Syntaxbeschreibung eines Moduls
Formel: Beschreibung einer Formel in QEDEQ-Syntax
QEDEQ Text: BNF-Beschreibung einer QEDEQ-Textdatei
Fehler: bekannte Probleme
Links
Kontakt
Sitemap
update 2016-03-28 01:29:57+0200