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

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

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

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

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

چکیده ندارد.

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

در این پایان نامه، ابتدا تعاریف و خواصی از فضاهای هیلبرت، ‎c*-جبرها، حاصل ضرب تنسوری جبری و‎‎c*-مدول های ‎ هیلبرت را بیان می کنیم. سپس به بررسی تابعک های خطی مثبت، نگاشت های مثبت و نگاشت های کاملاً مثبت رویc*-جبرها پرداخته و دو قضیه ی اساسی در زمینه ی نگاشت های کاملاً مثبت بیان خواهیم کرد؛ قضیه ی اشتین اشپرینگ که یک نمایش مشخص از نگاشت های کاملاً مثبت رویc*-جبر ها به جبر عملگرهای کراندار روی فضاه...