26E082OPDM - Selected Topics in Discrete Mathematics
| Course specification | ||||
|---|---|---|---|---|
| Course title | Selected Topics in Discrete Mathematics | |||
| Acronym | 26E082OPDM | |||
| Study programme | Electrical Engineering and Computing | |||
| Module | Computer Engineering and Informatics | |||
| Type of study | bachelor academic studies | |||
| Lecturer (for classes) | ||||
| Lecturer/Associate (for practice) | ||||
| Lecturer/Associate (for OTC) | ||||
| ESPB | 3.0 | Status | elective | |
| Condition | Prerequisite: Mathematics 1 (19E081MM1) | |||
| The goal | Acquiring basic knowledge in mathematical logic, finite fields, lattice theory, as well as understanding connection between computer engineering and formal mathematics. | |||
| The outcome | Student acquires basic knowledge in mathematical logic, and formal deductive systems and understands the connections and applications of mathmatical logic in authomatic reasoning. Student understands the concepts: formal computability and distinguishes between classes of complexity. Has basic knowledge in lattice theory and finite fields. Student is able to solve problems in these topics, | |||
| Contents | ||||
| Contents of lectures | Intuitive and formal concept of algorithm. Introduction to complexity of algorithms. Basic concepts in propositional and predicate logic, Automatic reasoning in propositional and first-order logic. Resolution principle. Basic concepts in lattice theory. Finite fields. | |||
| Contents of exercises | Corresponding tasks from the listed theoretical areas. For solving specific problems Python (PyFinite i LattPy), SAT solvers (MiniSat), FOL prover (Isabelle) will be used. | |||
| Literature | ||||
| ||||
| Number of hours per week during the semester/trimester/year | ||||
| Lectures | Exercises | OTC | Study and Research | Other classes |
| 1 | 1 | 0.5 | ||
| Methods of teaching | Combination of traditional presentation on blackboard, slides, individual work with students while working on home work tasks, and explanation of current topics. | |||
| Knowledge score (maximum points 100) | ||||
| Pre obligations | Points | Final exam | Points | |
| Activites during lectures | Test paper | 60 | ||
| Practical lessons | Oral examination | |||
| Projects | ||||
| Colloquia | 40 | |||
| Seminars | ||||