2:03:57ISRM PPJ 2026 02 23 Ukazni programski jezik
A 124-minute video from Andrej Bauer: “ISRM PPJ 2026 02 23 Ukazni programski jezik”.
Andrej Bauer
1.25K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
2:03:57
2:08:49ISRM-2025-05-26 Objekt, razredi ter razredi tipov
A 129-minute video from Andrej Bauer: “ISRM-2025-05-26 Objekt, razredi ter razredi tipov”.
2:12:04ISRM-PPJ-2025-03-17 Deklarativno programiranje
A 132-minute video from Andrej Bauer: “ISRM-PPJ-2025-03-17 Deklarativno programiranje”.
2:10:15ISRM-PPJ-2025-03-31 Rekurzija
A 130-minute video from Andrej Bauer: “ISRM-PPJ-2025-03-31 Rekurzija”.
2:14:09ISRM-PPJ-2025-04-07 Koinduktivni tipi & izpeljava tipov
A 134-minute video from Andrej Bauer: “ISRM-PPJ-2025-04-07 Koinduktivni tipi & izpeljava tipov”.
2:06:50ISRM-PPJ-2025-04-14 Izpeljava tipov
A 127-minute video from Andrej Bauer: “ISRM-PPJ-2025-04-14 Izpeljava tipov”.
1:58:29ISRM-PPJ-2025-04-28 Speciifikacija implementacija & abstrakcija
A 118-minute video from Andrej Bauer: “ISRM-PPJ-2025-04-28 Speciifikacija implementacija & abstrakcija”.
2:15:48ISRM-PPJ-2025-05-05 Logično programiranje
A 136-minute video from Andrej Bauer: “ISRM-PPJ-2025-05-05 Logično programiranje”.
1:55:12ISRM-PPJ-2025-05-12 Programiranje z omejitvami
A 115-minute video from Andrej Bauer: “ISRM-PPJ-2025-05-12 Programiranje z omejitvami”.
2:12:04ISRM-PPJ-2025-05-19 Podtipi in objekti
A 132-minute video from Andrej Bauer: “ISRM-PPJ-2025-05-19 Podtipi in objekti”.
2:11:12ISRM-PPJ-2025-06-02 Monade in računski učinki
A 131-minute video from Andrej Bauer: “ISRM-PPJ-2025-06-02 Monade in računski učinki”.
2:45:47ISRM-PPJ-2026-02-16 Artimetični izrazi
A 166-minute video from Andrej Bauer: “ISRM-PPJ-2026-02-16 Artimetični izrazi”.
2:11:25ISRM-PPJ-2026-03-02 dokazovanje pravilnosti
A 131-minute video from Andrej Bauer: “ISRM-PPJ-2026-03-02 dokazovanje pravilnosti”.
2:16:33ISRM-PPJ-2026-03-09 λ-račun
A 137-minute video from Andrej Bauer: “ISRM-PPJ-2026-03-09 λ-račun”.
2:14:54ISRM-PPJ-2026-03-23 Deklarativno programiranje
A 135-minute video from Andrej Bauer: “ISRM-PPJ-2026-03-23 Deklarativno programiranje”.
2:11:14ISRM-PPJ-2026-03-30 Rekurzija in izpeljava tipov
A 131-minute video from Andrej Bauer: “ISRM-PPJ-2026-03-30 Rekurzija in izpeljava tipov”.
2:06:01ISRM-PPJ-2026-04-20 Logično programiranje
A 126-minute video from Andrej Bauer: “ISRM-PPJ-2026-04-20 Logično programiranje”.
2:10:51ISRM-PPJ-2026-05-04 Logično programiranje z omejitvami, abstrakcija
A 131-minute video from Andrej Bauer: “ISRM-PPJ-2026-05-04 Logično programiranje z omejitvami, abstrakcija”.
2:12:17ISRM-PPJ-2026-05-11 Moduli, podtipi, objekti
A 132-minute video from Andrej Bauer: “ISRM-PPJ-2026-05-11 Moduli, podtipi, objekti”.
2:06:58ISRM-PPJ-2026-05-18-haskell-in-razredi-tipov
A 127-minute video from Andrej Bauer: “ISRM-PPJ-2026-05-18-haskell-in-razredi-tipov”.
2:06:23ISRM-PPJ-2026-05-25 Monade
A 126-minute video from Andrej Bauer: “ISRM-PPJ-2026-05-25 Monade”.
1:31:23MAT-LMN-2026-10-08 Osnovno o množicah in preslikavah
A 91-minute video from Andrej Bauer: “MAT-LMN-2026-10-08 Osnovno o množicah in preslikavah”.
41:47MAT-LMN-2026-10-16 Aritmetika množic
A 42-minute video from Andrej Bauer: “MAT-LMN-2026-10-16 Aritmetika množic”.
39:36MAT-LMN-2026-10-19 Naloga: A^(C + B) ≅ A^C × B^C
A 40-minute video from Andrej Bauer: “MAT-LMN-2026-10-19 Naloga: A^(C + B) ≅ A^C × B^C”.
1:29:36MAT-LMN-2026-10-22 Simbolni zapis
A 90-minute video from Andrej Bauer: “MAT-LMN-2026-10-22 Simbolni zapis”.
1:28:49MAT-LMN-2026-10-29 Dokazi
A 89-minute video from Andrej Bauer: “MAT-LMN-2026-10-29 Dokazi”.
1:28:31MAT-LMN-2026-11-05 izključeno tretje in Boolova algebra
A 89-minute video from Andrej Bauer: “MAT-LMN-2026-11-05 izključeno tretje in Boolova algebra”.
1:01:28PED-SRDG-2026-10-21-ravninska-geometrija
A 61-minute video from Andrej Bauer: “PED-SRDG-2026-10-21-ravninska-geometrija”.
1:06:45PED-SRDG-2026-10-28 Zaporedja
A 67-minute video from Andrej Bauer: “PED-SRDG-2026-10-28 Zaporedja”.
55:38PED-SRDG-2026-11-04 Linearna algebra
A 56-minute video from Andrej Bauer: “PED-SRDG-2026-11-04 Linearna algebra”.