heiDOK (Heidelberg University)· 2014· Kitap bölümü
Mantık ve Aritmetiğin Temelleri Üzerine
Über die Grundlagen der Logik und der Arithmetik
- 115atıf
- 2014yıl
Kısa özet
Sayı kavramı için kesin ve tatmin edici bir temel oluşturmak amacıyla aksiyomatik bir yöntem önerilmektedir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
ÇıkarımlarUygulamada
Ana noktalarUygulamada
Makaleye SorUygulamada
Devamı Pofolia uygulamasında
Çıkarımlar, ana noktalar ve makaleye soru sorma; ilgi alanına göre her gün yeni özetler. Ücretsiz.
Web'de giriş yaparak açAlan: Teorik Bilgisayar Bilimi
Theoretical Computer ScienceMathematics