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

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

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

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

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

دردو دهه اخیر ماشین بر دار پشتیبان (support v ecror machine ) که ابزار قدرتمندی در زمینه آموزش هستند مورد توجه زیادی قرار گرفته اند. svm اولین بار توسط وپنیک (vapnik) در سال 1995 معرفی شد. از این الگوریتم در زمینه های شناسایی الگو و پیش بینی رگرسیون استفاده های مفیدی می شود. در این پایان نامه در فصل اول تعاریف اولیه، شرایط کان – تاکر و روش لاگرانژو در فصل دوم مسأ له ماشین بردار پشتیبان که نوعی ...

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