Brže od pregledniku!
21 odnosi: Adolf Hitler, Akko, Alonzo Church, Asocijativnost, Church-Turingova teza, Formalna semantika programskih jezika, Funkcijsko programiranje, Josif Staljin, Lambda račun, Matematička logika, Model računanja, Neodlučivost, Računanje, Rekurzija, SKI kombinatorni račun, Superkombinator, Sveučilište u Göttingenu, Teorija izračunljivosti, Teorija modela, Turingov stroj, Varijabla.
Adolf Hitler
Adolf Hitler (Braunau am Inn, 20. travnja 1889. – Berlin, 30. travnja 1945.) bio je njemački političar, vođa Nacionalsocijalističke njemačke radničke stranke (njemački: Nationalsozialistische Deutsche Arbeiterpartei, skraćeno NSDAP), poznate pod nazivom Nacistička stranka.
Novi!!: Kombinatorna logika i Adolf Hitler · Vidi više »
Akko
U matematici, filozofiji i logici, i na povezanim tehničkim poljima, akko je najstandardnija skraćenica za „ako i samo ako“.
Novi!!: Kombinatorna logika i Akko · 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!!: Kombinatorna logika i Alonzo Church · Vidi više »
Asocijativnost
U matematici, asocijativnost je svojstvo koje može imati binarna operacija.
Novi!!: Kombinatorna logika i Asocijativnost · 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!!: Kombinatorna logika i Church-Turingova teza · Vidi više »
Formalna semantika programskih jezika
U teoretskom računarstvu, formalna semantika je disciplina koja se bavi rigoroznim matematičkim proučavanjem značenja programskih jezika i modela računanja.
Novi!!: Kombinatorna logika i Formalna semantika programskih jezika · 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!!: Kombinatorna logika i Funkcijsko programiranje · Vidi više »
Josif Staljin
Josif Visarionovič Staljin, ili Iosif Besarion (Soso) Džugašvili (gruzijski: Iosseb (Soso) Besarionis dze Džugašvilii, იოსებ (სოსო) ბესარიონის ძე ჯუღაშვილი, ruski: Иосиф Виссарионович Сталин) (Gori, Gruzija, 18. prosinca 1878. – Moskva, 5. ožujka 1953.), bio je sovjetski političar, državnik te komunistički diktator.
Novi!!: Kombinatorna logika i Josif Staljin · Vidi više »
Lambda račun
U matematičkoj logici i računarstvu, lambda račun, odnosno λ-račun, je formalni sustav dizajniran za ispitivanje definicije funkcije, aplikaciju funkcije, te rekurziju.
Novi!!: Kombinatorna logika i Lambda račun · 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!!: Kombinatorna logika i Matematička logika · Vidi više »
Model računanja
Model računanja je termin iz teorije računanja: teorije izračunljivosti i računske teorije složenosti.
Novi!!: Kombinatorna logika i Model računanja · Vidi više »
Neodlučivost
U teoriji rekurzije u matematičkoj logici, problem odluke je zvan (rekurzivno) neodlučivim ako ne postoji algoritam koji ga može odlučiti, poput onoga za problem zaustavljanja Alana Turinga, t.j. problem čiji jezik nije rekurzivan skup.
Novi!!: Kombinatorna logika i Neodlučivost · Vidi više »
Računanje
Računanje ili komputacija je općenit naziv za obradu informacije koja se može matematički predstaviti.
Novi!!: Kombinatorna logika i Računanje · 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!!: Kombinatorna logika i Rekurzija · 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!!: Kombinatorna logika i SKI kombinatorni račun · Vidi više »
Superkombinator
Superkombinator je matematički izraz koji je potpuno vezan i samosadržan.
Novi!!: Kombinatorna logika i Superkombinator · Vidi više »
Sveučilište u Göttingenu
Grb Sveučilišta u Göttingenu Sveučilište u Göttingenu (njem. Georg-August-Universität Göttingen, lat. Universitas Regiæ Georgiæ Augustæ), osnovao je 1732./1734.
Novi!!: Kombinatorna logika i Sveučilište u Göttingenu · Vidi više »
Teorija izračunljivosti
* Teorija rekurzije, grana matematičke logike, suvremeno nazvana teorijom izračunljivosti.
Novi!!: Kombinatorna logika i Teorija izračunljivosti · Vidi više »
Teorija modela
Teorija modela je dio matematike koji se bavi realizacijama aksiomatskih teorija u terminima drugih matematičkih struktura.
Novi!!: Kombinatorna logika i Teorija modela · 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!!: Kombinatorna logika i Turingov stroj · Vidi više »
Varijabla
Varijabla (prema; promjenjivica, promjenljivica) pojam je kojim se u matematici, te drugim znanostima, označuje veličina promjenljive vrijednosti.
Novi!!: Kombinatorna logika i Varijabla · Vidi više »
