Information for the student – Pure and Applied Logic (biennial)
Course plans
List of subjects 2025-2026
| Subject | Type | Language | Credits |
|---|---|---|---|
| Specialization: Pure and Applied Logic | |||
| Abstract Algebraic Logic | OP | 1st semester | 5 |
| Advanced Model Theory | OP | 1st semester | 5 |
| Algebraic Logic | OP | 2nd semester | 5 |
| Algorithms for VLSI | OP | 1st semester | 6 |
| Basic Model Theory | CM | 2nd semester | 6 |
| Basic Set Theory | CM | 2nd semester | 6 |
| Combinatorial Problem Solving | OP | 2nd semester | 6 |
| Combinatory Set Theory | OP | 2nd semester | 5 |
| Computability Theory | CM | 2nd semester | 6 |
| Computational Complexity | OP | 2nd semester | 6 |
| Development of Formal Logic | OP | 1st semester | 5 |
| Final Project | CM | 2nd semester | 20 |
| Introduction to Mathematical Logic | OP | 2nd semester | 5 |
| Mathematical Logic | CM | 2nd semester | 6 |
| Modal Logic | OP | 2nd semester | 5 |
| Models of Set Theory | OP | 1st semester | 5 |
| Multivariate Logics | OP | 1st semester | 5 |
| Non-Classical Logics | CM | 2nd semester | 6 |
| Orders, Reticles and Boolean Algebra | OP | 2nd semester | 5 |
| Proof Theory | OP | 1st semester | 5 |
| Theorem Proving | OP | 1st semester | 5 |
| Universal Algebra | OP | 2nd semester | 5 |
