هپاتیت مزمن سی یکی از شایع¬ترین علل نارسایی مزمن کبد و پیوند کبد در جهان محسوب می شود. تقریباٌ 3 درصد جمعیت جهان یعنی بیش از 180 میلیون نفر آلوده به این ویروس هستند. احتمال پاسخ به درمان در بیماران بسته به ژنوتیپ ابتلایی متفاوت است. اگر فرد به ژنوتیپ نوع اول مبتلا شده باشد امکان درمان او کمتر از 50 درصد و طول دوره درمان 48 هفته است ولی در ژنوتیپ نوع دوم و سوم این احتمال به بالای 80 درصد می رسد و...

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

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

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

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

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

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

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

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

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