Zum Download
0
0 Stimmen
50
40
30
20
10
Hersteller: Michael Meyling
Webseite: Website besuchen
Preis: kostenlos
Lizenz: Kostenlos
Betriebssystem: Mac, Linux, Windows NT, Windows 98, Windows 2000, Windows ME, Windows XP, Windows Server, Windows Vista, Windows 7
Download-Größe: 7446 KByte bis 8054 KByte
Downloadrang: 12014
Datensatz zuletzt aktualisiert: 26.06.2024
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

Bild 1 von 1

Hilbert II (pmii)

Kommentare

Kommentare ({{commentsTotalLength}}) Weitere Kommentare laden...

Das könnte dich auch interessieren