16 اردیبهشت 1403
سعيد رسولي

سعید رسولی

مرتبه علمی: دانشیار
نشانی: دانشکده مهندسی سیستم های هوشمند و علوم داده - گروه ریاضی
تحصیلات: دکترای تخصصی / ریاضی محض
تلفن: 09375197298
دانشکده: دانشکده مهندسی سیستم های هوشمند و علوم داده

مشخصات پژوهش

عنوان
پالایه های هیتینگ و بولی روی مشبکه های مانده دار
نوع پژوهش پارسا
کلیدواژه‌ها
residuated lattice, filter, Heyting filter, Boolean filter.
پژوهشگران حیدری فریده (دانشجو) ، سعید رسولی (استاد راهنما) ، نرگس عبیدی (استاد راهنما) ، مجتبی صداقت جو (استاد مشاور)

چکیده

در این پایان نامه، مشبکه های مانده دار‏ را معرفی می کنیم و با ارایه مثال هایی آنها را مورد مطالعه و بررسی قرار می دهیم. پالایه ها را به عنوان زیرمجموعه های مهمی از مشبکه های مانده دار معرفی می کنیم و نقش آنها را در مشبکه های مانده دار بررسی کرده و نشان می دهیم که اگر ‎$F$‎ یک پالایه از مشبکه مانده دار ‎$\mathfrak{A}$‎ باشد آنگاه جبر خارج قسمتی ‎$\mathfrak{A}/F$‎ یک مشبکه مانده دار است. نشان می دهیم که رده مشبکه های مانده دار یک گونه است و زیرگونه جبرهای هیتینگ و جبرهای بولی از گونه مشبکه های مانده دار را معرفی می کنیم. پالایه های هیتینگ و پالایه های بولی را معرفی کرده و رابطه بین آنها را مورد مطالعه و بررسی قرار می دهیم.