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 TI ZM OPML Konsultacije
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
Stranica Mateja Milićevića
Drugi test (tautologije, semantička ekvivalentnost, zadovoljivi skupovi formula) biće održan na času predavanja u nedelji 14. - 18. oktobar.
Okvirni termini preostalih testova:
- treći test: nedelja 28. oktobar - 1. novembar;
- četvrti test: nedelja 11 - 15. novembar;
- peti test: nedelja 25 - 29. novembar;
- šesti test: nedelja 9 - 13. decembar;
- sedmi test: nedelja 23 - 27. decembar.
Rezultati testova - grupe 1o1 i 1o2
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
Prvi kolokvijum biće održan u kolokvijumskoj nedelji. Drugi kolokvijum biće održan u terminu pismenog ispita u ispitnom roku Januar 1.
(nema podataka)
(nema podataka)
termin: sreda 10-11h i petak 10-11h
kabinet: 812