|
|
|
lecture
The dawn of formalized mathematics
as author at 8TH EUROPEAN CONGRESS OF MATHEMATICS, Portorož 2021,
10 views
|
|
|
|
invited talk
What is an explicit bijection?
as author at The 31st international conference on Formal Power Series and Algebraic Combinatorics,
1068 views
|
|
|
|
lecture
Računsko intenzivne metode in aplikacije
as author at Odlični v znanosti 2013 - serija vsakoletnih dogodkov, ki jih organizira Javna agencija za raziskovalno dejavnost RS (ARRS) / Excellent in Science 2013 - a series of yearly events organised by the Slovenian research Agency,
2606 views
|
|
|
|
lecture
Predavanje 14
as author at Logika in množice,
3627 views
|
|
|
|
lecture
Predavanje 13
as author at Logika in množice,
2439 views
|
|
|
|
lecture
Predavanje 12
as author at Logika in množice,
2473 views
|
|
|
|
lecture
Predavanje 11
as author at Logika in množice,
2578 views
|
|
|
|
lecture
Ekvivalenčne relacije in izrek o razcepu funkcij
as author at Logika in množice,
2980 views
|
|
|
|
lecture
Relacije
as author at Logika in množice,
2758 views
|
|
|
|
lecture
Bijekcije in izomorfizmi, družine množic
as author at Logika in množice,
2618 views
|
|
|
|
lecture
Epimorfizmi in monomorfizmi
as author at Logika in množice,
2623 views
|
|
|
|
lecture
Množice in funkcije
as author at Logika in množice,
6489 views
|
|
|
|
lecture
Naravna števila in Peanovi aksiomi
as author at Logika in množice,
3280 views
|
|
|
|
lecture
Kako pišemo dokaze?
as author at Logika in množice,
3361 views
|
|
|
|
lecture
Izjavni in predikatni račun
as author at Logika in množice,
4124 views
|
|
|
|
lecture
Simbolni zapis
as author at Logika in množice,
4237 views
|
|
|
|
lecture
O učiteljih in mojstrih
as author at TEDxLjubljana Pomlad 2009,
5641 views
|
|
|
|
lecture
Modalna logika in agenti
as author at Solomon seminar,
4596 views
|
|
|
|
lecture
Mala šola teorije programskih jezikov
as author at Solomon seminar,
5958 views
|
|
|
|
lecture
Ne ne biti ali ne biti?
as author at Solomon seminar,
3901 views
|
Springer,
