1 - 2 / 2 ![]() ![]() ![]() ![]() |
1. Lambda račun in izračunljive funkcije Aleš Bizjak, 2010, undergraduate thesis Keywords: lambda račun, izračunljive funkcije, rekurzivne funkcije |
2. Gödlov izrek o nepopolnosti Lana Herman, 2020, undergraduate thesis Keywords: logika prvega reda, Peanova aritmetika, primitivno rekurzivne funkcije, Gödlovo število, Gödlov izrek o nepopolnosti |