Zum Download
0
0 Stimmen
50
40
30
20
10
Hersteller: » Zur Website
Preis: kostenlos
Lizenz: Kostenlos
Betriebssystem: OS X, keine näheren Angaben, Windows NT, Windows 98, Windows 2000, Windows ME, Windows XP, Windows Server 2003, Windows Vista, Windows 7, Windows Server 2008, Linux
Download-Größe: 7446 KByte bis 8054 KByte
Downloadrang: 18309
Datensatz zuletzt aktualisiert: 12.06.2016
Alle Angaben ohne Gewähr

Mathematische Axiome, Definitionen und Sätze in QEDEQ-Modulen zusammengefasst; ermöglicht das Hinzufügen von Propositionen und Beweisen in die freie und dezentrale Wissensbasis des Hilbert-II-Projekts und überprüft die hinzugefügten Beweise automatisch auf Korrektheit; die Wissensbasis enthält mathematische Sätze und Beweise in formal korrekter Form, wobei versucht wird, die übliche mathematische Argumentation in eine formale Syntax (im QEDEQ-Format) zu überführen

Kommentare

{{commentsTotalLength}} KommentarKommentare

Weitere Kommentare laden...

Das könnte dich auch interessieren