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





Uvod u matematičku logiku

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



Teorija izračunljivosti

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.




Zasnivanje matematike

(nema podataka)



Odabrana poglavlja matematičke logike

(nema podataka)



Konsultacije

termin: sreda 10-11h i petak 10-11h
kabinet: 812