Principia Mathematica II Java'da inşa edilmiş yükleyici mantık aracı
Şimdi İndirin

Principia Mathematica II Sıralama ve Özet

Principia Mathematica II Etiketler

mantık yüklemek

Principia Mathematica II Açıklama

Prensipia Mathematica II, birinci dereceden öngörülen mantığı olan ve Hilbert II'nin ana özelliklerini ve işlevselliğini gösteren basit ve kullanışlı bir yardımcı program olarak tasarlanmıştır. Principia Mathematica II, bu projenin mantıksal temelini sunar. İnternette herhangi bir yerde bulunan (prototip) QEDEDQ modül dosyalarıyla birlikte çalışır. HTTP ve FTP protokolleri kullanılır, ayrıca yerel dosyalar da belirtilebilir. QEDEQ modülünün bir URL'sinin girişinden sonra, yerel dosya arabelleği aranır. İstenen Qeedeq dosyası bulunamadıysa, URL tarafından belirtilen dosyanın indirilmesi başlatılır ve sonuç yerel dosya arabelleğine kaydedilir. Daha sonra QEDEQ modülü, resmi doğruluk için yüklenir ve kontrol edilir. Diğer QEDEDQ modülleri referans verilirse bunlar da yüklenir. Gerekli QEDEQ modülleri başarıyla yüklenene ve başlangıçta belirtilen QEDEQ modülünü başarıyla yüklenmemiş ve kontrol edilmeyen "Yeşil Doğruluk Noktası". Bir hata olması durumunda, ayrıntılı bir problem açıklaması verilir ve ilgili modüldeki sorunlu konum gösterilir.

Principia Mathematica II İlgili Yazılım