Subject
Дискретни структури 1
| 1. | Course Title |
Дискретни структури 1 Discrete structures 1 |
||||||||||||
| 2. | Code | F23L2W031 | ||||||||||||
| 3. | Study Programme | Computer Science | ||||||||||||
| 4. | Organizer of the study programme (unit, institute, department or division) | Faculty of Computer Science and Engineering | ||||||||||||
| 5. | Degree level (first, second, third cycle) | Прв циклус | ||||||||||||
| 6. | Academic year / semester | 1 / Зимски | ||||||||||||
| 7. | Number of ECTS credits | 6 | ||||||||||||
| 8. | Teacher | Билјана Тојтовска Рибарски, Дејан Спасов, Наташа Илиевска | ||||||||||||
| 9. | Prerequisites for enrolling in the course | — | ||||||||||||
| 10. | Objectives of the course programme (competences) | Во овој предмет ќе се изучуваат базични математички концепти за компјутерски науки. Студентите ќе се запознаат со основите на множества, исказна и предикатна логика, техники за докажување и булова алгебра. | ||||||||||||
| 11. | Course content | Исказна логика и логички закони. Предикатна логика и квантификатори. Изведување на логички заклучоци. Докази и техники за докажување. Множества. Функции и кардиналност., Суми. Деливост. Индукција. Булови алгебри, Булови функции, логички кола и минимизација. | ||||||||||||
| 12. | Learning methods | Предавања со користење на презентации, интерактивни предавања, вежби (користење на опрема и софтверски пакети), тимска работа, пример случаи, поканети гости предавачи, самостојна изработка и одбрана на проектна задача и семинарска работа. | ||||||||||||
| 13. | Total available time | 6 ECTS x 30 hours = 180 hours | ||||||||||||
| 14. | Distribution of available time | 45 + 45 + 0 + 0 + 90 = 180 часа | ||||||||||||
| 15. | Forms of teaching activities |
|
||||||||||||
| 16. | Other forms of activities |
|
||||||||||||
| 17. | Assessment method |
|
||||||||||||
| 18. | Grading criteria (points / grade) |
|
||||||||||||
| 19. | Requirement for obtaining a signature and taking the final exam | Реализирани актибвности 15.2 и 16.1 | ||||||||||||
| 20. | Language of instruction | Macedonian and English | ||||||||||||
| 21. | Method for monitoring the quality of teaching | internal evaluation and survey mechanism | ||||||||||||
| 22. | Literature |
|