Математички факултет
Универзитет у Београду
ЋИР
|
ЛАТ
|
ENG
С.М.
Стефан Митровић
Асистент
Катедра за алгебру и математичку логику
Вести
Настава
Линеарна алгебра
Алгебра 1
Увод у теорију бројева и комбинаторику
Математичка логика у рачунарству
Теорија израчунљивости
Архива курсева
Наука
Математичка логика у рачунарству
Архивиран курс
Опште информације
Консултације
Консултације
Правила природне дедукције
Правила природне дедукције
ЛК рачун секвената
Правила ЛК рачуна
Елиминација квантификатора
Материјал
Теорема компактности
Материјал
Почетна
