- Introduction
- Objectives and competences
- Admission and pre-enrolment
- Course curriculum
- Placements
- Teaching methodology and assessment system
- Career opportunities
- Support for studying
- Enrolment
- Calendar, timetables, classrooms and assessment
- Course plans and teaching staff
- Course details
- Information for prospective students
Information for the student – Pure and Applied Logic (biennial)
Course plans
List of subjects 2024-2025
| Subject | Type | Language | Credits |
|---|---|---|---|
| Specialization: Pure and Applied Logic | |||
| Algebraic Logic | OP | 2nd semester | 5 |
| Algorithms for VLSI | OP | 1st semester | 6 |
| Basic Model Theory | CM | 2nd semester | 6 |
| Basic Set Theory | CM | 1st semester | 6 |
| Combinatorial Problem Solving | OP | 2nd semester | 6 |
| Combinatory Set Theory | OP | 2nd semester | 5 |
| Computability Theory | CM | 1st semester | 6 |
| Computational Complexity | OP | 2nd semester | 6 |
| Final Project | CM | 2nd semester | 20 |
| Introduction to Mathematical Logic | OP | 1st semester | 5 |
| Mathematical Logic | CM | 2nd semester | 6 |
| Modal Logic | OP | 2nd semester | 5 |
| Non-Classical Logics | CM | 1st semester | 6 |
| Orders, Reticles and Boolean Algebra | OP | 1st semester | 5 |
| Universal Algebra | OP | 1st semester | 5 |
