Teaching

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 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

• Topic proposals
  

• Advanced Topics in Information Security 1 TASI1
  
• Functional Logic and Proof Theory LFTD
• Kleistic Logic LCle
• Modal Logic LMod
• Quantum Computation, Information and Logic CILQ
• Probabilistic Algorithms AProb
  
• Unconventional Models of Computation NPC

Last update: July 22, 2011.