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

این پژوهش، با هدف بررسی و مقایسه مهارت های جستجوی پیوسته و تعیین عوامل اثرگذار بر شناخت و آشنایی با این مهارت ها در میان دانشجویان پزشکی عمومی دو دانشگاه علوم پزشکی بندرعباس و رفسنجان با جامعه آماری 545 نفر دانشجو به روش پیمایشی و با استفاده از پرسشنامه انجام گرفته است. تجزیه و تحلیل داده ها با روش آماری توصیفی به کمک نرم افزار آماری spss انجام شد. با استفاده از 7 مهارت جستجوی پیوسته و عوامل اث...

در این رساله ابتدا جبرهای منطقی نظیر مشبکه های مانده ای، $mtl$-جبرها، $bl$-جبرها و جبرهای استلزامی مشبکه ای را معرفی و خصوصیات آنها را بیان می کنیم. سپس $ bck$-جبرها را که شاخه ای دیگر از جبرهای منطقی هستند معرفی کرده و به بررسی مشبکه ها در این جبر منطقی می پردازیم. با ارائه شبه $ bck $ مشبکه هاltrfootnote{ٍٍquasi bck-lattices} در $ bck$-جبرها، مفهوم مشبکه ها را گسترش داده و ارتباط بین $ bck $...