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


Lectures:

invited talk
flag What is an explicit bijection?
as author at  The 31st international conference on Formal Power Series and Algebraic Combinatorics,
908 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,
2601 views
lecture
flag Predavanje 14
as author at  Logika in množice,
3624 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,
2472 views
  lecture
flag Predavanje 11
as author at  Logika in množice,
2577 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,
2756 views
lecture
flag Bijekcije in izomorfizmi, družine množic
as author at  Logika in množice,
2615 views
  lecture
flag Epimorfizmi in monomorfizmi
as author at  Logika in množice,
2619 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,
3270 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,
4114 views
lecture
flag Simbolni zapis
as author at  Logika in množice,
4229 views
  lecture
flag O učiteljih in mojstrih
as author at  TEDxLjubljana Pomlad 2009,
5633 views
lecture
flag Modalna logika in agenti
as author at  Solomon seminar,
4591 views
  lecture
flag Mala šola teorije programskih jezikov
as author at  Solomon seminar,
5956 views
lecture
flag Ne ne biti ali ne biti?
as author at  Solomon seminar,
3901 views