حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

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

در این رساله روش شبه طیفی لژاندار برای مسائل مقید غیرخطی هموار کلی از حساب تغییرات مطالعه می شود. این روش بر پایه ترکیب روشهای طیفی که در آن وضعیت ‏‎x(t)‎‏ از طریق درونیابی چند جمله ای از درجه ‏‎n‎‏ با استفاده از نقاط لژاندار-گوس-لوباتو به عنوان نقاط ترکیب و چندجمله ای های لاگرانژ به عنوان توابع آزمایشی تقریب زده شده است ، بنا می شو د.

«این­همانی» یکی از مهم­ترین و در عین حال بحث­برانگیزترین مسائل مطرح شده در آثار فرگه است. در این مقاله به بررسی دیدگاه او در باب این موضوع و شرح و نقد تفسیرهای مختلف از آن خواهیم پرداخت. پرسش اصلی ما این است که این­همانی بین چه عناصری برقرار می­شود. ابتدا دیدگاه فرگه را نسبت به این­همانی در «مفهوم­نگاشت» توضیح می­دهیم. از آنجا ­که تأملات نهایی فرگه راجع به این­همانی در دیگر اثر شناخته­شده­اش یع...

مسئلۀ علیّت ذهنی- دست کم از زمان دکارت - از مهم ترین مسائل فلسفۀ ذهن بوده است. فیلسوفان دکارتی از آن جا که تعامل علّی نفس و بدن را مشکل ساز می دانستند، هر یک به شیوه ای رابطۀ علّی مستقیم میان نفس و بدن را کنار گذاشتند. با این حال، این مسئله با کنار گذاشتن نفس مجرّد دکارتی در دورۀ معاصر نیز حل نشده است و همچنان از مهم ترین مسائل است. اگر مسئلۀ ذهن و بدن را اساسی ترین مسئله در فلسفۀ ذهن معاصر به حساب...

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

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