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

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

در این نوشته، برهانی غیر از برهان استاندارد برای قضیه کیلی - همیلتن ارائه می شود که بر مبنای استفاده از سری های توانی صوری استوار است.

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

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

در این پایان نامه براساس مقاله تام هد [20] چگونگی استنتاج قضایای فازی را از نوع معمولی آنها بویژه در جبر بررسی می کنیم. فرض می کنیم x یک جبر است در این صورت زیر مجموعه های فازی x یعنی f(x) تشکیل یک جبر می دهند. در این رساله با استفاده از مفهوم زیرمجموعه -cفازی تعاریفی با الگوی یکسان برای مفاهیم فازی ارائه می دهیم و با یک روش یکسان به استنتاج قضایای جبر فازی از قضایای جبر معمولی می پردازیم ابزار...

در مورد قضیه دروغ گو،(کل کلامی کاذب , هرچه می گویم دروغ است)در طی دو هزارو پانصدسال بسیار بحث شده است اما کمتر توجه کرده اند«کل کلامی کاذب»یک قضیه نیست بلکه یک شبه قضیه است که با اصل منطق منافات داردو نمی توانددرمنطق جایی پیداکند.این ها احکام و قضایای ممتنعند و پیداست که حکم یا قضیه ممتنع اصلا قضیه نیست که صادق یا کاذب باشد. دروغ دانستن دورغ, صادق بودن دروغ گو و صدق دروغ را اثبات نمی کندو نکته...

فرض کنید r حلقه ای موضعی نوتری وm یک r -مدول باشد که روی طیف محذوف r موضعاً آزاد از رتبه یکسان است و i ایده ال سره ای از r باشد. در این صورت نگاشت های موجود در تجزیه ی آزاد کمین m در خاصیت یکنواخت آرتین-ریس صدق می کنند.

در این پایان نامه هدف ما توصیف مشتق موضعی پیوسته روی دسته ای از جبرهای باناخ جابجایی است که مربع هر عنصر آن مثبت است و در ویژگی زیر صدق می کند:هر نگاشت دو خطی پیوسته ‎? ازa ×a ‎ به توی یک فضای باناخ دلخواهb ، به طوری که اگرab = 0 ‎ نتیجه دهد ?(a, b) = 0 آنگاه ? در شرط ( ?(ab, c) = ?(a, bc برای هر a, b, c ? a نیزصدق کند.

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