Subject
Discrete Structures 1
| 1. | Course Title |
Discrete Structures 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) | First Cycle | ||||||||||||
| 6. | Academic year / semester | 1 / Winter | ||||||||||||
| 7. | Number of ECTS credits | 6 | ||||||||||||
| 8. | Teacher | Biljana Toytovska Ribarski, Dejan Spasov, Natasha Ilievska | ||||||||||||
| 9. | Prerequisites for enrolling in the course | — | ||||||||||||
| 10. | Objectives of the course programme (competences) | In this course, basic mathematical concepts for computer science will be studied. Students will be introduced to the fundamentals of sets, propositional and predicate logic, proof techniques, and Boolean algebra. | ||||||||||||
| 11. | Course content | Expressive logic and logical laws. Predicate logic and quantifiers. Deriving logical inferences. Proofs and proof techniques. Sets. Functions and cardinality. Sum sets. Divisibility. Induction. Boolean algebras, Boolean functions, logic circuits, 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 available time | 45 + 45 + 0 + 0 + 90 = 180 hours | ||||||||||||
| 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 | Activities 15.2 and 16.1 have been completed. | ||||||||||||
| 20. | Language of instruction | Macedonian and English | ||||||||||||
| 21. | Method for monitoring the quality of teaching | internal evaluation and survey mechanism | ||||||||||||
| 22. | Literature |
|