Предмет: Формални модели у дистрибуираном рачунарству (17.0M536 )
Студијски програми предмета:
| Степен и врста студија | Назив |
|---|---|
| Мастер академске студије | Информациони инжењеринг (Година: 1, Семестар: Зимски) |
| Мастер академске студије |
Математика у техници ( |
Стицање знања и вештина неопходних за креирања математичких модела за конкурентне системе, са циљем формалног доказивања његових особина, валидације коректности и откривања нежељених понашања. Циљ је да студенти овладају поступцима доказивања, као што су индукција по структури, индукција по правилима и методе за примену коиндукције. Студенти ће стећи детаљан увид у један формални рачун за конкурентне интерактивне системе, који ће служити као полазна основа за проучавање сложенијих конкурентних система.
Студент ће владати вештинама неопходним за креирања математичких модела за конкурентне системе, формално доказивање њихових особина, верификацију коректности и откривање нежељених понашања. Студенти ће поседовати добро познавање основних модела за конкурентне процесе.
Индукција (по структури, по правилима,...) и коиндукција. Формални рачун
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама.
| Аутори | Назив | Година | Издавач | Језик |
|---|---|---|---|---|
| 2007 | Енглески | |||
| Јаничић, П. | Математичка логика у рачунарству | 2009 | Математички факултет, Београд | Српски језик |
| 2001 | Енглески |
| Предметна активност | Предиспитна | Обавезна | Број поена |
|---|---|---|---|
| Предметна активност Писмени део испита - комбиновани задаци и теорија |
Предиспитна Не |
Обавезна Да |
Број поена 40.00 |
| Предметна активност Присуство на вежбама |
Предиспитна Да |
Обавезна Да |
Број поена 5.00 |
| Предметна активност Тест |
Предиспитна Да |
Обавезна Да |
Број поена 10.00 |
| Предметна активност Тест |
Предиспитна Да |
Обавезна Да |
Број поена 10.00 |
| Предметна активност Присуство на предавањима |
Предиспитна Да |
Обавезна Да |
Број поена 5.00 |
| Предметна активност Теоријски део испита |
Предиспитна Не |
Обавезна Да |
Број поена 30.00 |
доц. Владимир Илић
Доцент
Предавања
Асистент са докторатом Јелена Ђокић
Асистент са докторатом
Аудиторне вежбе
