13Е083МОАР - Математичке основе аутоматског резоновања
| Спецификација предмета | ||||
|---|---|---|---|---|
| Назив | Математичке основе аутоматског резоновања | |||
| Акроним | 13Е083МОАР | |||
| Студијски програм | Електротехника и рачунарство | |||
| Модул | модул Сигнали и системи | |||
| Тип студија | основне академске студије | |||
| Наставник (предавач) | ||||
| Наставник/сарадник (вежбе) | ||||
| Наставник/сарадник (ДОН) | ||||
| Број ЕСПБ | 3.0 | Статус предмета | изборни | |
| Условљност другим предметима | Математика 1 (ОО1ММ1) | |||
| Циљеви изучавања предмета | Упознавање студената са основним концептима логичког моделовања и резоновања који се користе у аутоматском управљању процесима и системима. | |||
| Исходи учења (стечена знања) | Студенти добијају математичку основу за решавање неких проблема који се јављају при управљању процесима и системима помоћу рачунара. | |||
| Садржај предмета | ||||
| Садржај теоријске наставе | Формализација, моделовање знања и проблема коришћењем класичне и некласичних логика (фази логике, линеарне логике, модалне и темпоралне логике). Неизвесно знање и расуђивање (квантификовање неизвесности, вероватносно расуђивање). Аутоматско закључивање, опажање, планирање и деловање. | |||
| Садржај практичне наставе | Кроз примере, задатке и проблеме студент сазнаје како да примени теореме и основне појмове које је научио кроз теоријску наставу. | |||
| Литература | ||||
| ||||
| Број часова активне наставе недељно током семестра/триместра/године | ||||
| Предавања | Вежбе | ДОН | Студијски и истраживачки рад | Остали часови |
| 1 | 1 | 0.5 | ||
| Методе извођења наставе | Комбинација традиционалних излагања на табли и индивидуалног рада са студентима на изради домаћих задатака и објашњавању текућег градива. | |||
| Оцена знања (максимални број поена 100) | ||||
| Предиспитне обавезе | Поена | Завршни испит | Поена | |
| Активности у току предавања | 25 | Писмени испит | 50 | |
| Практична настава | Усмени испит | |||
| Пројекти | ||||
| Колоквијуми | ||||
| Семинари | 25 | |||