شبه bl- جبرها تعمیم های تعویض ناپذیری از bl-جبرها هستند که به عنوان یک منطق پایه برای هاجک می باشند. در این پایان نامه رده هایی از شبه bl- جبرها از جمله : شبه bl- جبرهای موضعی، خوب، مستقل و کامل را معرفی و خواص آنها را مورد بررسی قرار می دهیم. یک شبه bl- جبر را موضعی گوییم، اگر وتنها اگر یک فیلتر ماکسیمال منحصر به فرد داشته باشد. همچنین زنجیر شبه bl- جبر و فیلتر نرمال اولیه را تعریف می کنیم و ن...

پروفسور چانگ ‏‎(c.c.chang)‎‏ در سال 1958 برای اولین بار مفهوم ‏‎-mv‎‏ جبر را برای اثبات تمامیت منطق لوکاسیویچ و تارسکی بطریق جبری، مطرح کرد و به بررسی خواص آن پرداخت. بعد از وی ریاضیدانان زیادی به تحقیق در این زمینه پرداختند.در این نوشتار ما در چهار فصل با بیان نمایش بولی (ضعیف) و ‏‎-mv‎‏ جبرهای ابرنرمال به بررسی خواص ‏‎‏‎-mv‎‏ جبرهای توابع پیوسته حقیقی مقدار روی فضای توپولوژیک ‏‎x‎‏ می پردازیم.

در این پایان نامه سعی شده است تا یک الگوریتم تصادفی کاراتر برای حل مسئله ارضاپذیری بولی ارائه شود، که بدین منظور تکنیک پس گرد تصادفی را معرفی کرده ایم. سپس الگوریتم شانینگ که یکی از الگوریتم های شناخته شده در زمینه حل مسئله ارضاپذیری بولی می باشد به فرم پس گرد تصادفی انتقال یافته و رویکرد های ترتیب انتخاب متغیرها و ترتیب انتخاب عبارت ها(که اولین بار است معرفی می شود) به آن اضافه شده است. برای ا...

چکیده ندارد.

در این تحقیق ابتدا نقشه شاخص­های گردشگری طبیعت شامل شاخص توزیع حیات وحش،  شاخص جاذبه گردشگری طبیعت، شاخص انعطاف­پذیری (مقاومت) محیط ، شاخص تسهیلات زیربنایی و شاخص تنوع گردشگری طبیعت در شهرستان دنا در شمال استان کهگیلویه و بویراحمد با مساحتی بالغ بر 1577 کیلومتر مربع تهیه شده­اند. سپس مناطق بالقوه توسعه اکوتوریسم با استفاده از روش میانگین خطی وزن­دار و محاسبه وزن نسبی شاخص­...

مطالعات تطبیقی درآموزش و پرورش: کاربست روشهای جدید تحقیق دکتر عباس معدن دار آرانی1 چکیده اگرچه مطالعه تطبیقی نظام های آموزشی دارای پیشینه ای تاریخی در بسیاری از جوامع بشری است،امادر چند دهه اخیر افزایش علاقه­ مندی پژوهشگران به کسب آگاهی از وضع و نقش نظامهای آموزشی درروند پیشرفتهای اجتماعی – اقتصادی توام با رشد روزافزون فناوریهای اطلاعاتی – ارتباطی، گرایش به پژوهشهای تطبیقی را سرعت بخشیده اس...

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

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

مساله ی زمان بندی پروژه با منابع محدود چندحالته تعمیمی از مساله ی زمان بندی پروژه با منابع محدود تک حالته است و یک مساله ی بهینه سازی محسوب می شود. هدف از حل آن، انتخاب دقیقاً یک حالت اجرایی برای هر فعالیت به منظور زمان بندی پروژه با حداقل زمان اجرا است به طوری که محدودیت های پیش نیازی و منابع تجدیدپذیر و تجدیدناپذیر، شدنی باشند. در ادبیات این موضوع روش های دقیق و (فرا)ابتکاری برای حل این مساله ...

در این پایان نامه بر آنیم تا رابطه میان مجموعه های ناهموار و مشبکه های مانده را مورد مطالعه قرار دهیم. برای این منظور ابتدا به بیان تعاریف و مفاهیمی مانند رابطه، ساختار جبری، مشبکه های مانده، ‎$mv$-‎جبرها و مجموعه های ناهموار پرداخته و برخی از خواص آن ها را ارائه می دهیم. ‎ در فصل دوم ارتباط میان مجموعه های ناهموار و ‎$mv$-‎جبرها را مطالعه می کنیم. در فصل سوم به مطالعه خواص و ارتباط مجموعه ها...