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

دانشیار

تاریخ به‌روزرسانی: 1404/01/22

مجید علی زاده

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

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

  1. نظریه برهان با نگاه جبری
    مسعود معمارزاده 1403
  2. مطالعه نحوی منطق شرطی اکید
    ناربه ابولیان 1401
  3. بررسی تجزیه هایی از واژه 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