چکیده ندارد.

چکیده : در این پایان نامه ، مرکز بولی و ساختار بولی از bck- جبرهای کراندار را تعریف نموده و توسط ساختار بولی، نمایشی از bck- جبرهای کراندار که نمایش پیرسbck(ضعیف) به عنوان حاصل ضرب بولی bck- جبرهای کراندار نامیده می شوند را ارائه می دهیم . همچنین رده هایی که ساقه هایشان در این نمایش ها مستقیماً یا زیر مستقیماً تحویا ناپذیر و یا جبرهای ساده هستند را تجزیه و تحلیل می نامییم و برای روشن ساختن نتایج ...

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

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

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

چکیده ندارد.

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

چکیده ندارد.

چکیده ندارد.

در این پایان نامه به چگونگی ارزیابی برنامهها با استفاده از مجموعه محدود دادههای ورودی- خروجی (0-1) می پردازیم. برای ارزیابی یک برنامه باید متغیرهای بولی آن را ارزیابی کنیم . برنامه را در ابتدا می توان به عنوان جعبه سیاهی به حساب آورد که n ورودی داشته و مطابق با تابعی می باشد که متغیرهای بولی x^ را تولید می کند. به عبارت دیگر هدف این کار تعیین توابع تولید کننده x^ است. که با انتخاب چند مجموعه و...