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

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

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

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

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

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

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

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