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]
Primeri primene kompaktnosti [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]
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)
Slavko Moconja: Uvod u matematičku logiku (vežbe)
Slajdovi:
1. čas,
2. čas,
3. čas,
4. čas,
5. čas,
6. čas,
7. čas,
8. čas,
9. čas,
10. i 11. čas,
12. čas,
13. čas
Ispitna pitanja
Usmeni ispit (septembar 1): četvrtak, 12. septembar, u 12h, ili četvrtak, 26. septembar, u 12h, na Studentskom trgu.
Nebojša Ikodinović: Matematička logika u računarstvu (skripta)
Slajdovi:
1. čas,
2. čas,
3. i 4. čas,
5. čas,
6. i 7. čas,
8. čas,
9., 10. i 11. čas,
12. čas
Rezultati (26. januar)
Usmeni ispit (septembar 1): četvrtak, 12. septembar, u 12h, ili četvrtak, 26. septembar, u 12h, na Studentskom trgu.
Slajdovi:
1. čas,
2. čas,
3. čas,
4. čas,
5. čas,
6. čas,
7. čas,
8. čas,
9. čas,
10. čas,
11. čas,
12. čas,
13. čas
Ispitna pitanja
Rezultati juna 1. Radovi se mogu pogledati u terminu usmenog ispita.
Usmeni ispit (septembar 1): četvrtak, 12. septembar, u 12h, ili četvrtak, 26. septembar, u 12h, na Studentskom trgu.
Ispitna pitanja
Usmeni ispit (septembar 1 i 2): četvrtak, 12. septembar, u 12h, ili četvrtak, 26. septembar, u 12h, na Studentskom trgu.
Po dogovoru putem mejla.