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

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

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

مفهوم کلی یک جبر ‎‎mv، ‏اولین بار توسط فلیمینیو و مونتاگنا به عنوان یک جبر ‎‎‎mv‎‎ ‏با حالت درونی (به عنوان یک عمل یکتایی) معرفی شد. دی نولا و دورسنسکیج نوع قوی تری از یک جبر ‎‎mv‎‎ ‏با حالت درونی، ‎‏ارائه دادند. در پایان نامه حاضر مفهوم جبر ‎‎‎bl‎‎ ‏را ‎‏به عنوان یک جبر ‎‎‎bl‎ ‏با حالت درونی معرفی می کنیم. انواع مختلفی از جبرهای ‎‎bl‎‎ ‏با حالت درونی مانند جبرهای ‎‎bl‎‎ ‏با حالت درونی قوی و جب...

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

‏روش های نقطه درونی یکی از موثرترین روش ها برای حل مسائل بهینه سازی خطی می باشند‏ که به دو روش نقطه درونی شدنی و نقطه درونی نشدنی تقسیم می شوند. روش نقطه درونی شدنی با یک نقطه درونی شدنی اکید شروع می شود و شدنی بودن را در طول الگوریتم حفظ می کند. پیدا کردن یک نقطه شدنی آغازین از دشوارترین بحث روش نقطه درونی شدنی است. یکی از روش هایی که بر این دشواری غلبه کرد روش همگن معرفی شده توسط یی ‎‎‎foot...

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

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

رشد پراکنده شهری در چند دهه اخیر با تخریب سطح وسیعی از اراضی کشاورزی و سرمایه های طبیعی پیرامون شهرها، دستیابی به شکل پایدار از کالبد شهر را با چالشی اساسی روبه رو کرده است. توسعه درونی به عنوان یکی از دیدگاه های توسعه پایدار شهری که از دهه های 70 و80 میلادی باهدف دستیابی به شکل پایدار از کالبد شهر؛ ضمن توجه به پیرامون شهرها، دستیابی به شکل فشرده تر شهری، شکل گرفت. به موجب این رویکرد "اراضی بای...

چکیده پایان نامه ( شامل خلاصه، اهداف، روش های اجرا و نتایج به دست آمده): هدف پژوهش حاضرتعیین رابطه بین انگیزه درونی و مسئولیت پذیری با رضایت از زندگی در دانش آموزان دوره متوسطه بود. بدین منظور 313 دانش آموز دختر دوره متوسطه آموزش و پرورش شهر تهران مقیاس انگیزش تحصیلی والراند (1992) ، پرسشنامه مسئولیت پذیری کرمی و نعمتی (1387) و مقیاس چند بعدی رضایت از زندگی هیوبنر (1994 ) را تکمیل کردند. نتایج...