Filozofija
Не постоје подаци о траженом курсу.
План курса:
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)