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