Lamda kalkülüs
Görünüm
Fonksiyon | |||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
x ↦ f (x) | |||||||||||||||||||||||||||||
tanım ve değer kümesine göre | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Sınıflar/özellikler | |||||||||||||||||||||||||||||
Sabit · Birim · Doğrusal · Polinom · Rasyonel · Cebirsel · Analitik · Yumuşak · Sürekli · Ölçülebilir · Birebir · Örten · Birebir örten | |||||||||||||||||||||||||||||
Yapılar | |||||||||||||||||||||||||||||
Kısıtlama · Bileşim · λ · Terslik | |||||||||||||||||||||||||||||
Genellemeler | |||||||||||||||||||||||||||||
Parçalı · Çokdeğerli · Kapalı | |||||||||||||||||||||||||||||
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.
Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |