Matematik
Matematiksel kavramlar, teoriler, bulmacalar ve uygulamalar
-
Matematik
Öklid'in 'Elementler'i binlerce yıl geometriye yön verdi
-
Matematik
Pisagor teoremi antik sırları açığa çıkarıyor
-
Matematik
Asal sayılar çevrimiçi sırlarınızı korur
-
Matematik
Doğruluk, biçimsel dillerde tanımlanamaz
-
Matematik
Isabelle/HOL: Bilgisayarlar matematiğin doğruluğunu kanıtlıyor
-
Matematik
Bilgisayarlar matematik teoremlerini kusursuz doğrulukla kanıtlayabilir
-
Matematik
Abella, mantık programlamanın gizli kurallarını kanıtlıyor
-
Matematik
Lean'in motoru karmaşık matematiksel kanıtları otomatikleştiriyor
-
Matematik
NuPRL matematiksel kanıtları kusursuz programlara dönüştürüyor
-
Matematik
Küçük bir model sonsuz kümeleri anlayabilir mi?
-
Matematik
Bilgisayarlar artık matematik hatalarını kontrol ediyor
-
Matematik
Kod ve mantık aynı madalyonun iki yüzü
-
Matematik
Twelf, matematiği doğrulayan araçları analiz ediyor
-
Matematik
Bu mantık, üçüncü halin imkansızlığı yasasını reddeder
-
Matematik
Matita, bilgisayarların matematiksel kanıtları kontrol etmesine yardımcı oluyor
Diğer kategoriler
Kategoriler →