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

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

در این پایان نامه ابررویه های مستوی لورنتزی در1+ n? با 3- فرم موازی (نسبت به هموستار لوی- چیویتای به دست آمده از متریک مستوی) بررسی می شود. در این بررسی یک رده بندی کامل از چنین ابررویه های ناتبهگون مستوی در4? داده می شود. این پایان نامه به تشریح مطالب] 6[ می پردازد.

موضوعِ این پژوهش، طراحی کنترل کننده یِ تکه تکه ی خطی دینامیکی از نوع تکه تکه ی $h_{i n f t y}$ برای سیستم های تکه تکه ی مستوی است. مسئله ی اصلی به صورت مجموعه یی از مسائل طراحی کنترل کننده های $h_{i n f t y}$ در نظر گرفته می شود و نشان داده می شود که می توان این مجموعه از مسائل را در قالب مسائلِ بهینه سازی محدب با قیدهای نابرابریِ ماتریس خطی بیان کرد که از طریق نرم افزارهای موجود به نحوی کارآمد قاب...

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

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

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

موضوعِ این پژوهش، طراحی کنترل‌کننده‌یِ تکه‌تکه‌ی خطی‌دینامیکی از نوع تکه‌تکه‌ی $H_{i‌n‌f‌t‌y}$ برای سیستم‌های تکه‌تکه‌ی مستوی است. مسئله‌ی اصلی به‌صورت مجموعه‌یی از مسائل طراحی کنترل‌کننده‌های $H_{i‌n‌f‌t‌y}$ در نظر گرفته می‌شود و نشان داده می‌شود که می‌توان این مجموعه از مسائل را در قالبِ مسائلِ بهینه‌سازی محدب با قیدهای نابرابریِ ماتریسِ خطی بیان کرد که از طریق نرم‌افزارهای موجود به‌نحوی کارآمد قا...