نتایج جستجو برای: مسئله ارضاپذیری بولی

تعداد نتایج: 29370  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان فارس - دانشکده علوم پایه 1392

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه یزد - دانشکده ریاضی 1393

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

پایان نامه :0 1392

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشکده علوم پایه 1386

چکیده ندارد.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید چمران اهواز - دانشکده علوم ریاضی و مهندسی کامپیوتر 1393

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

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شاهد - دانشکده علوم 1391

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

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر 1386

چکیده ندارد.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده ریاضی 1393

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید