Предмет: Одабрана поглавља из логике (17.0M507 )
Матичне организационе јединице предмета: Департман за опште дисциплине у техници
Студијски програми предмета:
| Степен и врста студија | Назив |
|---|---|
| Мастер академске студије |
Математика у техници ( |
Стицање основних знања из математичке логике укључивање у научно-истраживачки рад.
Познавање основних појмова и резултата из математичке логике. Укључивање у истраживање у ужој области из одредјених области из логике, по избору студента, а у сарадњи са научницима из земље и иностранства.
Основни појмови из синтаксе исказног рачуна. Класична логика. Интуиционистичка логика. Исказни рачун. Основни појмови из синтаксе предикатског рачуна. Аксиоматски (Хилбертов) систем, природна дедукција (Гентзен, Праwитз), секвентни рачун (Гентзен). Рачунске интерпретације логика: ламбда рачун и теорија комбинатора. Рачуни без типова. Основни рачуни са типовима. Цуррy-Хоwард кореспонденција (формуле-као-типови, докази-као-терми) измедју логичких система и ламбда рачуна, односно теорије комбинатора. Основни појмови из семантике логичких система. Метод ДПЛЛ, метод таблоа, метод резолуције.
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама.
| Аутори | Назив | Година | Издавач | Језик |
|---|---|---|---|---|
| 2002 | Енглески | |||
| 1984 | Енглески | |||
| 2013 | Енглески | |||
| Јаничић, П. | Математичка логика у рачунарству | 2009 | Математички факултет, Београд | Српски језик |
| Зоран Огњановић, Силвиа Гилезан: | Увод у теоријско рачунарство | 2012 | Завод за уџбенике и наставна средства, Београд | Српски језик |
| 2002 | Енглески | |||
| 2006 | Енглески |
| Предметна активност | Предиспитна | Обавезна | Број поена |
|---|---|---|---|
| Предметна активност Присуство на вежбама |
Предиспитна Да |
Обавезна Да |
Број поена 2.00 |
| Предметна активност Присуство на предавањима |
Предиспитна Да |
Обавезна Да |
Број поена 3.00 |
| Предметна активност Теоријски део испита |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
| Предметна активност Семинарски рад |
Предиспитна Да |
Обавезна Да |
Број поена 45.00 |
проф. др Силвиа Гилезан
Редовни професор
Предавања
ванр. проф. др Јелена Иветић
Ванредни професор
Предавања
Асистент Радојка Цигановић
Асистент
Аудиторне вежбе
