Lambda račun oor Portugees
Lambda račun
Vertalings in die woordeboek Kroaties - Portugees
cálculo lambda
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
lambda račun
Vertalings in die woordeboek Kroaties - Portugees
Geen vertalings nie
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Koncept je formaliziran 1936. u vidu Turingovog stroja Alana Turinga i lambda računa Alonza Churcha, koji su jedan za drugim postavili temelje računarstva.
Estava planejando ficar aqui por duas horas, agora vou ficar quatro!WikiMatrix WikiMatrix
Sve su operacije lambda računa izražene u SKI kao binarna stabla čiji su listovi jedan od tri simbola S, K, i I (zvani kombinatori).
Analisam-se os gases recolhidos com o equipamento habitual (saco de recolha ou método de integração), calculando-se a massa do gásWikiMatrix WikiMatrix
Kasnih 1930-ih su Alonzo Church i njegovi studenti na Princetonu otkrili rivalni formalizam za funkcijsku apstrakciju, lambda račun, koji se pokazao popularnijim od kombinatorne logike.
Não digas issoWikiMatrix WikiMatrix
(Valja uočiti da se u izvornom Churchovom lambda računu zahtijevalo bar jedno pojavljivanje formalnog parametra lambda izraza u tijelu funkcije, što gornju definiciju broja 0 čini nemogućom.)
Você e Angel tem muito em comum...... o rapto de um empregado de Wolfram e HartWikiMatrix WikiMatrix
Kombinatorna se logika može shvatiti kao varijanta lambda računa, u kojoj su lambda izrazi (koji predstavljaju funkcijsku apstrakciju) zamijenjeni skupom kombinatora, primitivnih funkcija koji nemaju slobodnih varijabli.
Sim, eu acredito em DeusWikiMatrix WikiMatrix
Church-Rosserov teorem kaže da ako postoje dvije različite redukcije koje počinju od istog termina u lambda računu, tada postoji termin koji je dohvatljiv (moguće praznim) slijedom redukcija iz oba redukta.
farinha de madeiraWikiMatrix WikiMatrix
(11) Lambda vrijednost računa se koristeći pojednostavnjenu Brettschneiderovu jednadžbu kako slijedi:
Coisas muito valiosas para deixar para trásEurLex-2 EurLex-2
Valja uočiti da se iz ovih definicija može pokazati da SKI račun nije minimalni sustav koji u potpunosti može obaviti računanja lambda računa, s obzirom da sva pojavljivanja I u bilo kojem izrazu mogu biti zamijenjena sa (SKK) ili (SKS) or (S K nešto) ii rezultirajući će izraz uvijek dati isti rezultat.
A divagar, a divagarWikiMatrix WikiMatrix
8 sinne gevind in 4 ms. Hulle kom uit baie bronne en word nie nagegaan nie.