Lambda: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
Resümee puudub
Resümee puudub
6. rida: 6. rida:
[http://en.wikipedia.org/wiki/Turing_machine "Turingi masin"])
[http://en.wikipedia.org/wiki/Turing_machine "Turingi masin"])
ning nimetas selle keele  
ning nimetas selle keele  
[http://ling.ucsd.edu/~barker/Lambda/ lambda-arvutuseks].  
[http://en.wikipedia.org/wiki/Lambda_calculus lambda-arvutuseks]
(praktiliseks katsetamiseks külasta [http://ling.ucsd.edu/~barker/Lambda/ seda saiti]).  





Redaktsioon: 25. veebruar 2005, kell 13:58

Lambda on kreeka tähestiku täht, mis vastab ladina tähele L. Selle kogumiku nimeks sai lambda seetõttu, et 1930 aastatel lõi A.Church ühe esimestest programmeerimiskeeltest maailmas (teine oli Churchi õpilase A.Turingu nn "Turingi masin") ning nimetas selle keele lambda-arvutuseks (praktiliseks katsetamiseks külasta seda saiti).


Lambda-arvutus oli küll puhtalt teooria jaoks mõeldud keel, aga oma äärmise lihtsuse ja üldisuse tõttu muutus ta hiljemloodud praktiliste programmeerimiskeelte üheks peamiseks ideeliseks aluseks.


Lambda sümbol on veel sisemine osa Half-Life Black Mesa kompleksi lambda sektori logost.