Предмет: Интерактивни доказивачи (17.DOM71 )
Студијски програми предмета:
Степен и врста студија | Назив |
---|---|
Докторске студије | Математика у техници (Година: 1, Семестар: Зимски) |
Докторске студије | Математика у техници (Година: 2, Семестар: Зимски) |
Категорија | Научно-стручни |
Ужа научна област |
|
ЕСПБ | 10 |
Стицање знања и практичан рад са интерактивним доказивачима
Познавање теоријских основа и практичног рада са интерактивним доказивачима теорема. Укључивање у актуелна истраживања у домену интерактивних доказивача, по избору студента, а у сарадњи са научницима из земље и иностранства.
Теоретске основе интерактивних доказивача. Уводни појмови из теорије типова: типови, терми. Разни типски системи. Типски систем са основним (простим) типом. Основне дефиницје и особине. Конфлуентност и теореме о нормализацијама доказа. Полиморфни типски систем. Теорема о јакој нормализацији, њен доказ и значај као пример Геделове реченице. Типски системи са зависним типовима. Теорија конструкција (
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама.
Аутори | Назив | Година | Издавач | Језик |
---|---|---|---|---|
2018 | Енглески | |||
Зоран Огњановић, Силвиа Гилезан | Теоријско рачунарство | 2018 | Српски језик | |
2002 | Енглески | |||
2018 | Енглески |
Предметна активност | Предиспитна | Обавезна | Број поена |
---|---|---|---|
Предметна активност Семинарски рад |
Предиспитна Да |
Обавезна Да |
Број поена 50.00 |
Предметна активност Усмени део испита |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
проф. др Силвиа Гилезан
Редовни професор
Предавања
проф. др Силвиа Гилезан
Редовни професор
Студијски истраживачки рад