This article has no abstract.

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

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

وحی پیامبرانه از موضوعاتی است که دانشمندان با رویکردهای مختلف به تجزیه و تحلیل و داوری درباره آن پرداخته اند. در خصوص وحی و نبوت، به ویژه نبوت پیامبر اکرم (ص) و وحی قرآنی، دست کم سه گفتمان دیده می­شود: 1. گفتمان اسلامی، که وحی را کاملاً الاهی می­داند و در آن نقش بشر و عناصر بشری به صفر می­رسد؛ 2. گفتمان مسیحی، که آن را الاهی- بشری ارزیابی می­کند؛ 3. گفتمان سکولار، که آن را یک سر بشری دانسته، صرف...

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

در برخی قضایا و در برخی زبان‌ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه‌ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه‌ای از مراتب «وجود» می‌دانند و از این رو از آن به «وجود رابط» تعبیر می‌کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم‌ترین آن‌ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

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

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

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