Error loading media: File could not be played
 
00:0000:0000:00
00:00
01:41:39
Luka Mikec: Potpunost logike interpretabilnosti ILP
Sažetak: Logika interpretabilnosti ILP aritmetički karakterizira jednu bitnu klasu teorija. Opisat ćemo alternativan dokaz njene modalne potpunosti, koji je dobiven (manjim) izmjenama dokaza potpunosti logike IL tzv. step-by-step pristupom Evana Gorisa i Joosta Joostena.
Objavljeno: 29.06.2018
Unutar kategorije: Obrazovanje
VoD paketi: LORA