Logo
Uniópédia
Kommunikáció
Szerezd meg: Google Play
Új! Töltse Uniópédia az Android™ készülék!
Telepítés
Gyorsabb hozzáférés, mint a böngésző!
 

Alonzo Church és Lambda-kalkulus

Parancsikonokat: Különbségeket, Hasonlóságok, Jaccard hasonlósági koefficiens, Referenciák.

Közötti különbség Alonzo Church és Lambda-kalkulus

Alonzo Church vs. Lambda-kalkulus

Alonzo Church (Washington, 1903. június 14. – Hudson, Ohio, 1995. augusztus 11.) amerikai matematikus és logikus, akit a számítástechnika elméletének egyik megalapozójának tartanak. A lambda-kalkulus (vagy λ-kalkulus) egy formális rendszer, amit eredetileg matematikai függvények tulajdonságainak (definiálhatóság, rekurzió, egyenlőség) vizsgálatára vezettek be.

Közötti hasonlóságok Alonzo Church és Lambda-kalkulus

Alonzo Church és Lambda-kalkulus 0 közös dolog (a Uniópédia).

A fenti lista az alábbi kérdésekre válaszol

Összehasonlítását Alonzo Church és Lambda-kalkulus

Alonzo Church 14 kapcsolatokat, ugyanakkor Lambda-kalkulus 19. Ami közös bennük 0, a Jaccard index 0.00% = 0 / (14 + 19).

Referenciák

Ez a cikk közötti kapcsolatot mutatja Alonzo Church és Lambda-kalkulus. Eléréséhez minden cikket, amelyből az információ kivontuk, kérjük, látogasson el:

Hé! Mi vagyunk a Facebook-on most! »