menu
Majid Alizadeh

Associate Professor

Update: 2024-12-04

Majid Alizadeh

College of Science / Faculty of Mathematics, Statistics and Computer Science

P.H.D dissertations

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

Master Theses

  1. بهبود روش وارسی مدل با استفاده از تعبیر مجرد
    پویا پرتو 2023
  2. نظریه تسویر تعمیم یافته و زبان طبیعی
    سعیده کرمانی 2023
  3. روش های خودکار برای اثبات یارها
    علیرضا ظهوریان 2020
  4. منطق تفسير پذيري ومدل هاي ولتمن تكميل كرده
    محمدامین حمله داری نجف ابادی 2018
  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