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