×
Универзитет у Новом Саду

Предмет: Теорија мобилних процеса (17.D0M13L)

Матичне организационе јединице предмета: Департман за опште дисциплине у техници

Основне информације:
 
Категорија Научно-стручни
Ужа научна област
  • Примењене рачунарске науке и информатика
  • Теоријска и примењена математика
ЕСПБ 10

Основни циљ предмета јесте упознавање докторанада са основним појмовима, резултатима и методама из теорије мобилних процеса. Циљ је да стицање темељних знања о основним елементима (процес, комуникација, конкурентност,...) и техникама за разумевање формалних модела за мобилне процесе. Након овладавања основним знањима, циље је да се млади истраживачи укључе у рад научно-истраживачке групе, у складу са њиховим интересовањима.

Познавање основних појмова и алата за проучавање рачуна мобилних процеса.

Основни елементи мобилних процеса: процеси, комуникација, конкурентност, мобилност, интерферирање,... Основни алати за проучавање мобилних процеса: релације транзиције и бисимиларности, структуралне еквиваленције и редукције, једнакосне теорије, логике и типови. Један рачун мобилних процеса по избору студента. Област по избору студента (реверзибилно рачунарство, модели за комуникационе протоколе, програмски језици базирани на мобилним процесима,...)

На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дускутује је са наставником на консултацијама. Кроз студиски истраживачки рад студент, проучавајући научне часописе и осталу литературу самостално продубљује градиво са предавања. Уз рад са наставником студент се оспособљава за самостално писање научног рада.

Аутори Назив Година Издавач Језик
Milner, R. Communication and concurrency 1989 Prantice Hall, Harlow Енглески
Milner,R.,Parrow,Z., Walker, D. A calculus of mobile processes. Part I and II. 1992 Information and Computation, 100 (1) Енглески
Предметна активност Предиспитна Обавезна Број поена
Предметна активност
Предметни пројекат
Предиспитна
Да
Обавезна
Да
Број поена
50.00
Предметна активност
Теоријски део испита
Предиспитна
Не
Обавезна
Да
Број поена
50.00

Предавања

API Image

проф. др Силвиа Гилезан

Редовни професор

Предавања

Предавања

Студијски истраживачки рад

API Image

проф. др Силвиа Гилезан

Редовни професор

Студијски истраживачки рад

Студијски истраживачки рад