Mojtaba Mojtahedi
Personal Homepage
Toggle Navigation
  • About me
  • Publications
  • Education
  • Current Courses
    • کامپایلر
    • مبانی نظریّه محاسبه
    • برنامه‌سازی منطقی
  • Contact Information
  • Login

Education

Foundation of Mathematics

ODE

Theoretical CS

Database

First Course in Logic

Advanced Logic

Software Foundations

An introduction to the programming language Coq and Lambda Calculus

Theory of Computation I

Theory of Computation II

Compilers

  • You are here:  
  • Home
  • Education

Back to Top

© 2022 Mojtaba Mojtahedi Personal Home Page