دانشیار
تاریخ به‌روزرسانی: 1404/02/17
مرتضی منیری
علوم ریاضی / ریاضی
رساله های دکتری
-
نظریه مدل محدود و حساب محدود
ابوالفضل علم 1400 -
منطق هایی برای سیستم های دینامیکی
سمیه چپقلو 1399 -
درستی شهودی و کلاسیک در مدل های کریپکی
مریم عبیری 1397 -
منطق کوانتومی پویا
الهه شیرین کلام 1397 -
نظریه مدل های منطق شهودی
فاطمه شیرمحمدزاده ملکی 1395 -
برش در نظریه مدل حساب محدود
سیدحسین سجادی 1391 -
BL- جبرها و منطق شهودی
هادی فراهانی 1390
پایان‌نامه‌های کارشناسی‌ارشد
-
یادگیری فعال برای ماشین های با حالات متناهی تعمیم یافته
امیررضا آزادی 1403 -
برنامه ریزی حرکت ربات های سیار در منطق زمان
دلارام کیانی رضازاده 1403 -
منطق مودال فازی برای سیستم های انتقال فازی
محمدمهدی ابادم بیک خرقانیان 1403 -
حالت های تعادل برای بازی های با اهداف کمی و کیفی
سهیل شیرپور 1402 -
گسترش منطق پویا توسط بازتعریف اعمال انتزاعی
مریم حکمیان 1402 -
قاعده برش و حذف توپولوژی در منطق وجهی S5
زهرا ساعتیان 1401 -
بررسی تناظر بین خواص وجهی و رابطه ای در منطق وجهی شهودی
عادل قباخلو 1401 -
مطالعه زبان های طبیعی بر پایه منطق
حافظ کامرانی درگیری 1400 -
چندمجموعه ها در نظریه گونه ها
کیان ادیب غیاثی 1400 -
قاب های توپولوژی وتوپولوژی چندگانه درزمینه منطق وجهی شهودی
علی ناصری 1400 -
یک دستگاه اصل موضوعی برای منطق کوانتومی با الهام از محاسبات کوانتومی
عطیه پوردرخشان 1398 -
منطق زمانی توزیع شده برای تجزیه و تحلیل مدل های پروتکل های امنیتی
سمن پروانه 1397 -
تعمیم قضیه مای هیل-نرود برای زبان های فازی
محمد بابائی 1397 -
رابط XNOR فازی در منطق فازی
اسلام همتی اقدم 1396 -
اتوماتا و ماشین های تورینگ L- فازی در مشبکه های باقی مانده کامل
رضوان گودرزی 1396 -
استنتاج و درون یابی در منطق لوکاسیویچ
زهره رسول خانی بلگه شیری 1396 -
دِگَرشگَرهای بسیار و کم و بیش در منطق فازی ناجابجایی
مجید علائی 1395 -
معناشناسی امکان برای منطق شهودی
حامد رضائی 1394 -
مشخص سازی مدل تئوریک فرمول های گزاره ای شهودگرایانه
امین تخسیده 1394 -
برخی قضیه های سرشت نمایی و حفظ در منطق وجهی
کوشا شفیعی 1394 -
کلاس های اصل پذیر از مدل های شهودی
صفیه خزائی 1394 -
منطق های توجیهی و منطق های ترکیبی
سارا الهی 1394 -
تشابه های دو سویی بین مدل های کریپکی در منطق شهودی مرتبه اول
محمد محمدی تلوار 1393 -
نگاشت های حافظ در منطق محمولات فازی
فریدون توکلی 1393 -
استقلال اصول BL و MTL
مژده مرادی ولی 1393 -
منطق پویای شهودی
سمکو فیض اله زاده 1393 -
استدلال در نظریه بازی ها
مهرداد سعادتی پور 1393 -
منطق شناختی مرتبه اول برای نمایش دانش در سیستم های چند عاملی
محسن نورانی 1392 -
منطق وجهی با شمارش
حمزه محمدی 1392 -
بیان پذیری و تمامیت برای منطق های بروزرسانی عمومی از طریق اصول کاهشی
اعظم نوری 1391 -
منطق شناختی پویا و حساب
سمیه چپقلو 1391 -
استفاده از منطق های وجهی برای بیان و بررسی ویزگی های سرتاسری گراف ها
وحید عزیزی نصرآبادی 1391 -
یک منطق پویا برای حفظ حریم خصوصی
مرجان موحدان پیمان حق 1391 -
رویکرد عامل های قاعده مدار برای حل مسئله دانش کامل منطقی در منطق شناختی
سمیه خلیلی نژاد 1390 -
منطق شناختی پویای احتمالاتی
امیرحسین شرفی 1390 -
رویکردی جدید به قضایای گودل
علی ولی زاده 1387