|
Курс: Предикатска логика (2. семестар) У оквиру предмета: Логика Предавачи др Милош Аџић, ванредни професор др Јована Костић, доцент обавезни курс Број бодова: 14.00 Садржај курса: Основе класичне предикатске логике, основни појмови о синтакси и семантици, основни појмови о природној дедукцији
Циљ изучавања курса: Студент треба да научи шта је то језик првог реда, да распознаје неке ваљане аргументе од неваљаних у класичној предикатској логици и да доказује у формалном систему класичне предикатске логике.
App.preduslovi_za_polaganje: Исказне логике из зимског семестра Облици наставе:
Курс се одржава у летњем семестру на првој години студија филозофије. Једном недељно држе се два часа предавања и једном недељно четири часа вежби. На вежбама се раде задаци који прате предавања. Вежбе се не састоје у томе да асистент ради задатке на табли, а студенти преписују, него студенти добију задатке и раде их сами, консултујући се са асистентом и једни са другима. Када је свима оставио довољно времена да пробају да реше задатак, асистент или неко од студената на табли изложи тачно решење. Обавезе студената: Предиспитна обавеза студената је похађање предавања и вежби. nacin_ocenjivanja_rada_i_rezultata: Испит је писмени и усмени, после одслушаног другог семестра. На усмени се позива само ко је положио писмени. Предиспитне обавезе (похађање предавања и вежби) доносе највише 30 поена. Испит, писмени и усмени заједно, доноси највише 70 поена. План курса: 1. недеља предавање - Појам терма и предиката, променљиве, квантификатори Појам терма и предиката, променљиве, квантификатори 2. недеља предавање - Релацијско-операцијске структуре, језик првог реда неке структуре 3. недеља предавање - Слободне и везане променљиве, супституција терама 4. недеља предавање - Правила природне дедукције за класичну предикатску логику 5. недеља предавање - Основне теореме предикатске логике, правила пасажа 6. недеља предавање - Пренексна нормална форма 7. недеља предавање - Интерпретације и релација задовољивости, појам модела 8. недеља предавање - Ваљане формуле, ограничени квантификатори 9. недеља предавање - Формални опис природнодедукцијског система за предикатску логику Формални опис природнодедукцијског система за предикатску логику, хилбертовска аксиоматизација 10. недеља предавање - Једнакост 11. недеља предавање - Теорије првог реда 12. недеља предавање - Потпуност предикатског рачуна 13. недеља предавање - Непотпуне теорије
Литература и извори података: Општа допунска Литература D. van Dalen, Logic and Structure (више издања почевши од другог, Springer, Berlin, 1983, глава 2); А. Крон, Логика (Универзитет у Београду, 1998, стр. 145-184); Е.Џ. Лемон, Упознавање са логиком (друго издање, Јасен, Никшић, 2002, главе 3 и 4); М. Божић и С. Вујић, Математичка логика са елементима опште логике (Научна књига, Београд, 1979); П. Јаничић, Математичка логика у рачунарству (Математички факултет, Београд, 2004, глава 3, нарочито одељак 3.3.1); С. Вујошевић, Математичка логика (ЦИД, Подгорица, 1996) С. Прешић, Елементи математичке логике (Завод за издавање уџбеника, Београд, 1972); |
