1 - 2 / 2 1 |
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, bachelor thesis/paper Keywords: logika prvega reda, Peanova aritmetika, primitivno rekurzivne funkcije, Gödlovo število, Gödlov izrek o nepopolnosti |