1 - 2 / 2 1 |
1. Lambda račun in izračunljive funkcije Aleš Bizjak, 2010, diplomsko delo Ključne besede: lambda račun, izračunljive funkcije, rekurzivne funkcije |
2. Gödlov izrek o nepopolnosti Lana Herman, 2020, diplomsko delo/naloga Ključne besede: logika prvega reda, Peanova aritmetika, primitivno rekurzivne funkcije, Gödlovo število, Gödlov izrek o nepopolnosti |