Lambda-kalkulo
Lambda-kalkulo o λ-kalkulo es formala sistemo en matematikala logiko por expresar komputebleso bazanta ye funcionado di abstraktajo e apliko uzante nomoligado di variebli e substituco (precipue polimonii).
Lo es universala modelo di komputado, qua povas uzar por simular mashino di Turing.
🔥 Top keywords: FrontispicoMarie-AntoinetteSpecala:SercharWikipedio:Portalo di la komunitatoDuesma mondomilitoHelpo:HelpoWikipedioListo pri piktistiSpecala:RecentaChanjiMilitarismoTabakoAksaiPulsnitzWikipedio:Pri WikipedioMarokoWikipedio:AktualajiWikipedio:Komuneso-portaloWikipedio:HelpoBørsenFilipiniSuediaAlexandra Eduardovna ShchekoldinaIdoPapeeteSexuala relatoLituaniaLiebstadtModelo OSIUnionita RejioQR-kodexoAziaBraziliaBelgiaLibiaWikipedio:Generala debatoNijerKomono GłuskUsaGoogle