Útgáfa síðunnar 27. júlí 2011 kl. 15:01 breyta BiT (spjall \| framlög) 15.627 breytingar m Ný síða: '''Lambda-reikningur''' (einnig ritað '''λ-reikningur''') er formlegt kerfi innan stærðfræðilegrar rökfræði og tölvunarfræði sem ski...		Útgáfa síðunnar 27. júlí 2011 kl. 15:02 breyta taka aftur þessa breytingu BiT (spjall \| framlög) 15.627 breytingar mEkkert breytingarágrip Nýrri breyting →
Lína 1: '''Lambda-reikningur'''<ref>[http://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]] == Tilvísanir == <div class="references-small"><references /></div> [[Flokkur:Lambda-reikningur\| ]] Lína 9 ⟶ 12: [[cs:Lambda kalkul]] [[de:Lambda-Kalkül]] [[isen:Lambda~~-reikningur~~ calculus]]▼ [[el:Λογισμός λάμδα]] [[es:Cálculo lambda]] Lína 15 ⟶ 19: [[ko:람다 대수]] [[hr:Lambda račun]] ▲[[is:Lambda-reikningur]] [[it:Lambda calcolo]] [[he:תחשיב למדא]]

„Lambda-reikningur“: Munur á milli breytinga