Detalji o predmetu
(M101) Matematička logika i teorija skupova
Predavanja
Uvod u matematičku logiku. Iskazna logika-1.deo (šk.2017/2018)
Iskazna logika-2. deo (šk.2014/2015)
Iskazna logika - 3. deo (šk.2014/2015)
Iskazna logika-4.deo (šk.2016/2017)
Predikatska logika - 1. deo (šk.2014/2015)
Predikatska logika- 2. deo (šk.2014/2015)
Predikatska logika-3. deo:termi i formule, valjane formulr, zamena promenljive termom (šk.2016/2017)
Predikatski L-račun (šk.2017/2018)
Tehnike dokazivanja-1.deo (šk.2014/2015)
Tehnike dokazivanja-2.deo (šk.2014/2015)
Relacije-II deo (šk.2014/2015)
Funkcije-1. deo (šk.2014/2015)