Lamda kalkülüs
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, 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.
This article is issued from Vikipedi - version of the 1/6/2017. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.