Brže od pregledniku!
47 odnosi: Akko, Algoritam, Alonzo Church, Backus-Naurov oblik, C (programski jezik), C sharp, C++, Church-Rosserov teorem, Church-Turingova teza, Entscheidungsproblem, Funkcija (matematika), Funkcijsko programiranje, Haskell (programski jezik), Kombinatorna logika, Konstanta, Kontekstno neovisna gramatika, Lisp, Lista (računarstvo), Matematička logika, MIT Press, ML (programski jezik), Pascal (programski jezik), Portable Document Format, Prirodni broj, Problem odluke, Problem zaustavljanja, Programski jezik, Python (programski jezik), Računarstvo, Rekurzija, Relacija ekvivalencije, Russellov paradoks, SKI kombinatorni račun, Skup, Slijedni priopćajni postupci, Structure and Interpretation of Computer Programs, Sustav F, Teorija izračunljivosti, Tip podatka (računarstvo), Tipizirani lambda račun, Turingov stroj, Vezana lista, 1930-ih, 1935., 1965., 1977., 1984..
Akko
U matematici, filozofiji i logici, i na povezanim tehničkim poljima, akko je najstandardnija skraćenica za „ako i samo ako“.
Novi!!: Lambda račun i Akko · Vidi više »
Algoritam
Dijagram algoritma (Euklidov algoritam) za izračunavanje najvećeg zajedničkog djelitelja (NZD) dva broja ''a'' i ''b'' na mjestima nazvanim A i B. Algoritam se nastavlja uzastopnim oduzimanjem u dvije petlje: AKO test B ≥ A daje „da“ ili „istina” (točnije, ''broj'' ''b'' u lokaciji B veći je ili jednak ''broju'' ''a'' u mjestu A) Zatim, algoritam Određuje b ← b - A (što znači da broj ''b'' - ''A'' zamjenjuje staru ''b).'' Slično tome, AKO A> B, PA A ← A - B. Proces se prekida kada je (sadržaj od) B jednak 0, dajući NZD u A. (Algoritam izveden iz ''Scott 2009: 13; symbols and drawing style from Tausworthe 1977''). Dijagram Adae Lovelace iz "note G", prvi objavljeni računalni algoritam. U matematici i informatici, algoritam je konačni niz precizno definiranih, računalno izvedljivih uputa, tipično za rješavanje klase problema ili za izvršavanje računa.
Novi!!: Lambda račun i Algoritam · Vidi više »
Alonzo Church
Alonzo Church (Washington, DC, 14. lipnja 1903. – 11. kolovoza 1995.), američki matematičar i logičar, zaslužan za neke od teoretskih osnova računarstva.
Novi!!: Lambda račun i Alonzo Church · Vidi više »
Backus-Naurov oblik
Backus-Naurov oblik (još i Backus-Naurov formalizam, Backusov normalni oblik, Panini-Backusov oblik ili Backus-Naurova formaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 93 - obično samo kratko kao BNF, od engl. Backus-Naur form) metasintaksa je korištena za izražavanje kontekstno neovisnih gramatika: to jest, formalnih način opisa formalnih jezika.
Novi!!: Lambda račun i Backus-Naurov oblik · Vidi više »
C (programski jezik)
Programski jezik C spada u proceduralne programske jezike koji je razvijen u ranim 70-im godinama 20. stoljeća.
Novi!!: Lambda račun i C (programski jezik) · Vidi više »
C sharp
C# je objektno orijentirani programski jezik kojeg su razvili Anders Hejlsberg i drugi u tvrtci Microsoft.
Novi!!: Lambda račun i C sharp · Vidi više »
C++
C++ je programski jezik opće namjene i srednje razine s podrškom za objektno orijentirano programiranje.
Novi!!: Lambda račun i C++ · Vidi više »
Church-Rosserov teorem
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.
Novi!!: Lambda račun i Church-Rosserov teorem · Vidi više »
Church-Turingova teza
U teoriji izračunljivosti, Church-Turingova teza (poznata i kao Churchova teza, Churchova konjektura te Turingova teza) je hipoteza o prirodi računala, kao što je digitalno računalo ili ljudsko biće s olovkom i papirom, a koji se podvrgavaju skupu pravila.
Novi!!: Lambda račun i Church-Turingova teza · Vidi više »
Entscheidungsproblem
U matematici, Entscheidungsproblem (njem. za 'problem odluke') je izazov koji je postavio David Hilbert 1928. Entscheidungsproblem potražuje računalni program koji će uzeti kao ulaz opis formalnog jezika i matematičku tvrdnju u tom jeziku i vratiti kao izlaz "istina" ili "laž", ovisno o tome je li tvrdnja istinita ili lažna.
Novi!!: Lambda račun i Entscheidungsproblem · Vidi više »
Funkcija (matematika)
Funkcija ili preslikavanje je jedan od najvažnijih matematičkih pojmova koji predstavlja preslikavanje članova jednog skupa (domena) u drugi (kodomena).
Novi!!: Lambda račun i Funkcija (matematika) · Vidi više »
Funkcijsko programiranje
Funkcijsko programiranje je programska paradigma koja tretira računanje kao evaluaciju matematičkih funkcija i izbjegava stanje i mutabilne podatke.
Novi!!: Lambda račun i Funkcijsko programiranje · Vidi više »
Haskell (programski jezik)
Haskell je standardizirani čisti funkcijski programski jezik s nestriktnom semantikom, imenovan po logičaru Haskellu Curryu.
Novi!!: Lambda račun i Haskell (programski jezik) · Vidi više »
Kombinatorna logika
Kombinatorna logika je notacija koju su uveli Moses Schönfinkel i Haskell Curry kako bi eliminirali potrebu za varijablama u matematičkoj logici.
Novi!!: Lambda račun i Kombinatorna logika · Vidi više »
Konstanta
Newtonovom zakonu univerzalne gravitacije. Konstanta (od lat. constans, genitiv constantis: nepromjenljiv, postojan) ili stalnica je veličina koja zadržava istu vrijednost tijekom nekog procesa, promjenâ drugih veličina ili okolnosti.
Novi!!: Lambda račun i Konstanta · Vidi više »
Kontekstno neovisna gramatika
U lingvistici i računarstvu, kontekstno neovisna gramatika (KNG) (rjeđe još i kontekstno slobodna gramatika ili gramatika neovisna o sadržaju, te još i bezokolinska gramatikaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 234) je formalna gramatika u kojoj je svaka produkcija oblika gdje je V nezavršni znak a w niz znakova (string) koji se sastoji od završnih i/ili nezavršnih znakova.
Novi!!: Lambda račun i Kontekstno neovisna gramatika · Vidi više »
Lisp
Lisp je obitelj računalnih programskih jezika s dugom povijesti i istaknutom sintaksom zasnovanoj na zagradama.
Novi!!: Lambda račun i Lisp · Vidi više »
Lista (računarstvo)
Jednostruko vezana lista od 3 cjelobrojna podatka Lista je podatkovna struktura koja se odlikuje linearnim rasporedom pripadajućih elemenata.
Novi!!: Lambda račun i Lista (računarstvo) · Vidi više »
Matematička logika
Matematička ili moderna logika je grana matematike i logike koja se bavi prikazom tradicionalne logike simbolima (pa se još naziva i simboličkom logikom), pri čemu je sve potpuno definirano te nema mogućnosti različitog shvaćanja kao što je to često u tradicionalnoj logici.
Novi!!: Lambda račun i Matematička logika · Vidi više »
MIT Press
MIT Press je američka akademska izdavačka kuća.
Novi!!: Lambda račun i MIT Press · Vidi više »
ML (programski jezik)
ML je funkcijski programski jezik opće namjene kojeg su razvili Robin Milner i ostali kasnih 1970-ih pri University of Edinburgh, i čija je sintaksa inspirirana jezikom ISWIM.
Novi!!: Lambda račun i ML (programski jezik) · Vidi više »
Pascal (programski jezik)
Pascal je programski jezik kojeg je stvorio švicarski znanstvenik Niklaus Wirth 1970. godine.
Novi!!: Lambda račun i Pascal (programski jezik) · Vidi više »
Portable Document Format
Portable Document Format (skraćeno: PDF) je format zapisa dokumenata koji je kreiralo poduzeće Adobe Systems 1993. godine.
Novi!!: Lambda račun i Portable Document Format · Vidi više »
Prirodni broj
Prirodni brojevi koriste se za pobrojavanje: jedna jabuka u košari, dvije jabuke u košari, tri jabuke u košari; šest jabuka u tri košare. U matematici, prirodni brojevi jesu brojevi jedan (1), dva (2), tri (3), četiri (4) i tako redom.
Novi!!: Lambda račun i Prirodni broj · Vidi više »
Problem odluke
U teoriji izračunljivosti i računskoj teoriji složenosti, problem odluke je pitanje postavljeno u nekom formalnom sustavu s da/ne odgovorom.
Novi!!: Lambda račun i Problem odluke · Vidi više »
Problem zaustavljanja
U teoriji izračunljivosti, problem zaustavljanja je problem odluke koji se neformalno može iskazati na sljedeći način: Alan Turing je 1936. dokazao da općenit algoritam za rješavanje problema zaustavljanja za sve moguće parove programa-ulaza ne može postojati.
Novi!!: Lambda račun i Problem zaustavljanja · Vidi više »
Programski jezik
Programski jezik je određen skupom simbola i pravilima njihovog slaganja kojim se opisuje postupak računanja.
Novi!!: Lambda račun i Programski jezik · Vidi više »
Python (programski jezik)
Python je programski jezik opće namjene, interpretiran i visoke razine kojeg je stvorio Guido van Rossum 1990. godine (prva javna inačica objavljena je u veljači 1991. godine), ime dobiva po televizijskoj seriji Monty Python's Flying Circus.
Novi!!: Lambda račun i Python (programski jezik) · Vidi više »
Računarstvo
Računalstvo ili računarstvo (računarska znanost ili znanost o računalima) se bavi proučavanjem teoretskih osnova informacije i računanja, te njihovim implementacijama i primjenama u računalnim sustavima.
Novi!!: Lambda račun i Računarstvo · Vidi više »
Rekurzija
Vizualni oblik rekurzije poznat kao ''Droste učinak''. Rekurzija je u matematici i računarstvu metoda definiranja funkcija u kojima se definirajuća funkcija primjenjuje unutar definicije.
Novi!!: Lambda račun i Rekurzija · Vidi više »
Relacija ekvivalencije
Relacija ekvivalencije R na skupu A je binarna relacija koja je podskup kartezijevog produkta A x A sa sljedećim svojstvima.
Novi!!: Lambda račun i Relacija ekvivalencije · Vidi više »
Russellov paradoks
Russell 1907. Russellov paradoks (poznat i kao Russellova antinomija) dio je osnovne matematike, koji je otkrio Bertrand Russell 1901., pokazavši da je Fregeova naivna teorija skupova kontradiktorna.
Novi!!: Lambda račun i Russellov paradoks · Vidi više »
SKI kombinatorni račun
SKI kombinatorni račun je računski sustav koji predstavlja reduciranu, netipiziranu inačicu lambda računa.
Novi!!: Lambda račun i SKI kombinatorni račun · Vidi više »
Skup
U matematici, skup se može shvatiti kao bilo koja kolekcija različitih apstraktnih objekata smatranim cjelinom.
Novi!!: Lambda račun i Skup · Vidi više »
Slijedni priopćajni postupci
U računarstvu, slijedni priopćajni postupciKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str.
Novi!!: Lambda račun i Slijedni priopćajni postupci · Vidi više »
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs (SICP) je udžbenik o općim konceptima računalnog programiranja izdan od strane MIT Pressa i napisan od strane MIT profesora Harolda Abelsona i Geralda Jaya Sussmana, skupa s Julie Sussman.
Novi!!: Lambda račun i Structure and Interpretation of Computer Programs · Vidi više »
Sustav F
Sustav F, poznat i kao polimorfni lambda račun ili lambda račun drugog reda, je tipizirani lambda račun.
Novi!!: Lambda račun i Sustav F · Vidi više »
Teorija izračunljivosti
* Teorija rekurzije, grana matematičke logike, suvremeno nazvana teorijom izračunljivosti.
Novi!!: Lambda račun i Teorija izračunljivosti · Vidi više »
Tip podatka (računarstvo)
U računarstvu i računalnom programiranju tip podatka svojstvo je podatka (često varijabli) koje kompilatoru ili interpreteru pruža informaciju o tome što će se s navedenim podatkom raditi, kakve će operacije biti dopušteno vršiti nad podatkom, na koji će se način podatak spremati i što podatak predstavlja.
Novi!!: Lambda račun i Tip podatka (računarstvo) · Vidi više »
Tipizirani lambda račun
Tipizirani lambda račun je tip formalizma koji koristi simbol lambda (\lambda) za označavanje apstrakcije anonimne funkcije.
Novi!!: Lambda račun i Tipizirani lambda račun · Vidi više »
Turingov stroj
Turingovi strojevi su iznimno jednostavni apstraktni uređaji za manipulaciju znakovima (simbolima) koji - unatoč jednostavnosti dizajna - mogu biti prilagođeni da simuliraju logiku bilo kojeg računalnog algoritma (uz sadašnje poimanje algoritma).
Novi!!: Lambda račun i Turingov stroj · Vidi više »
Vezana lista
U računarstvu, vezane liste su linearne zbirke elemenata podataka čiji redoslijed nije zadan njihovim fizičkim smještajem u memoriji.
Novi!!: Lambda račun i Vezana lista · Vidi više »
1930-ih
Bez opisa.
Novi!!: Lambda račun i 1930-ih · Vidi više »
1935.
Bez opisa.
Novi!!: Lambda račun i 1935. · Vidi više »
1965.
1965. (rimski: MCMLXV), bila je 64.
Novi!!: Lambda račun i 1965. · Vidi više »
1977.
Bez opisa.
Novi!!: Lambda račun i 1977. · Vidi više »
1984.
Bez opisa.
Novi!!: Lambda račun i 1984. · Vidi više »
