Филозофија

Не постоје подаци о траженом курсу.
План курса:

1. недеља
предавање - Место логике у филозофији и математици, појам исказа, везници
Основе класичне исказне логике

2. недеља
предавање - Индуктивне дефиниције, појам формалног језика
Индуктивне дефиниције, појам формалног језика, формални језик исказне логике, објект језик и метајезик

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

4. недеља
предавање - Теорема о замени еквивалената
Теорема о замени еквивалената, одлучивост класичне исказне логике методом чишћења

5. недеља
предавање - Појам формалног система, неформални опис природне дедукције

6. недеља
предавање - Формални опис природнодедукцијског система за класичну исказну логику
Формални опис природнодедукцијског система за класичну исказну логику, појам секвента

7. недеља
предавање - Булове алгебре, Линденбаумова алгебра

8. недеља
предавање - Везе између везника, функционална потпуност одрећених скупова везника

9. недеља
предавање - Конјунктивна и дисјунктивна нормална форма

10. недеља
предавање - Дуалност измећу конјункције и дисјункције

11. недеља
предавање - Хилбертовски системи, теорема дедукције

12. недеља
предавање - Теорема потпуности, доказана преко постовске потпуности
Теорема потпуности, доказана преко постовске потпуности, свођењем на конјунктивну нормалну форму

13. недеља
предавање - Исказна логика и аргументација
Литература и извори података:
Општа допунска литература
Е.Џ. Лемон, Упознавање са логиком (друго издање, Јасен, Никшић, 2002, главе 1 и 2);
П. Јаничић, Математичка логика у рачунарству (Математички факултет, Београд, 2004, глава 2, нарочито одељак 2.3.2);
А. Крон, Логика (Универзитет у Београду, 1998, стр. 1-144);
М. Божић и С. Вујић, Математичка логика са елементима опште логике (Научна књига, Београд, 1979);
D. van Dalen, Logic and Structure (више издања почевши од другог, Springer, Berlin, 1983, глава 1)
↑↑↑