Çengel Bulmaca
Ana Sayfa
Üniversiteler
Dersler
Özellikler
Çalışma Planı
Uygulama
Hakkımızda
İletişim
Premium
Giriş Yap
Ücretsiz Kayıt Ol
Ana Sayfa
»
İstanbul Üniversitesi AUZEF
»
Felsefe Lisans Programı
» Mantık Felsefesi
← Ünite 14
Paylaş
Ünite 14: WILLARD VAN ORMAN QUINE ve ALAN TURING — Çengel Bulmaca
Tanımları oku, kavramları bulmacaya yerleştir. 4 kavram var. Çok kelimeli kavramlar bitişik yazılır.
0 / 4 doğru
Kontrol et
Çözümü göster
1
2
3
4
Soldan sağa
3.
Alan ••• tarafından saptama yöntemi kavramını formalize etmek için geliştirilen kuramsal bir hesap •••. Hesaplamalarını kutucuklara bölünmüş, üzerinde semboller bulunan bir bant üzerinde okuma, yazma ve ilerleme basit işlemleriyle gerçekleştirir.
(14 harf)
4.
Quine'ın mantık kapsamı dışında tuttuğu, 'zorunluluk' veya 'olabilirlik' gibi yönelim kavramları barındıran formel sistemler ve kiplik mantığı alanıdır. Quine, bu tür kavramların mantığın sınırları içinde yer almadığını savunmuştur.
(8 harf)
Yukarıdan aşağı
1.
Matematiksel önermelerin doğruluğunu veya yanlışlığını mekanik ve kesin bir prosedürle belirlemeye yarayan karar verme •••. Turing, makalesinde genel bir ••• var olamayacağını kanıtlamıştır.
(14 harf)
2.
II. Dünya Savaşı sırasında Naziler tarafından kullanılan ve haberleşme şifrelemesinde üstün güvenlik sağlayan şifreleme makinesidir. Alan Turing, Bletchley Park'taki çalışmalarıyla bu makinenin şifrelerinin çözülmesinde kilit rol oynamıştır.
(6 harf)
Paylaş
Ana Sayfa
Dersler
Çalışmam
Hesabım
