Andrej Bauer
Description is not available.
42:44
The dawn of formalized mathematics
Jul 6, 2021 76 views
56:23
What is an explicit bijection?
Jul 22, 2019 1321 views
15:57
Računsko intenzivne metode in aplikacije
Jan 30, 2015 2658 views
01:26:55
Predavanje 14
Jan 31, 2011 3714 views
01:31:11
Predavanje 13
Jan 19, 2011 2496 views
01:32:18
Predavanje 12
Jan 17, 2011 2564 views
01:32:00
Predavanje 11
Jan 4, 2011 2661 views
01:28:23
Ekvivalenčne relacije in izrek o razcepu funkcij
Dec 17, 2010 3099 views
01:29:21
Bijekcije in izomorfizmi, družine množic
Dec 15, 2010 2684 views
01:29:17
Relacije
Dec 15, 2010 2859 views