Discrete structures
| 1. | Course title | Discrete structures | ||||||||||||
| 2. | Code | F18L1W031 | ||||||||||||
| 3. | Study programme | |||||||||||||
| 4. | Organizer of the study programme (unit, institute, department) | Faculty of Computer Science and Engineering | ||||||||||||
| 5. | Degree level (first, second, third cycle) | First cycle | ||||||||||||
| 6. | Academic year / semester | 1 / Winter | ||||||||||||
| 7. | Number of ECTS credits | 6 | ||||||||||||
| 8. | Teacher | — | ||||||||||||
| 9. | Prerequisites for enrolling in the course | — | ||||||||||||
| 10. | Course objectives (competences) | To introduce students to basic mathematical concepts as a foundation for the following courses in information technologies, computer and software engineering. | ||||||||||||
| 11. | Course content | Propositional logic and Laws of logic. Predicate logic and quantifiers. Rules of inference. Proofs and proof techniques. Sets. Functions and cardinality. Sums. Divisibility. Boolean algebra, Boolean functions, logic gates and minimization. | ||||||||||||
| 12. | Learning methods | Lectures using presentations, interactive lectures, exercises (using equipment and software packages), teamwork, case studies, guest lecturers, independent preparation and defense of a project assignment and a seminar paper. | ||||||||||||
| 13. | Total available time | 6 ECTS x 30 hours = 180 hours | ||||||||||||
| 14. | Distribution of the available time | 45 + 45 + 0 + 0 + 90 = 180 hours | ||||||||||||
| 15. | Forms of teaching activities |
| ||||||||||||
| 16. | Other forms of activities |
| ||||||||||||
| 17. | Grading |
| ||||||||||||
| 18. | Grading criteria (points / grade) |
| ||||||||||||
| 19. | Requirements for signature and taking the final exam | Activities 15.2 and 16.1 have been completed. | ||||||||||||
| 20. | Language of instruction | Macedonian and English | ||||||||||||
| 21. | Method of monitoring teaching quality | internal evaluation and survey mechanism | ||||||||||||
| 22. | Literature |
|