Kazalo:
00:00 Aritmetizacija: obnova
18:26 Robinsonova aritmetika Q
29:21 Numerično reprezentirani predikati in funkcije
40:52 Primeri numerično reprezentiranih predikatov in funkcij
59:06 Numerična reprezentacija minimizacije
63:13 Numerična reprezentacija rekurzivnih funkcij in predikatov
71:35 Numerična reprezentacija primitivne rekurzije

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…