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