02 آذر 1403
دانشگاه خلیج فارس
English
مجتبی صداقت جو
مرتبه علمی:
استادیار
نشانی:
دانشکده مهندسی سیستم های هوشمند و علوم داده - گروه ریاضی
تحصیلات:
دکترای تخصصی / ریاضی محض
تلفن:
0917 737 2249
دانشکده:
دانشکده مهندسی سیستم های هوشمند و علوم داده
پست الکترونیکی:
sedaghat [at] pgu [dot] ac [dot] ir
صفحه نخست
فعالیتهای پژوهشی
مشخصات پژوهش
عنوان
پالایه های هیتینگ و بولی روی مشبکه های مانده دار
نوع پژوهش
پارسا
کلیدواژهها
residuated lattice, filter, Heyting filter, Boolean filter.
پژوهشگران
حیدری فریده (دانشجو)
،
سعید رسولی (استاد راهنما)
،
نرگس عبیدی (استاد راهنما)
،
مجتبی صداقت جو (استاد مشاور)
چکیده
در این پایان نامه، مشبکه های مانده دار را معرفی می کنیم و با ارایه مثال هایی آنها را مورد مطالعه و بررسی قرار می دهیم. پالایه ها را به عنوان زیرمجموعه های مهمی از مشبکه های مانده دار معرفی می کنیم و نقش آنها را در مشبکه های مانده دار بررسی کرده و نشان می دهیم که اگر $F$ یک پالایه از مشبکه مانده دار $\mathfrak{A}$ باشد آنگاه جبر خارج قسمتی $\mathfrak{A}/F$ یک مشبکه مانده دار است. نشان می دهیم که رده مشبکه های مانده دار یک گونه است و زیرگونه جبرهای هیتینگ و جبرهای بولی از گونه مشبکه های مانده دار را معرفی می کنیم. پالایه های هیتینگ و پالایه های بولی را معرفی کرده و رابطه بین آنها را مورد مطالعه و بررسی قرار می دهیم.