مسعود پورمهدیان - دانشگاه صنعتی امیرکبیر

خدمات ویژه: هیئت علمی دانشجویان دانش آموختگان کارکنان

مطالب پایگاه

اعضای هیات علمی

اینترنت

پست الکترونیک

اتوماسیون اداری و مکاتبات

پورتال آموزشی و پژوهشی

سامانه آموزش الکترونیک

مدیریت یادگیری - دروس حضوری

سامانه ارتقای اساتید(اوج)

سامانه جامع نظام پیشنهادها

سامانه یکپارچه کتابخانه‌ها

سامانه مدیریت یکپارچه آموزش کارکنان

دانشگاه صنعتی امیرکبیر

سامانه رزومه

مسعود پورمهدیان

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

دریافت با فرمت PDF English

پست الکترونیک:

mpourmahd

aut.ac.ir

شماره تماس:

h-index (Scopus):

6.00

ارجاعات (Scopus):

140

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

عنوان پایان‌نامه

توسط

تاریخ دفاع

بررسی خاصیت استقلال و خاصیت درختی نوع دو همجوشی و گسترش های رنگی از ساختار هروشفسکی

سمیه جلیلی قلعه

دی 1403

ساختارهای ژنریک و همجوشی نظریه ها از دیدگاه نظریه پایداری

علی ولی زاده

خرداد 1398

یک منطق زمانی دانش برای درستی یابی صوری پروتکل های تصدیق اصالت

شرر احمدی و مهران سلیمان فلاح
استاد راهنمای دیگر:

بهمن 1396

گسترش قضیه لیندشتروم به منطق های وجهی مرتبه اول و احتمالاتی

ریحانه ذوقی فرد

مهر 1396

بر هم کنش متقابل اصول کاردینال های بزرگ ،فرضیه پیوستار تعمیم یلفته فورسینگ

علی صادق دقیقی

شهریور 1396

تعریف پذیری در منطق پیوسته مرتبه اول و ارائه یک منطق مناسب برای بررسی ساختار های فرا متریک

سید محمد امین خاتمی

مرداد 1394

تشخیص پذیری برخی گروههای متناهی به وسیله گراف اول یا مرتبه و الگوی درجات

علی محمودی فر و بهروز خسروی
استاد راهنمای دیگر:

مهر 1393

منطق های چند ارزشی از دیدگاه نظریه مدل و محاسبات

نازنین روشندل توانا
استاد راهنمای دیگر: فرزاد دیده ور

شهریور 1390

خواص ایده آلهای جبری گرافها

فاطمه محمدی و داریوش کیانی
استاد راهنمای دیگر:

شهریور 1388

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

عنوان پایان‌نامه

توسط

تاریخ دفاع

فرایندهای تصادفی از دیدگاه نظریه محاسبه

فاطمه عسگری

اسفند 1403

مدل تئوری زوج ساختار ها

سیده فاطمه حجازی نژاد

شهریور 1403

مدل تئوری ساختارهای مجانبی یک بعدی

فاطمه پیمانی
استاد راهنمای دیگر: نازنین روشندل توانا

مرداد 1402

تئوری های تقریبا قطعی در منطق مرتبه اول و گسترش های آن

زهرا محمدی خان قشلاقی
استاد راهنمای دیگر: نازنین روشندل توانا

اسفند 1401

رویکرد نظریه مدلی به میدان های ارزیابی تفاضلی

بهاره بهاری نژاد

فروردین 1400

مباحثی در حساب کاردینال ها

زکیه ذاکری
استاد راهنمای دیگر: محمد گلشنی قریه علی

تیر 1399

غیر موضعی بودن در نظریه کوانتومی اطلاعات

حمیدرضا سعدی دادمرزی
استاد راهنمای دیگر: نازنین روشندل توانا

تیر 1399

حدهای فراسه *C-جبرها

مرتضی نادری
استاد راهنمای دیگر: نازنین روشندل توانا

تیر 1399

مدل تئوری میدان های ارزیابی بسته ی جبری

یاسمین طوسی نژاد

شهریور 1398

روش فراسه در منطق پیوسته

فائزه صفائی و نازنین روشندل توانا
استاد راهنمای دیگر:

بهمن 1397

تئوری های ساده و ساختار های متناهی نما

پویان گودرزی

مهر 1397

تعبیرهای توپولوژیک منطق اثبات

رامین سلیمانی

مهر 1396

منطق موجهات فورسینگ

رحمان محمدپور

شهریور 1394

مباحثی در نظریه مدل منطق موجهات

یونس احمدی

بهمن 1393

مدل تئوری ساختارهای همسایگی

محمدجواد عزیزی حقیقی

مهر 1393

نظریه مدل ساختار های تحلیلی زاریسکی

مصطفی میرابی

مهر 1392

. بررسی ساختارهای متریکی از دیدگاه نظریه مدل مجرد

ابوالفضل علم

مهر 1392

رویکردهای مدل تئوریک منطق چند وجهی (منطق موجهات)

رضا شورابی

بهمن 1391

دانش عمومی توجیه شده

ایدا چوپانی

مهر 1391

خودارجاعی توجیهات در منطق شناختی

نیما قنبری

شهریور 1391

مطالعه مجموعه جزء نامرتب جهانی همگن و وجود اتو مورفیسم ژنریک برای آن

نگار رنجبر
استاد راهنمای دیگر: فرهاد رحمتی

بهمن 1390

بررسی وجود اتومورفیسم های ژنریک روی ساختارهای مرتبه اول همگن

حامد خلیلیان

بهمن 1390

توسیع اتومورفیسم های جزئی در گراف ها و فضاهای متریک

علی صادق دقیقی

مهر 1390

تکوین مفهوم بی نهایت نزد کانتور و نسبت آن با پارادایم های ریاضی

ابوالفضل حکیمی پاریزی

شهریور 1390

کاربرد نظریه مدل در هندسه جبری

حسین تقی نژاد و فرهاد رحمتی
استاد راهنمای دیگر:

بهمن 1389

بررسی مفاهیم محاسبه پذیری فضاهای باناخ و اندازه از دیدگاه نظریه دامنه

حسین پورمهدیان
استاد راهنمای دیگر: فرهاد رحمتی

تیر 1389

پیش بینی عملکرد پروتئین با استفاده از تکنیکهای داده کاوی

سحر مدنی و مینا امین غفاری قره شیران
استاد راهنمای دیگر:

آذر 1388

حساب لاندا و محاسبات دقیق حقیقی

ماجده پاسدار
استاد راهنمای دیگر: فرهاد رحمتی

آذر 1388

تحلیل روش weihrauch درآنالیز محاسباتی

علی اکبر صفی لیان و فرزاد دیده ور
استاد راهنمای دیگر:

آبان 1388

فضای متری مخروطی و شبه متریک از دیدگاه نظریه دامنه

محسن خانی
استاد راهنمای دیگر: فرهاد رحمتی

مهر 1388

ساختارهای ژنریک وفضای اوریسون

سبحان نراقی

تیر 1388

فضاهای ژنریک و نظریه گروهها

فاطمه رهبری

آبان 1387

ساختارهای ژنریک و همجوشی تئوری های مرتبه اول

زانیار قادرنژاد

شهریور 1387

پیچیدگی اثبات

شرر احمدی و فرزاد دیده ور
استاد راهنمای دیگر:

شهریور 1387

بررسی نظریه سیستمهای دینامیکی و نظریه اندازه بااستفاده از نظریه دامنه

عاطفه کشاورزی زفرقندی
استاد راهنمای دیگر: فرزاد دیده ور

آبان 1386

مدلهای کراندار کامل از فضاهای توپولوژیک

رضا میرباقری جم

مرداد 1386

کامل سازی yoneda برای فضای شبه متریک

زهیر افتخاری فسایی

تیر 1386

منطق موجهات شهودگرایانه

سیده دانا مرعشی

تیر 1386

جازمیت در کلاسهای ممتاز

مسعود قائمی دیزیجه

دی 1385

مدلسازی صلب از دیدگاه نظریه دامنه

ایلا رستمی نسب

آبان 1385

جبرهای احتمال از دید منطق پیوسته

مرجان ادیب

آبان 1385

بعد مقطع کامل

رسول آهنگری ملکی

اسفند 1384

کتب

عنوان

نگارندگان/مترجمان

کشور ناشر

تاریخ انتشار

نسخه

Logic around the World: On the Occasion of 5th Annual Conference of the Iranian Association for Logic /

مسعود پورمهدیان، علی صادق دقیقی

ایران

مقالات مجلات

S. Jalili Galeh, M. Pourmahdian, N. Roshandel Tavana, "Generic expansions of geometric theories", Journal of Symbolic Logic, vol. 0, no. 0, pp.1-22, 2024.

N. Roshandel Tavana, M. Pourmahdian, S.m.khatami, "The Craig interpolation property in first-order G?del logic", Fuzzy Sets and Systems, vol. 485, no. 0, pp.1-10, 2024.

M. Pourmahdian, Reihaneh Zoghifard, "Probability logic: A model-theoretic perspective", Journal of Logic and Computation, vol. 131, no. 2, pp.393-415, 2021.

A. Valizadeh, M. Pourmahdian, "Pseudofiniteness in Hrushovski Constructions", Notre Dame Journal of Formal Logic, vol. 61, no. 1, pp.1-10, 2020.

A. Valizadeh, M. Pourmahdian, "Strict Superstablity and Decidability of Certain Generic Graphs", Bulletin of The Iranian Mathematical Society, vol. 45, no. 6, pp.1839-1854, 2019.

S. Ahmadi, M. Fallah, M. Pourmahdian, "On the Properties of Epistemic and Temporal Epistemic Logics of Authentication", Informatica, vol. 43, no. 0, pp.161-175, 2019.

Mohammad Amin Khatami, M. Pourmahdian, "contiuous logic", , vol. 19, no. 1, pp.89-120, 2019.

M. Pourmahdian, A. Sadegh Daghighi, "On Some Properties of Shelah Cardinals", Bulletin of The Iranian Mathematical Society, vol. 44, no. 5, pp.1117-1124, 2018.

Zaniar Ghadernezhad, Hamed Khalilian, M. Pourmahdian, "Automorphism groups of generic structures: extreme amenability and amenability", Fundamenta Mathematicae, vol. 242, no. 0, pp.1-23, 2018.

M. Pourmahdian, R. Zoghi Fard, "First-Order Modal Logic: Frame Definability and a Lindstr?m Theorem", Studia Logica, vol. 106, no. 4, pp.699-720, 2017.

A. Sadegh Daghighi, M. Pourmahdian, "The Definable Tree Property for Successors of Cardinals", Archive For Mathematical Logic, vol. 55, no. 5, pp.785-798, 2017.

S.M.A. Khatami, M. Pourmahdian, N. Roshandel Tavana, "From rational Godel logic to ultrametric logic", Journal of Logic and Computation, vol. Vol 26, no. 5, pp.1743-1767, 2016.

M. Pourmahdian, Nazanin Roshandel Tavana, F. Didehvar, "Effective metric model theory", Mathematical Structures In Computer Science, vol. 25, no. 8, pp.1779-1798, 2015.

S.M.A. Khatami, M. Pourmahdian, "On the compactness property of extensions of first-order Godel logic", Iranian Journal of Fuzzy Systems, vol. 12, no. 4, pp.101-121, 2015.

M. Pourmahdian, N. R. Tavana, "Compactness in First order Godel logics", Journal of Logic and Computation, vol. 23, no. 3, pp.473-485, 2013.

Mahdi Aliakbari, M. Pourmahdian, "COMPUTATIONAL MODELS OF CERTAIN HYPERSPACES OF QUASI-METRIC SPACES", Logical Methods In Computer Science, vol. 7, no. 4, pp.1-25, 2011.

N. Roshandel, M. Pourmahdian, F. Didehvar, "Compactness in First Order Lukasiewicz Logic", Logic Journal of The Igpl, vol. 0, no. 0, , 2011.

S.m.bagheri, M. Pourmahdian, "Omitting Types in an Intermediate Logic", Studia Logica, vol. 97, no. 3, pp.319-328, 2011.

F. Didehvar, Kaveh Ghasemlou, M. Pourmahdian, "Effectiveness in RPL, with applications to continuous logic", Annals of Pure and Applied Logic, vol. 161, no. 6, pp.788-799, 2010.

M. Ali Akbari, , M. Pourmahdian, "Any T1 space has a continuous poset model", Topology and Its Applications, vol. , no. 156, , 2009.

M. Pourmahdian, "Diagram Construction in Intuitionistic Logic", , vol. , no. 6, , 2009.

M. Ali Akbari, , M. Pourmahdian, M. Mir Mohammad Rezaii, "The Space of Formal Balls and Models of Quasi-Metric Spaces", Mathematical Structures In Computer Science, vol. , no. 19, , 2009.

M. Pourmahdian, "The Logic of Integration", Archive For Mathematical Logic, vol. , no. 2, , 2009.

M. Pourmahdian, "Elementary Amalgamation and Joint Embedding Property for Intermediate Logics", Logic Journal of The Igpl, vol. , no. 16, , 2008.

M. Pourmahdian, "A simple positive Robinson theory with Lstp ? stp", , vol. , no. 26, , 2006.

M. Pourmahdian, "The Stable Forking Conjecture in Homogeneous Model Theory", , vol. , no. 3, , 2004.

M. Pourmahdian, "Completeness of hyperspaces of compact subsets of quasi-metric spaces", Acta Mathematica Hugarica, vol. 0, no. 0, , .

دروس ارائه شده

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

Introduction to the Theory of Computation

4051

Introduction to Logic & Set Theory

4042

Theory of Computation

4032

Theory of Computation

4032

Introduction to the Theory of Computation

4031