Предмет: Представљање знања и аутоматско закључивање (17.DOM47Z )
Студијски програми предмета:
| Степен и врста студија | Назив |
|---|---|
| Докторске студије | Математика у техници (Година: 2, Семестар: Зимски) |
Стицање основних знања о представљању знања и аутоматском закључивању и укључивање у научно-истраживачки рад.
Познавање основних појмова и резултата у области представљања знања и аутоматског закључивања. Укључивање у истраживање из одређених области представљања знања и аутоматског закључивања, по избору студента, а у сарадњи са научницима из земље и иностранства.
Класична логика. Ербранова теорема и Сколемова форма. Резолуција и аналитички табло у предикатској логици. Модалне логике (логике знања, темпоралне логике, динамичке логике). Вероватносне логике. Логике за немононотоно резоновање. Поливалентне логике.
На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. Студент самостално проучава додатну литературу и дискутује је са наставником на консултацијама. Кроз студијски истраживачки рад студент, проучавајући научне часописе и осталу литературу самостално продубљује градиво са предавања. Уз рад са наставником студент се оспособљава за самостално писање научног рада.
| Аутори | Назив | Година | Издавач | Језик |
|---|---|---|---|---|
| 2005 | Енглески | |||
| Зоран Огњановић, Ненад Крџавац | Увод у теоријско рачунарство | 2005 | Факултет организационих наука, Београд | Српски језик |
| 2003 | Енглески | |||
| Јаничић, П. | Математичка логика у рачунарству | 2009 | Математички факултет, Београд | Српски језик |
| 1990 | Енглески | |||
| 1981 | Енглески |
| Предметна активност | Предиспитна | Обавезна | Број поена |
|---|---|---|---|
| Предметна активност Теоријски део испита |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
| Предметна активност Семинарски рад |
Предиспитна Да |
Обавезна Да |
Број поена 50.00 |
