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