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

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

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

فرض کنید (g,+,m,m) یک گروه اندازه پذیر، کامل، آبلی بطوریکه اندازه g متناهی و e یک فضای باناخ باشد. برای هر تابع f عملگرهای تفاضلی درجه دوم در فضاهای l^p را تعریف می کنیم و ثابت می کنیم که دقیقا یک تابع درجه دوم k و یک ثابت c وجود دارد،و در نهایت ثابت میکنیم که این عملگرها خطی، پیوسته و وارون پذیر است. فرض کنید e یک فضای باناخ و (x,+,m,m)یک نیم گروه کامل و عینا مساوی با صفر نیست و اندازه x متنا...

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

هدف اصلی ما در این رساله ارائه شرایطی است که با استفاده از آنها بتوان مسئله برنامه ریزی نیمه معین(sdp)ساده شده از مسئله تخصیص درجه دوم (qap) را به وسیله روش های نقطه درونی حل کرد. برای این منظور ابتدا مسائل برنامه ریزی خطی(lps) را معرفی می کنیم. روش نقطه درونی برای مسائل lp را شرح می دهیم. سپس مسائل sdp را معرفی می کنیم و با توجه به رابطه lp و sdp الگوریتم های نقطه درونی lp را به sdp توسیع می د...

مسأله واگذاری (تخصیص) درجه دوم (qap) ، به دلیل دارا بودن ساختار جالب یکی از مسأله های معروف چالش برامگیز در بهینه سازی ترکیبیاتی است. در این پایان نامه، به بررسی وتحلیل آزاد سازی های مختلف ارائه شده برای مسأله های واگذاری درجه دوم تعمیم یافته (gqap) می پردازیم: در این نوع از مسأله ها، m تسهیلات و n مکان به همراه فضای مورد نیاز تسهیلات، فضای موجود در مکان ها، هزینه استقرار تسهیلات، جریان بین تس...