مسائل مقدار ویژه، به دو دسته تقسیم می شوند: مسائل مقدار ویژه مستقیم درجه دوم و مسائل مقدار ویژه معکوس درجه دوم. مسئله مستقیم، زمانی که ماتریس ضرایب، داده شده باشد به دنبال یافتن مقادیر ویژه و بردارهای ویژه است. برعکس، مسئله معکوس با داشتن اطلاعات ویژه ای از مقادیر ویژه و بردارهای ویژه، ضرایب ماتریسی را بازسازی می کند. این پایان نامه به یافتن جواب های مسئله مقدار ویژه معکوس درجه دوم اختصاص دارد...

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

در کتاب های منطق اسلامیِ دورۀ معاصر، «نقض موضوع» را قاعده ای برشمرده اند که بر پایۀ آن می توان از یک گزارۀ کلّیِ صادق، گزارۀ صادق دیگری را به دست آورد که موضوع اش نقیض موضوع گزارۀ نخستین باشد و کمّ و کیف اش نیز دگرگون شده باشد. بنابراین، با کاربست این قاعده بر موجَبی کلّی مانند «هر الف ب است» سالبی جزئی همچون «برخی از نه ـ الف ب نیست» به دست می آید. در این جستار، امّا، نمایان خواهد شد که همواره چنین ن...

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

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

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

برخی از منطق دانان معاصر روشی نو و ساده برای استنتاج های منطقی ابداع کرده و هم? استدلال های مباشر را به دو قاعد? عکس مستوی و نقض محمول فروکاسته اند. یکی از ایشان، رضا اکبری، محصورات چهارگان? مشهور را به 32 محصوره گسترش داده است: 4 گزار? محصلة الطرفین مشهور، 4 گزار? معدولة الطرفین، 4 گزار? معدولة الموضوع، 4 گزار? معدولة المحمول، و همین 16 گزاره با جابه جا کردن «الف» و «ب» در هم? آن ها. اکبری، هم...

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

چکیده ندارد.