„Lambda-reikningur“: Munur á milli breytinga

'''Lambda-reikningur'''<ref>{{vísindavefurinn|4331|Hvenær var fyrsta forritunarmálið fundið upp? Er það enn notað?}}</ref><ref>[http://wayback.vefsafn.is/wayback/20090422205444/www.cadia.ru.is/wiki/_media/public:t-malv-07-3:semantics.pdf T-(538|725)-MALV, Málvinnsla Merkingarfræði]</ref> (einnig ritað '''λ-reikningur''') er [[formlegt kerfi]] innan [[Stærðfræðileg rökfræði|stærðfræðilegrar rökfræði]] og [[tölvunarfræði]] sem skilgreinir [[Fall (stærðfræði)|fallaskilgreiningar]], fallabeytingu og [[endurkvæmni]].