Information om | Svenska ordet LAMBDAKALKYL

Exempel på hur man kan använda LAMBDAKALKYL i en mening

• Lambdakalkyl utvecklades på 1930-talet av Alonzo Church, men fick sitt genombrott först efter 1969 då Dana Scott tagit fram den första konsistenta matematiska modellen för lambdakalkyl.
• Detta gjorde Alonzo Church år 1936 med begreppet "effektiv kalkylerbarhet" baserat på sin lambdakalkyl och Alan Turing samma år med begreppet Turingmaskin.
• I lambdakalkyl och funktionell programmering uttrycks ofta funktionsrum som högre ordningens funktioner.

Förberedelsen av sidan tog: 119,05 ms.