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

Предмет: Формални модели и методе за конкурентне системе (17.DOM66)

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

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

Докторанди владају знањима из основних формалних модела за конкурентне системе (CCS рачуном, Pi рачуном и типовима сесија) и метода за верификацију њихових особина. Докторанди су упознати са трантним стањем у области и укључени у националне или међународне научно-истраживачке тимове.

Формални модел Pi за мобилне системе: синтакса, редукциона семантика, систем (LTS) са функцијама са означеним преласцима. Еквиваленција редукционе и LTS семантике. Бихејвиоралне еквиваленције. Типски систем за контролу приступа каналима. Бихејвиорални типови: бинарни типови сесија и типови сесија са више учесника.

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

Аутори Назив Година Издавач Језик
Sangiorgi, D., Walker, D. The Pi-Calculus : A Theory of Mobile Processes 2001 Cambridge University Press Енглески
Pierce, B. Types and Programming Languages 2002 The MIT Press, Massachusetts Енглески
Предметна активност Предиспитна Обавезна Број поена
Предметна активност
Предметни пројекат
Предиспитна
Да
Обавезна
Да
Број поена
50.00
Предметна активност
Теоријски део испита
Предиспитна
Не
Обавезна
Да
Број поена
50.00

Предавања

Предавања

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

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