منو
مجید علی زاده

دانشیار

تاریخ به‌روزرسانی: 1403/09/14

مجید علی زاده

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

رساله های دکتری

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

پایان‌نامه‌های کارشناسی‌ارشد

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