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

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

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

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

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

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

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

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

دریافت:20/3/94پذیرش:5/7/94 مقدمه: طی 10 سالگذشته شاهد رشد چشمگیر بودجه دارویی کشور از 500 میلیون دلار به رکورد 3میلیارد دلار بوده ایم که مهم ترین دلیل آنرا می توان تجویز ومصرف غیرمنطقی داروها دانست. مشکلی که علاوه بر تحمیل هزینه های هنگفت بر مردم و دولت و اتلافمنابع، منجر به کاهش کیفیت ارایه خدمات پزشکینیز می گردد.در مقایسه با حجم عظیم منابع صرف شده، انجام بسیاری از مداخلات کنترل تجویز ومصرف من...