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

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

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

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

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

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

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

«قیاس» به عنوان شیوه یا ابزار دانش اصول و منطق، برای اصدار یا ثبوت حکم در حوزۀ انتقال مفاهیم، شناخت و معرفت به کار گرفته می‌شود. مولوی در جای‌جای مثنوی با شیوۀ «قیاس اصولی» مخالفت شدید کرده و به کارگیری آن را خطای شناختی- ادراکی می‌داند؛ ولی عملاً در داستانهای خود برای ثبوت و اثبات نظریه‌ها، نوع منطقی آن را مباح می‌داند هرچند، بر اساس شیوۀ منحصر به فردی که در نوع خطابۀ خود دارد، تناسب منطقی و نظ...