26Е082ОПДМ - Одабрана поглавља из дискретне математике
| Спецификација предмета | ||||
|---|---|---|---|---|
| Назив | Одабрана поглавља из дискретне математике | |||
| Акроним | 26Е082ОПДМ | |||
| Студијски програм | Електротехника и рачунарство | |||
| Модул | модул Рачунарска техника и информатика | |||
| Тип студија | основне академске студије | |||
| Наставник (предавач) | ||||
| Наставник/сарадник (вежбе) | ||||
| Наставник/сарадник (ДОН) | ||||
| Број ЕСПБ | 3.0 | Статус предмета | изборни | |
| Условљност другим предметима | Положен предмет Математика 1 (ОО1ММ1) | |||
| Циљеви изучавања предмета | Стицање основних знања из математичке логике, коначних поља, теорије мрежа, као и разумевање веза између рачунарства и формалне математике. | |||
| Исходи учења (стечена знања) | Студент има основна знања из математичке логике и формалних дедуктивних система и разуме везе и примене логике у аутоматском резоновању. Разуме појмове: формалне израчунљивости и разликује класе сложености. Има основна знања из теорије мрежа и коначних поља. Оспособљен је да решава задатке из наведених области, | |||
| Садржај предмета | ||||
| Садржај теоријске наставе | Интуитивни и формални појам алгоритма. Увод у сложеност алгоритама. Основни појмови исказне и предикатске логике. Аутоматско резоновање у исказној и логици првог реда. Метод резолуције. Основни појмови теорије мрежа. Коначна поља. | |||
| Садржај практичне наставе | Одговарајући задаци из наведених теоријских области. За решавање појединих проблема користиће се Python (PyFinite и LattPy), SAT решавачи (MiniSat), FOL доказивачи (Isabelle). | |||
| Литература | ||||
| ||||
| Број часова активне наставе недељно током семестра/триместра/године | ||||
| Предавања | Вежбе | ДОН | Студијски и истраживачки рад | Остали часови |
| 1 | 1 | 0.5 | ||
| Методе извођења наставе | Комбинација традиционалних излагања на табли, коришћења слајдова, индивидуалног рада са студентима на изради домаћих задатака и објашњавању текућег градива. | |||
| Оцена знања (максимални број поена 100) | ||||
| Предиспитне обавезе | Поена | Завршни испит | Поена | |
| Активности у току предавања | Писмени испит | 60 | ||
| Практична настава | Усмени испит | |||
| Пројекти | ||||
| Колоквијуми | 40 | |||
| Семинари | ||||