19Д081АР - Аутоматско резоновање
| Спецификација предмета | ||||
|---|---|---|---|---|
| Назив | Аутоматско резоновање | |||
| Акроним | 19Д081АР | |||
| Студијски програм | Електротехника и рачунарство | |||
| Модул | модул Примењена математика | |||
| Тип студија | докторске академске студије | |||
| Наставник (предавач) | ||||
| Наставник/сарадник (вежбе) | ||||
| Наставник/сарадник (ДОН) | ||||
| Број ЕСПБ | 9.0 | Статус предмета | изборни | |
| Условљност другим предметима | нема | |||
| Циљеви изучавања предмета | Упознавање студената са основним методама и техникама аутоматског резоновања и применама у математици, рачунарству и електротехници | |||
| Исходи учења (стечена знања) | Студенат је способан да препозна и реши неке проблеме из електротехнике и рачунарства применом идеја и техника аутоматског резоновања. | |||
| Садржај предмета | ||||
| Садржај теоријске наставе | Представљање знања. Класичне и некласичне логике. Дедуктивни системи . Технике и стратегије аутоматског резоновања. Резоновање базирано на моделима, под задатим условима, временски одређено резозовање, хеуристичко резоновање. Логичко програмирање. Разумевање и превођење језика. Софтверски агенти. Верификација и контрола софтвера. | |||
| Садржај практичне наставе | Одговарајући задаци из наведених области теоријске наставе. | |||
| Литература | ||||
| ||||
| Број часова активне наставе недељно током семестра/триместра/године | ||||
| Предавања | Вежбе | ДОН | Студијски и истраживачки рад | Остали часови |
| 8 | ||||
| Методе извођења наставе | предавања , аудиторне вежбе, дискусије. | |||
| Оцена знања (максимални број поена 100) | ||||
| Предиспитне обавезе | Поена | Завршни испит | Поена | |
| Активности у току предавања | 0 | Писмени испит | 30 | |
| Практична настава | 0 | Усмени испит | 0 | |
| Пројекти | 0 | |||
| Колоквијуми | ||||
| Семинари | 70 | |||