Предмет: Увод у формалне методе (17.0M533 )
Студијски програми предмета:
Степен и врста студија | Назив |
---|---|
Мастер академске студије | Информациони инжењеринг (Година: 1, Семестар: Зимски) |
Мастер академске студије |
Математика у техници ( |
Категорија | Научно-стручни |
Ужа научна област | Теоријска и примењена математика |
ЕСПБ | 4 |
Стицање знања о формалним методама. Практичан рад са алатима. Укључивање студента у научно-истраживачки рад.
Познавање теоријских основа и практичног рада са формалним методама у разним областима инжерества. Укључивање у актуелна истраживања у домену формалних метода, по избору студента, а у сарадњи са научницима из земље и иностранства.
Формална спецификација. Формална верификација. Формални машински-проверљиви докази. Језици за спецификацију: процесни рачуни (ЦЦС, ЦСП, пи-рачун), Петри мреже. Аутоматски алати: ПАТ, Мобилитy Wоркбенцх.
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студенти у групама и самостално проучавају додатну литературу и дискутују је са наставником на консултацијама.
Аутори | Назив | Година | Издавач | Језик |
---|---|---|---|---|
2013 | Енглески | |||
2004 | Енглески |
Предметна активност | Предиспитна | Обавезна | Број поена |
---|---|---|---|
Предметна активност Семинарски рад |
Предиспитна Да |
Обавезна Да |
Број поена 45.00 |
Предметна активност Теоријски део испита |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
Предметна активност Присуство на вежбама |
Предиспитна Да |
Обавезна Да |
Број поена 2.00 |
Предметна активност Присуство на предавањима |
Предиспитна Да |
Обавезна Да |
Број поена 3.00 |
ванр. проф. др Јелена Иветић
Ванредни професор
Предавања

Асистент Радојка Цигановић
Асистент
Аудиторне вежбе