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

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

چکیده ندارد.

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

چکیده ندارد.

چکیده ندارد.

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

منظور از یک نیم گروه بولی معکوس، یک نیم گروه معکوس است که نیمه شبکه ی عناصر خود توان آن یک جبر بولی است. ما در این پایان نامه، نمایش هایی روی نیم گروههای معکوس را بررسی می کنیم که استوار هستند. سپس نمایش مهمی از نیم گروههای معکوس بولی بنام نمایش vagner – preston ارائه می کنیم که هرگز استوار نیست. سپس نمایش استواری بنام نمایش کانونی منظم روی نیم گروه های معکوس ارائه می کنیم و به بررسی وفاداری آن...