1 - 2 / 2 1 |
1. Konstrukcija modela nestandardne analize Nika Krušec, 2017, diplomsko delo Ključne besede: matematika, infinitezimal, nestandardna analiza, nestandardna realna števila, princip prenosa, logika prvega reda |
2. Gödlov izrek o nepopolnosti Lana Herman, 2020, diplomsko delo Ključne besede: logika prvega reda, Peanova aritmetika, primitivno rekurzivne funkcije, Gödlovo število, Gödlov izrek o nepopolnosti |