(isim, matematik, felsefe) Önerme, kanıt, çıkarım ve doğruluk yapılarını biçimsel diller, semboller ve kesin kurallar aracılığıyla inceleyen; akıl yürütmenin geçerliliğini hesaplanabilir modellere dönüştüren bilim dalı.
Not: Bu bölümde gösterilen cümleler, derlem cümle seçme algoritmasının otomatik seçimleridir. Cümlelerdeki görüş, ifade ve içerikler kaynak metinlere aittir; Bitigçi’yi bağlamaz ve Bitigçi’nin görüşünü ya da tutumunu yansıtmaz.
Sayfadaki özellikler henüz yüklenmedi. Lütfen kısa bir süre bekleyiniz.
Sonuçların yüklenmesi için hesaplama yapılıyor.
Güncel madde için atıf biçimleri hazırlanıyor.
Madde, bağımsız bağlam çözümlemeleri ve sözlükbirimlik sınamaları birlikte değerlendirilerek yayımlandı.
Tanım, alan etiketi ve sözcük ailesi ortaklığına göre seçilen maddeler.
Panel açıldığında BD varyant verileri yüklenir.
Panel açıldığında BD tanık verileri yüklenir.
/karşılaştır umut ile ümit