University of Belgrade
Faculty of Mathematics
Department of Algebra and Logic
Studentski trg 16
11000 Belgrade
Serbia
Slavko Moconja
e-mail: x@y where x = slavko and y = matf.bg.ac.rs
UML DS1 TI OPML Konsultacije
Sva nastava biće izvođena u Webex sobi na adresi matf.webex.com/meet/slavko po zvaničnom rasporedu časova. Čas po pravilu počinje 15 minuta po punom satu i traje 45 minuta. Webex soba biće otvorena 15 minuta pre početka časa. Da biste ušli u sobu, kliknite na gornji link, pa na dugme "Join Meeting", unesite svoje ime i prezime i e-mail adresu, kliknite "Next", dozvolite (ili nemojte) korišćenje kamere i mikrofona, i još jednom kliknite "Join meeting". Studenti po ulasku u Webex sobu treba da isključe svoje kamere i mikrofone.
Predispitne obaveze (testove) studenti će polagati na Moodle platformi na adresi enastava.matf.bg.ac.rs. Studenti treba da upišu odgovarajući kurs na platformi. Testovi se polažu za vreme časova predavanja, svake druge nedelje počevši od treće nedelje nastave. (Ako bude nekih promena u terminima testova, studenti će biti blagovremeno obavešteni o tome.) Test će biti dostupan za izradu poslednjih 10 minuta časa.
Informacije o kursu
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
Vežbe za tokove 1O1 i 1O2 drži Matej Milićević.
Beleške sa predavanja: 1O1, 1. čas, 1O2, 1. čas, 1O1, 2. čas, 1O2, 2. čas, 1O1, 3. čas, 1O2, 3. čas, 1O1, 4. čas, 1O2, 4. čas, 1O1, 5. čas, 1O2, 5. čas, 1O1, 6. čas, 1O2, 6. čas, 1O1, 7. čas, 1O2, 7. čas, 1O1, 8. čas, 1O2, 8. čas, 1O1, 9. čas, 1O2, 9. čas, 1O1, 10. čas, 1O2, 10. čas, 1O1, 11. čas, 1O2, 11. čas, 1O1, 12. čas, 1O2, 12. čas, 1O1, 13. čas, 1O2, 13. čas
Nadoknada testova biće održana u subotu 23. januara po sledećem rasporedu:
- prvi test u 10:00;
- drugi test u 10:15;
- treći test u 10:30;
- četvrti test u 10:45;
- peti test u 11:00;
- šesti test u 11:15.
Informacije o kursu
Žarko Mijajlović, Zoran Petrović, Maja Roslavcev: Diskretne strukture 1 - skripta
Vežbe za grupe 1I1A, 1I1B i 1I1C (1I3A) drži Milan Alimpić, a za grupe 1I2A, 1I2B i 1I2C (1I3B) drži Stefan Mitrović.
Beleške sa predavanja: 1I1, 1. čas, 1I2, 1. čas, 1I1, 2. čas, 1I2, 2. čas, 1I1, 3. čas, 1I2, 3. čas, 1I1, 4. čas, 1I2, 4. čas, 1I1, 5. čas, 1I2, 5. čas, 1I1, 6. čas, 1I2, 6. čas, 1I1, 7. čas, 1I2, 7. čas, 1I1, 8. čas, 1I2, 8. čas, 1I1, 9. čas, 1I2, 9. čas, 1I1, 10. čas, 1I2, 10. čas, 1I1, 11. čas, 1I2, 11. čas, 1I1, 12. čas, 1I2, 12. čas, 1I1, 13. čas, 1I2, 13. čas
Nadoknada testova biće održana u nedelju 24. januara po sledećem rasporedu:
- prvi test u 10:00;
- drugi test u 10:15;
- treći test u 10:30;
- četvrti test u 10:45;
- peti test u 11:00;
- šesti test u 11:15.
Informacije o kursu
Nebojša Ikodinović: Teorija izračunljivosti - skripta (kod Miše)
Irena Spasić & Predrag Janičić: Teorija algoritama, jezika i automata - zbirka zadataka
Slavko Moconja: Neodlučivost logike prvog reda
Slavko Moconja: Materijali analognog kursa (sa nešto drugačijim pristupom)
Vežbe drži Aleksandra Kostić.
Beleške sa predavanja: 1. čas, 2. čas, 3. čas, 4. čas, 5. čas, 6. čas, 7. čas, 8. čas, 9. čas, 10. čas, 11. čas, 12. čas
Za nadoknadu testova javiti se mejlom.
Rezultati testova
Konsultacije se održavaju u terminu po dogovoru putem mejla, u kabinetu 812 ili u Webex sobi.