menu
Majid Alizadeh

Associate Professor

Update: 2026-09-23

Majid Alizadeh

دانشکده ریاضی، آمار و علوم کامپیوتر / گروه آموزشی علوم کامپیوتر

P.H.D dissertations

  1. نظریه برهان با نگاه جبری
    مسعود معمارزاده 2024
  2. مطالعه نحوی منطق شرطی اکید
    ناربه ابولیان 2022
  3. بررسی تجزیه هایی از واژه m- بوناچی با استفاده از ترکیبیات و نظریه اتومات
    ماریه جهان نیا 2022

Master Theses

  1. درونیابی یک نواخت در منطق های غیر کلاسیک و پیاده سازی آن در اثبات یار coq
    پرنیان نادری 2025
  2. بهبود روش وارسی مدل با استفاده از تعبیر مجرد
    پویا پرتو 2023
  3. نظریه تسویر تعمیم یافته و زبان طبیعی
    سعیده کرمانی 2023
  4. روش های خودکار برای اثبات یارها
    علیرضا ظهوریان 2020
  5. منطق تفسير پذيري ومدل هاي ولتمن تكميل كرده
    محمدامین حمله داری نجف ابادی 2018
  6. بررسي قضيه ي دسته بندي وجهي روي رده هاي خاص از قاب ها
    سارا دربندی 2018
  7. منطق براي نرم افزارهاي اجتماعي
    بردیا دوستی 2018
  8. گسترش لكس براي فانكتورهاي هم - جبري
    زینب بختیاری نوده 2018
  9. گراف اشتراكي و مجتمع هاي سادگي اشتراكي روي مجموعه هاي مرتب جزئي
    پیمان میرزایی شیخطبقی 2018
  10. منطق هاي زيرقابي وجهي و شهودي
    امیرهمایون نجاح 2018
  11. مطالعه معناشناسانه منطق وجهي ربطي
    سعیدرضا غضنفری 2018
  12. درونيابي در منطق هاي غيركلاسيك
    فرزانه درخشان 2018
  13. وارسي مدل سيستم هاي چندعاملي
    امیرهوشنگ حسین پوردهکردی 2018
  14. تصادف از ديدگاه الگوريتمي و احتمالاتي در دستگاه هاي ديناميكي
    محمدصادق خسروانی 2018
  15. طبيعت مفهوم نامتناهي
    فاطمه مشهدی راویز 2018
  16. فرمول هاي پايدار در منطق شهودگرايانه
    سیدمحمدجواد طاهری خرم ابادی 2018
  17. وارسي چندارزشي مدل
    هانی بیرامی 2018
  18. منطق نقطه ثابت وجهي
    شایسته نعیم آبادی 2018
  19. منطق باور شرطي ويادگيري
    علی فرجامی 2018
  20. كامل سازي و تئوري دوگانگي براي ساختارهاي جبري
    محمد جباری 2018
  21. نظريه هم جبري اتوماتها
    فاطمه سیفان 2018