Предмет: Формални модели и методе за конкурентне системе (17.DOM66 )
Студијски програми предмета:
Степен и врста студија | Назив |
---|---|
Докторске студије | Математика у техници (Година: 2, Семестар: Зимски) |
Докторске студије | Математика у техници (Година: 1, Семестар: Зимски) |
Категорија | Научно-стручни |
Ужа научна област |
|
ЕСПБ | 10 |
Основни циље предмета јесте увођење докторанада у математичку теорију која садржи теоријску основу и технике за формално резоновање о конкурентим и дистрибуираним системима. Циљ је да млади истраживачи овладају основним знањима из формалног рачуна
Докторанди владају знањима из основних формалних модела за конкурентне системе (
Формални модел
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дускутује је са наставником на консултацијама. Кроз студијски истраживачки рад студент, проучавајући научне часописе и осталу литературу самостално продубљује градиво са предавања. Уз рад са наставником студент се оспособљава за самостално писање научног рада.
Аутори | Назив | Година | Издавач | Језик |
---|---|---|---|---|
2001 | Енглески | |||
2002 | Енглески |
Предметна активност | Предиспитна | Обавезна | Број поена |
---|---|---|---|
Предметна активност Предметни пројекат |
Предиспитна Да |
Обавезна Да |
Број поена 50.00 |
Предметна активност Теоријски део испита |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
проф. др Јованка Пантовић
Редовни професор
Предавања

доц. Иван Прокић
Доцент
Предавања
проф. др Јованка Пантовић
Редовни професор
Студијски истраживачки рад

доц. Иван Прокић
Доцент
Студијски истраживачки рад