	دانشکدگان علوم
	دانشگاه تهران

پروفایل اساتید - science- دانشکدگان علوم

دانشیار

تاریخ به‌روزرسانی: 1405/07/01

مجید علی زاده

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

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

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

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

درونیابی یک نواخت در منطق های غیر کلاسیک و پیاده سازی آن در اثبات یار coq
پرنیان نادری 1404
بهبود روش وارسی مدل با استفاده از تعبیر مجرد
پویا پرتو 1402
نظریه تسویر تعمیم یافته و زبان طبیعی
سعیده کرمانی 1401
روش های خودکار برای اثبات یارها
علیرضا ظهوریان 1399
منطق تفسیر پذیری ومدل های ولتمن تکمیل کرده
محمدامین حمله داری نجف ابادی 1397
بررسی قضیه ی دسته بندی وجهی روی رده های خاص از قاب ها
سارا دربندی 1396
منطق برای نرم افزارهای اجتماعی
بردیا دوستی 1396
گسترش لکس برای فانکتورهای هم - جبری
زینب بختیاری نوده 1396
گراف اشتراکی و مجتمع های سادگی اشتراکی روی مجموعه های مرتب جزئی
پیمان میرزایی شیخطبقی 1396
منطق های زیرقابی وجهی و شهودی
امیرهمایون نجاح 1396
مطالعه معناشناسانه منطق وجهی ربطی
سعیدرضا غضنفری 1396
درونیابی در منطق های غیرکلاسیک
فرزانه درخشان 1396
وارسی مدل سیستم های چندعاملی
امیرهوشنگ حسین پوردهکردی 1396
تصادف از دیدگاه الگوریتمی و احتمالاتی در دستگاه های دینامیکی
محمدصادق خسروانی 1396
طبیعت مفهوم نامتناهی
فاطمه مشهدی راویز 1396
فرمول های پایدار در منطق شهودگرایانه
سیدمحمدجواد طاهری خرم ابادی 1396
وارسی چندارزشی مدل
هانی بیرامی 1396
منطق نقطه ثابت وجهی
شایسته نعیم آبادی 1396
منطق باور شرطی ویادگیری
علی فرجامی 1396
کامل سازی و تئوری دوگانگی برای ساختارهای جبری
محمد جباری 1396
نظریه هم جبری اتوماتها
فاطمه سیفان 1396