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

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

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

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

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

در مسئله طولانی ترین مسیر، هدف یافتن یک مسیر با بیشترین تعداد راس در یک گراف داده شده است. این مسئله‎‎ یک نسخه ی بهینه سازی از مسئله مسیر همیلتونی است‎.‎ . تاکنون تنها برای تعداد اندکی کلاس از گراف ها الگوریتم چندجمله ای برای مسئله طولانی ترین مسیر ارائه شده است. یک گراف مقایسه پذیری است اگر بتوان روی مجموعه رئوس این گراف یک ترتیب جزئی تعریف کرد؛ بطوریکه هر دو راس مجاور در گراف در این ترتیب قاب...

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

در این پایان نامه ما "گراف های دوبخشی کوهن- مکولی" و نتایج وابسته به آن را مطالعه می کنیم.

در این پژوهش ابتدا رابطه ای پارامتری برای سنجش مقدار درهم تنیدگی بین هر جفت کیوبیت برای گراف هایی با بیش از چهار کیوبیت به دست می آوریم. سپس مقدار درهم تنیدگی بین هر جفت کیوبیت را در گراف های پنج کیوبیتی محاسبه می کنیم. در ادامه ثابت می کنیم که تعداد 1024 گراف سیستم پنج کیوبیتی بر اساس بیشینه ی درهم تنیدگیِ بین هر جفت کیوبیت به 31 دسته و بر اساس تعداد یال های گراف و درجات رئوس به 40 دسته تقسیم م...