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

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

مطالب پایگاه

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

اینترنت

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

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

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

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

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

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

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

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

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

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

سامانه رزومه

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

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

دریافت با فرمت 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

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

مرتضی نادری

تیر 1399

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

زکیه ذاکری

تیر 1399

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

حمیدرضا سعدی دادمرزی

تیر 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

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

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

تیر 1386

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

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

تیر 1386

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

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

دی 1385

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

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

آبان 1385

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

مرجان ادیب

آبان 1385

بعد مقطع کامل

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

اسفند 1384

کتب

عنوان

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

کشور ناشر

تاریخ انتشار

نسخه

Landscapes in Logic: Selected Topics from Contemporary Logics

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

بریتانیا

:Lansdcapes in Logic: Contemporary Logic and Computing

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

بریتانیا

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

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

ایران

مقالات مجلات

JALILI GALEH SOMAYE ، POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "Generic expansions of geometric theories", Journal of Symbolic Logic, vol. 0, no. 0, pp.1-22, 2024.

ROSHANDEL TAVANA NAZANIN ، POURMAHDIAN MASOUD ، 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.

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

VALIZADEH ALI ، POURMAHDIAN MASOUD, "Pseudofiniteness in Hrushovski Constructions", Notre Dame Journal of Formal Logic, vol. 61, no. 1, pp.1-10, 2020.

VALIZADEH ALI ، POURMAHDIAN MASOUD, "Strict Superstablity and Decidability of Certain Generic Graphs", Bulletin of The Iranian Mathematical Society, vol. 45, no. 6, pp.1839-1854, 2019.

AHMADI SHARAR ، FALLAH MEHRANS. ، POURMAHDIAN MASOUD, "On the Properties of Epistemic and Temporal Epistemic Logics of Authentication", Informatica, vol. 43, no. 0, pp.161-175, 2019.

Mohammad Amin Khatami ، POURMAHDIAN MASOUD, "contiuous logic", , vol. 19, no. 1, pp.89-120, 2019.

POURMAHDIAN MASOUD ، SADEGH DAGHIGHI ALI, "On Some Properties of Shelah Cardinals", Bulletin of The Iranian Mathematical Society, vol. 44, no. 5, pp.1117-1124, 2018.

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

POURMAHDIAN MASOUD ، ZOGHI FARD REIHANE, "First-Order Modal Logic: Frame Definability and a Lindstr?m Theorem", Studia Logica, vol. 106, no. 4, pp.699-720, 2017.

SADEGH DAGHIGHI ALI ، POURMAHDIAN MASOUD, "The Definable Tree Property for Successors of Cardinals", Archive For Mathematical Logic, vol. 55, no. 5, pp.785-798, 2017.

KHATAMI SEYED MOHAMMAD AMIN ، POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "From rational Godel logic to ultrametric logic", Journal of Logic and Computation, vol. Vol 26, no. 5, pp.1743-1767, 2016.

POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN ، Didehvar Farzad, "Effective metric model theory", Mathematical Structures In Computer Science, vol. 25, no. 8, pp.1779-1798, 2015.

POURMAHDIAN MASOUD ، Nazanin Roshandel Tavana ، Didehvar Farzad, "Effective metric model theory", Mathematical Structures In Computer Science, vol. 25, no. 8, pp.1779-1798, 2015.

KHATAMI SEYED MOHAMMAD AMIN ، POURMAHDIAN MASOUD, "On the compactness property of extensions of first-order Godel logic", Iranian Journal of Fuzzy Systems, vol. 12, no. 4, pp.101-121, 2015.

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

POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "Compactness in first order Godel logics", Journal of Logic and Computation, vol. 23, no. 3, pp.473-485, 2012.

ROSHANDEL TAVANA NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "Compactness in first order Lukasiewicz logic", Logic Journal of The Igpl, vol. 20, no. 1, pp.254-265, 2012.

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

ROSHANDEL NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "Compactness in First Order Lukasiewicz Logic", Logic Journal of The Igpl, vol. 0, no. 0, , 2011.

S.M.Bagheri ، POURMAHDIAN MASOUD, "Omitting Types in an Intermediate Logic", Studia Logica, vol. 97, no. 3, pp.319-328, 2011.

POURMAHDIAN MASOUD ، KHANI MOHSEN, "ON THE METRIZABILITY OF CONE METRIC SPACES", Topoplogy and Its Applications, vol. 158, no. 0, pp.190-193, 2011.

Didehvar Farzad ، POURMAHDIAN MASOUD, "Effectiveness in RPL, with applications to continuous logic", Annals of Pure and Applied Logic, vol. 0, no. 0, , 2010.

Mohammad Bagheri ، Bruno Poizat ، POURMAHDIAN MASOUD, "An arithmetical view to first-order logic", Annals of Pure and Applied Logic, vol. 161, no. 0, pp.745-755, 2010.

Didehvar Farzad ، Kaveh ghasemlou ، POURMAHDIAN MASOUD, "Effectiveness in RPL, with applications to continuous logic", Annals of Pure and Applied Logic, vol. 161, no. 6, pp.788-799, 2010.

ALI AKBARI MEHDI ، ، POURMAHDIAN MASOUD, "Any T1 space has a continuous poset model", Topology and Its Applications, vol. , no. 156, , 2009.

POURMAHDIAN MASOUD ، Honari Bijan, "Any T_1 space has a continuous poset model", Topology and Its Applications, vol. 156, no. 13, , 2009.

، POURMAHDIAN MASOUD, "Diagram Construction in Intuitionistic Logic", , vol. , no. 6, , 2009.

MIR MOHAMMAD REZAII MORTEZA ، POURMAHDIAN MASOUD ، Honari Bijan, "The space of formal balls and models of quasi-metric spaces", Mathematical Structures In Computer Science, vol. 19, no. 2, , 2009.

ALI AKBARI MEHDI ، ، POURMAHDIAN MASOUD ، MIR MOHAMMAD REZAII MORTEZA, "The Space of Formal Balls and Models of Quasi-Metric Spaces", Mathematical Structures In Computer Science, vol. , no. 19, , 2009.

، POURMAHDIAN MASOUD, "The Logic of Integration", Archive For Mathematical Logic, vol. , no. 2, , 2009.

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

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

POURMAHDIAN MASOUD, "The Stable Forking Conjecture in Homogeneous Model Theory", , vol. , no. 3, , 2004.

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

مقالات همایش‌ها

SADEGH DAGHIGHI ALI ، POURMAHDIAN MASOUD, "Shelah Cardinals: A Fleeting Glimpse,", 5th Annual Conference of the Iranian Association for Logic, Dec 2017.

SADEGH DAGHIGHI ALI ، POURMAHDIAN MASOUD, "On Large Cardinal Strength of Definable Tree Property,", 3rd Annual Conference of Iranian Association for Logic, Dec 2015.

VALIZADEH ALI ، POURMAHDIAN MASOUD, "Quantifier Elimination for an Unstable Generic Structure,", Joint Mathematical Meeting 2015 (AMS & MMA), Jan 2015.

ROSHANDEL NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "K compactness in the first order fuzzy logics,", Aug 2008.

ALI AKBARI MEHDI ، POURMAHDIAN MASOUD, "On the compieteness of M1(x),", Aug 2008.

POURMAHDIAN MASOUD, "Domain theoretic proofs for some fixed point theorems,", Apr 2008.

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

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

LOGIC

4051

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