Дискретни структури 1
| 1. | Наслов на наставниот предмет | Дискретни структури 1 Discrete structures | ||||||||||||
| 2. | Код | F18L1W031 | ||||||||||||
| 3. | Студиска програма | |||||||||||||
| 4. | Организатор на студиската програма (единица, односно институт, катедра, оддел) | Факултет за информатички науки и компјутерско инженерство | ||||||||||||
| 5. | Степен (прв, втор, трет циклус) | Прв циклус | ||||||||||||
| 6. | Академска година / семестар | 1 / Зимски | ||||||||||||
| 7. | Број на ЕКТС кредити | 6 | ||||||||||||
| 8. | Наставник | — | ||||||||||||
| 9. | Предуслови за запишување на предметот | — | ||||||||||||
| 10. | Цели на предметната програма (компетенции) | Во овој предмет ќе се изучуваат базични математички концепти за компјутерски науки. Студентите ќе се запознаат со основите на множества, исказна и предикатна логика, техники за докажување и булова алгебра. | ||||||||||||
| 11. | Содржина на предметната програма | Исказна логика и логички закони. Предикатна логика и квантификатори. Изведување на логички заклучоци. Докази и техники за докажување. Множества. Функции и кардиналност., Суми. Деливост. Булови алгебри, Булови функции, логички кола и минимизација. | ||||||||||||
| 12. | Методи на учење | Предавања со користење на презентации, интерактивни предавања, вежби (користење на опрема и софтверски пакети), тимска работа, пример случаи, поканети гости предавачи, самостојна изработка и одбрана на проектна задача и семинарска работа. | ||||||||||||
| 13. | Вкупен расположив фонд на време | 6 ЕКТС x 30 часа = 180 часа | ||||||||||||
| 14. | Распределба на расположивото време | 45 + 45 + 0 + 0 + 90 = 180 часа | ||||||||||||
| 15. | Форми на наставните активности |
| ||||||||||||
| 16. | Други форми на активности |
| ||||||||||||
| 17. | Начин на оценување |
| ||||||||||||
| 18. | Критериуми за оценување (бодови/ оценка) |
| ||||||||||||
| 19. | Услов за потпис и полагање на завршен испит | Реализирани актибвности 15.2 и 16.1 | ||||||||||||
| 20. | Јазик на кој се изведува наставата | Македонски и англиски | ||||||||||||
| 21. | Метод на следење на квалитетот на наставата | механизам на интерна евалуација и анкети | ||||||||||||
| 22. | Литература |
|
