Lamda kalkülüs - Vikipedi
İçeriğe atla
Ana menü
Gezinti
  • Anasayfa
  • Hakkımızda
  • İçindekiler
  • Rastgele madde
  • Seçkin içerik
  • Yakınımdakiler
Katılım
  • Deneme tahtası
  • Köy çeşmesi
  • Son değişiklikler
  • Dosya yükle
  • Topluluk portalı
  • Wikimedia dükkânı
  • Yardım
  • Özel sayfalar
Vikipedi Özgür Ansiklopedi
Ara
  • Bağış yapın
  • Hesap oluştur
  • Oturum aç
  • Bağış yapın
  • Hesap oluştur
  • Oturum aç

Lamda kalkülüs

  • العربية
  • Azərbaycanca
  • বাংলা
  • Bosanski
  • Català
  • Нохчийн
  • کوردی
  • Čeština
  • Dansk
  • Deutsch
  • Ελληνικά
  • English
  • Esperanto
  • Español
  • Eesti
  • فارسی
  • Suomi
  • Français
  • עברית
  • Hrvatski
  • Magyar
  • Հայերեն
  • Ido
  • Íslenska
  • İtaliano
  • 日本語
  • 한국어
  • Nederlands
  • Norsk bokmål
  • Polski
  • Português
  • Русский
  • Srpskohrvatski / српскохрватски
  • Simple English
  • Slovenčina
  • Српски / srpski
  • Svenska
  • தமிழ்
  • ไทย
  • Tagalog
  • Українська
  • Tiếng Việt
  • 中文
  • 粵語
Bağlantıları değiştir
  • Madde
  • Tartışma
  • Oku
  • Değiştir
  • Kaynağı değiştir
  • Geçmişi gör
Araçlar
Eylemler
  • Oku
  • Değiştir
  • Kaynağı değiştir
  • Geçmişi gör
Genel
  • Sayfaya bağlantılar
  • İlgili değişiklikler
  • Kalıcı bağlantı
  • Sayfa bilgisi
  • Bu sayfayı kaynak göster
  • Kısaltılmış URL'yi al
  • Karekodu indir
Yazdır/dışa aktar
  • Bir kitap oluştur
  • PDF olarak indir
  • Basılmaya uygun görünüm
Diğer projelerde
  • Wikimedia Commons
  • Vikiveri ögesi
Görünüm
Vikipedi, özgür ansiklopedi
(Lambda kalkülüs sayfasından yönlendirildi)
Fonksiyon
x → f ( x ) {\displaystyle x\to f(x)} {\displaystyle x\to f(x)}
Fonksiyon kavramının tarihi
Tanım ve değer kümelerine göre
  • X → 𝔹
  • 𝔹 → X
  • 𝔹n → X
  • X → ℤ
  • ℤ → X
  • X → ℝ
  • ℝ → X
  • ℝn → X
  • X → ℂ
  • ℂ → X
  • ℂn → X
 Sınıflarına/özelliklerine göre 
  • Sabit
  • Birim
  • Lineer
  • Polinomyal
  • Rasyonel
  • Cebir
  • Analitik
  • Düzgün
  • Sürekli
  • Ölçülebilir
  • Birebir
  • Örten
  • Birebir örten
  Yapılarına göre
  • Restriction
  • Birleşim
  • λ
  • Ters
  Genellemelere göre  
  • Binary relation
  • Parçalı
  • Çokdeğerli
  • Implicit
  • Space
  • Higher-order
  • Morphism
  • Functor
  Özel fonksiyonların listesi
  • g
  • t
  • d

Lamda kalkülüs (λ-calculus), herhangi bir tek bantlı Turing makinesini simule edebilen evrensel bir hesaplama modelidir. Soyutlama ve işlev çağırmaya dayanmaktadır. Matematikçi Alonzo Church tarafından 1930'larda matematiğin temelleri üzerine bir araştırma olarak ortaya koyulmuştur.

Taslak simgesiMatematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.
  • g
  • t
  • d
Alonzo Church
Önemli fikirler
  • Lambda kalkülüs
    • Basitçe yazılmış lambda kalkülüsü
    • Church-Turing tezi
    • Church kodlaması
  • Frege-Church ontolojisi
  • Church-Rosser teoremi
Öğrenciler
  • Alan Turing
  • C. Anthony Anderson
  • Peter Andrews
  • George Alfred Barnard
  • William Boone
  • Martin Davis
  • William Easton
  • Alfred Foster
  • Leon Henkin
  • John George Kemeny
  • Stephen Cole Kleene
  • Simon B. Kochen
  • Maurice L'Abbé
  • Gary R. Mar
  • Michael O. Rabin
  • Nicholas Rescher
  • Hartley Rogers Jr.
  • J. Barkley Rosser
  • Dana Scott
  • Norman Shapiro
  • Raymond Smullyan
Kurumlar
  • Princeton Üniversitesi
  • Kaliforniya Üniversitesi (Los Angeles)
Aile
  • Alonzo Church (üniversite rektörü)
  • A. C. Croom
Otorite kontrolü Bunu Vikiveri'de düzenleyin
  • BNF: cb119586908 (data)
  • GND: 4166495-4
  • LCCN: sh85074174
  • LNB: 000131277
  • NLI: 987007553113905171
  • SUDOC: 027576345
"https://tr.wikipedia.org/w/index.php?title=Lamda_kalkülüs&oldid=35916539" sayfasından alınmıştır
Kategoriler:
  • Matematik taslakları
  • Lamda kalkülüs
Gizli kategoriler:
  • Tüm taslak maddeler
  • BNF tanımlayıcısı olan Vikipedi maddeleri
  • GND tanımlayıcısı olan Vikipedi maddeleri
  • LCCN tanımlayıcısı olan Vikipedi maddeleri
  • LNB tanımlayıcısı olan Vikipedi maddeleri
  • NLI tanımlayıcısı olan Vikipedi maddeleri
  • SUDOC tanımlayıcısı olan Vikipedi maddeleri
  • Sayfa en son 08.49, 26 Ağustos 2025 tarihinde değiştirildi.
  • Metin Creative Commons Atıf-AynıLisanslaPaylaş Lisansı altındadır ve ek koşullar uygulanabilir. Bu siteyi kullanarak Kullanım Şartlarını ve Gizlilik Politikasını kabul etmiş olursunuz.
    Vikipedi® (ve Wikipedia®) kâr amacı gütmeyen kuruluş olan Wikimedia Foundation, Inc. tescilli markasıdır.
  • Gizlilik politikası
  • Vikipedi hakkında
  • Sorumluluk reddi
  • Davranış Kuralları
  • Geliştiriciler
  • İstatistikler
  • Çerez politikası
  • Mobil görünüm
  • Wikimedia Foundation
  • Powered by MediaWiki
Lamda kalkülüs
Konu ekle