Предмет: Математичка логика (17.IFE230 )
Матичне организационе јединице предмета: Департман за опште дисциплине у техници, Катедра за математику
Студијски програми предмета:
| Степен и врста студија | Назив |
|---|---|
| Основне академске студије | Информациони инжењеринг (Година: 2, Семестар: Летњи) |
Стицање основних знања из математичке логике са применом у рачунарству. Развијање апстрактног размишљања и формалног закључивања код студената.
Познавање основних појмова и резултата из математичке логике. Оспособљеност студента да стечена знања и вештине користи у даљем образовању и примени.
1) Основни појмови из синтаксе исказног рачуна.
2) Класична логика. Интуиционистичка логика.
3) Аксиоматски систем, природна дедукција, секвентни рачун.
4) Основни појмови из синтаксе предикатског рачуна.
5) Основни појмови семантике логичких система. Метод ДПЛЛ, метод таблоа, метод резолуције.
6) Рачунске интерпретације логика: ламбда рачун и теорија комбинатора. Рачуни без типова. Основни рачуни са типовима.
Предавања. Вежбе. Консултације. На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. На вежбама се раде задаци који прате предавања и увежбава се градиво са предавања. Поред предавања и вежби, редовно се одржавају консултације.
| Аутори | Назив | Година | Издавач | Језик |
|---|---|---|---|---|
| Јаничић, П. | Математичка логика у рачунарству | 2007 | Математички факултет, Београд | Српски језик |
| 2014 | Енглески | |||
| Зоран Огњановић, Силвиа Гилезан | Увод у теоријско рачунарство | 2014 | ФТН | Српски језик |
| 2012 | Енглески | |||
| Коста Дошен | Основна логика | 2013 | Математички институт САНУ | Српски језик |
| Предметна активност | Предиспитна | Обавезна | Број поена |
|---|---|---|---|
| Предметна активност Писмени део испита - комбиновани задаци и теорија |
Предиспитна Не |
Обавезна Да |
Број поена 70.00 |
| Предметна активност Тест |
Предиспитна Да |
Обавезна Да |
Број поена 20.00 |
| Предметна активност Домаћи задатак |
Предиспитна Да |
Обавезна Да |
Број поена 10.00 |
проф. др Силвиа Гилезан
Редовни професор
Предавања
ванр. проф. др Јелена Иветић
Ванредни професор
Предавања
Асистент са докторатом др Симона Прокић
Асистент са докторатом
Аудиторне вежбе
