×
Универзитет у Новом Саду

Предмет: Логика у рачунарству (17.D0M06L)

Матичне организационе јединице предмета: Департман за опште дисциплине у техници

Основне информације:
 
Категорија Научно-стручни
Ужа научна област
  • Примењене рачунарске науке и информатика
  • Теоријска и примењена математика
ЕСПБ 10

Стицање основних знања из математичке логике и њене примене у рачунарству и укључивање у научно-истраживачки рад.

Познавање основних појмова и резултата из математичке логике. Укључивање у истраживање у ужој области из одређених области из логике, по избору студента, а у сарадњи са научницима из земље и иностранства.

Исказни рачун: аксиоматски систем, природна дедукција, секвентни рачун. Предикатски рачун. Теорија доказа. Геделове теореме непотпуности. Модална логика. Темпоралне логике. Теорија скупова.

На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама. Кроз студијски истраживачки рад студент, проучавајући научне часописе и осталу литературу самостално продубљује градиво са предавања. Уз рад са наставником студент се оспособљава за самостално писање научног рада.

Аутори Назив Година Издавач Језик
A. Nerode, R. Shore Logic for Application 1996 Springer-Verlag, Berlin Енглески
Јаничић, П. Математичка логика у рачунарству 2009 Математички факултет, Београд Енглески
К.Дошен, З.Марковић, Ж.Мијајловић Хилбертови проблеми и логика 1986 Завод за уџбенике и наставна средства, Београд Енглески
Michael Huth, Mark Ryan Logic in Computer Science: Modelling and Reasoning about Systems 2004 Cambridge Енглески
Предметна активност Предиспитна Обавезна Број поена
Предметна активност
Усмени део испита
Предиспитна
Не
Обавезна
Да
Број поена
50.00
Предметна активност
Семинарски рад
Предиспитна
Да
Обавезна
Да
Број поена
50.00
API Image

проф. др Силвиа Гилезан

Редовни професор

Предавања

API Image

проф. др Силвиа Гилезан

Редовни професор

Студијски истраживачки рад