at the Unit of Logic and
Computation
of the Department of
Mathematics of IST:

- Algorithms and Computational Modelling AMC
- Computation and Programming CP
- Discrete Mathematics MD
- Elements of Discrete Mathematics EMD
- Elements of Programming EPro
- Introduction to Computability and Complexity ICC
- Introduction to Optimization IO
- Mathematical Logic LM
- Theory of Computation TCom

- Computability and Complexity CC
- Cryptography and Security Protocols CPS
- Logic
and Model Checking LVM

- Foundations of Logic and Theory of Computation FLTC

Tutorial courses offered to PhD programs

- Advanced Topics in Information Security I TASI-I
- Computability and Complexity of Learning CCA
- Functional Logic and Proof Theory LFTD
- Kleistic Logic LCle
- Modal Logic LMod
- Quantum Computation, Information and Logic CILQ
- Theory of Computability, Complexity and Information TCCI

Last update: September 29, 2015.