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

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

چنان که بسیار گفته اند، «نقد اخلاقی هنر» دیرپاترین مبحث در فلسفه هنر بوده است؛ امّا در این مبحث دراز دامان دو مسأله عمده را باید از هم تمیز داد: نخست امکان نقد اخلاقی آثار هنری است، و دیگری ربط چنین نقدی به ارزش زیبایی شناختی آثار هنری. به عبارت دیگر، مسأله اوّل این است که آیا می توانیم (یعنی معقول هست که) از منظر اخلاق به نقد اخلاقی آثار  هنری دست یازیم یا نه، حال آن که مسأله دوم عبارت از این اس...

هدف این پژوهش، بررسی تأثیر آموزش مبتنی بر گفتمان ریاضی (با شیوه بحث های کلاسی) بر توانایی استدلال دانش آموزان دختر پایه اول دوره دوم دبیرستان (پایه نهم) است. این پژوهش نیمه آزمایشی از نوع پیش آزمون- پس آزمون با گروه گواه می باشد. جامعه آماری این تحقیق شامل کلیه دانش آموزان دختر پایه اول دوره دوم دبیرستان شهر ری در سال تحصیلی 93-1392 می باشد. حجم نمونه متشکل از 57 نفر دانش آموز دختر سال اول دوره...

یک نوع از مسائل بهینه سازی‏، بهینه سازی در مسائل برنامه ریزی خطی تک هدفی ltrfootnote {‎single ‎objective ‎linear programming‎}‎‎است‏، برنامه ‎ ریزی خطی تک هدفی ‎ یکی از مهمترین تکنیک های تحقیق در عملیات ‎ltrfootnote {‎operational ‎resea‎rch‎}‎‎ است که برای حل بسیاری از مسائل دنیای حقیقی به کار می رود. با این حال در بسیاری از مسائل واقعی‏، مدل سازی کردن با یک تابع هدف به خوبی مفهوم مورد نظر را ب...

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

در این مقاله , گذار مات در مدل هابارد دوبعدی با استفاده از روش تقریبی وردشی خوشه ای بررسی شده است. پتانسیل گذار برای شبکه مربعی تقریباًuc ≈ 2  و برای شبکه مثلثی به دست آمده است. مقایسه ای بین نتایج به دست آمده از روش وردشی خوشه ای و سایر روشهای تقریبی خوشه ای کوانتمی انجام شده است. محاسبات انجام شده در دمای صفر و برهم کنش قوی نشان می دهد که گذار مات هم در شبکه مثلثی و هم در شبکه مربعی در مقایسه ...

چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها ر...

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

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