Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Gödlov izrek o nepopolnosti
Lana Herman, Andrej Bauer
Diplomsko delo
Oznake: logika prvega reda;Peanova aritmetika;primitivno rekurzivne funkcije;Gödlovo število;Gödlov izrek o nepopolnosti;
V diplomski nalogi je predstavljen in dokazan Gödlov izrek o nepopolnosti za Peanovo aritmetiko. To je teorija prvega reda, ki aksiomatizira naravna števila in njihovo aritmetiko. Izrek o nepopolnosti trdi, da Peanova aritmetika ne more biti hkrati popolna in konsistentna. Gödel za dokaz sestavi sta ...
Leto: 2020 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Oblikovanje vizualne identitete umetnika
Lana Herman, Katarina Klemen Kovačič
Diplomsko delo
Oznake: diplomske naloge;umetnik;vizualna identiteta;likovna umetnost;grafično oblikovanje;
Leto: 2024 Vir: Visoka šola za dizajn v Ljubljani (VŠD)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: