Andrej Bauer
homepage:http://www.andrej.com/
search externally:   Google Scholar,   Springer,   CiteSeer,   Microsoft Academic Search,   Scirus ,   DBlife


Lectures:

lecture
flag The dawn of formalized mathematics
as author at  8TH EUROPEAN CONGRESS OF MATHEMATICS, Portorož 2021,
1 view
  invited talk
flag What is an explicit bijection?
as author at  The 31st international conference on Formal Power Series and Algebraic Combinatorics,
1043 views
lecture
flag 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,
2605 views
  lecture
flag Predavanje 14
as author at  Logika in množice,
3625 views
lecture
flag Predavanje 13
as author at  Logika in množice,
2439 views
  lecture
flag Predavanje 12
as author at  Logika in množice,
2473 views
lecture
flag Predavanje 11
as author at  Logika in množice,
2578 views
  lecture
flag Ekvivalenčne relacije in izrek o razcepu funkcij
as author at  Logika in množice,
2980 views
lecture
flag Relacije
as author at  Logika in množice,
2757 views
  lecture
flag Bijekcije in izomorfizmi, družine množic
as author at  Logika in množice,
2617 views
lecture
flag Epimorfizmi in monomorfizmi
as author at  Logika in množice,
2622 views
  lecture
flag Množice in funkcije
as author at  Logika in množice,
6489 views
lecture
flag Naravna števila in Peanovi aksiomi
as author at  Logika in množice,
3276 views
  lecture
flag Kako pišemo dokaze?
as author at  Logika in množice,
3360 views
lecture
flag Izjavni in predikatni račun
as author at  Logika in množice,
4119 views
  lecture
flag Simbolni zapis
as author at  Logika in množice,
4232 views
lecture
flag O učiteljih in mojstrih
as author at  TEDxLjubljana Pomlad 2009,
5638 views
  lecture
flag Modalna logika in agenti
as author at  Solomon seminar,
4594 views
lecture
flag Mala šola teorije programskih jezikov
as author at  Solomon seminar,
5958 views
  lecture
flag Ne ne biti ali ne biti?
as author at  Solomon seminar,
3901 views