University of Belgrade
Faculty of Mathematics
Department of Algebra and Logic
e-mail: x@y where x=slavko and y=matf.bg.ac.rs
office: 812
Grčki alfabet
Matematička indukcija [UML i DS1]
Iskazna logika [UML i DS1]
Skupovi [UML i DS1]
Binarne relacije [UML i DS1]
Funkcije [UML i DS1]
Poređenje kardinalnosti [UML i DS1]
Elementarna aritmetika [DS1]
Studenti 9. decembra neće imati predavanja iz Uvoda u matematičku logiku.
Nebojša Ikodinović: Uvod u matematičku logiku (preporučeni udžbenik)
Slavko Moconja: Uvod u matematičku logiku (zbirka zadataka)
Sadržaj zbirke
Nebojša Ikodinović: Uvod u matematičku logiku (skripta)
Zoran Petrić: Uvod u matematičku logiku (skripta)
Studenti će 11. decembra umesto predavanja imati vežbe iz Mat. logike u računarstvu.
Nebojša Ikodinović, Slavko Moconja: Logika (radna verzija knjige)
Nebojša Ikodinović: Matematička logika u računarstvu (skripta)
Slajdovi
Studenti 12. decembra neće imati predavanja iz Diskretnih struktura 1.
Po dogovoru putem mejla.