Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 3
Nadgradnja tolmača konkatenacijskega programskega jezika za spremljanje izvajanja programa
ŽIGA PUTRLE, Jurij Mihelič
Diplomsko delo
Oznake: Forth;tolmač;navidezni stroj;zbiranje podatkov;programski jezik C;
Diplomsko delo opisuje načrtovanje, nadgradnjo in preizkus tolmača, ki omogoča spremljanje izvajajočega programa, zapisanega v konkatenacijskem programskem jeziku. Uporabili smo programski jezik Forth, preučili njegovo delovanje, izbrali tolmač, ga nadgradili, izdelali potrebno programsko opremo in ...
Leto: 2017 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Neprotislovnost klasične sintetične teorije izračunljivosti
Žiga Putrle, Andrej Bauer
Magistrsko delo
Oznake: teorija tipov;teorij izračunljivosti;teorija realizabilnosti;dokazovalni pomočniki;
Yannick Forster v svojem doktorskem delu Computability in constructive type theory predlaga nov sintetični pristop k teoriji izračunljivosti, ki omogoča razvoj teorije na klasičen način s pomočjo dokazovalnega pomočnika. Teorijo izračunljivosti razvije v računu induktivnih konstrukcij (RIK) (ang. ca ...
Leto: 2023 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Opredelitev stanja morja v skladu z direktivo o morski strategiji 2008/56/ES
Martina Orlando-Bonaca, Milijan Šiško, Lovrenc Lipej, Vesna Flander Putrle, Žiga Dobrajc
Video in druga učna gradiva
Oznake: vodna strategija;vodna direktiva;morje;
Opredelitev stanja morja v skladu z direktivo o morski strategiji 2008/56/ES
Leto: 2010 Vir: Digitalni repozitorij raziskovalnih organizacij Slovenije
Št. zadetkov: 3
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: