Faculty of Mathematics
University of Belgrade
ЋИР
|
ЛАТ
|
ENG
С.М.
Stefan Mitrović
Teaching Assistant
Department of Algebra and Mathematical Logic
News
Teaching
Linearna algebra
Algebra 1
Uvod u teoriju brojeva i kombinatoriku
Matematička logika u računarstvu
Teorija izračunljivosti
Course archive
Research
Matematička logika u računarstvu
Archived course
General information
Konsultacije
Konsultacije
Pravila prirodne dedukcije
Pravila prirodne dedukcije
LK račun sekvenata
Pravila LK računa
Eliminacija kvantifikatora
Materijal
Teorema kompaktnosti
Materijal
Home
