زیر نظریه استقراء باز oi از حساب پئانو در زبان مرتبه اول حلقه های یکدار مرتب ، از افزودن اصل موضوعی استقراء روی فرمولهای خالی از سور به مجموعه اصول حلقه های جابجایی یکدار گسسته مرتب حاصل می شود. نظریه استقراء باز نرمال noi، گسترش oi توسط قالب اصل موضوعی بیان کننده به طور صحیح بسته بودن حلقه در میدان کسرهای خود می باشد. در سال 1991، بوگاتا در مقاله خود در j.s.l متناهیا اصل ناپذیری oi را ثابت کرد...

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

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

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

در این پایاننامه رشد قدرمطلق چندجمله ایهایی که بر روی ریشه هایش محدودیت گذاشته شده؛ مورد مطالعه قرار می گیرد.

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

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

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

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

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