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

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

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

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

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