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

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

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

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

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

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

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

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

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

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