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

از جمله عقود مستحدثه و جدیدالورود در نظام حقوقی فعلی «بیمه» می باشد که طرفداران و مخالفانی را در مسیر پیدایش خود برانگیخته و هر کدام با استناد به دلایلی به توجیه و اثبات نظریّه خود پرداخته اند. از عمده دلایل مخالفان عقد بیمه، غرری بودن عقد بیمه می باشد؛ از طرفی این گروه عقد بیمه را از مصادیق «ضمان ما لم یجب» و قمار دانسته و عقد بیمه را عقدی معلّق و باطل می-دانند. در این مقاله تلاش شده است تا با ن...

یکی از اهداف این رساله شرح مفیدی از نظریه ابرخمینه هاست . در فصل یک تعاریف و نتایجی را که در فصلهای بعدی استفاده می شوند، معرفی می گردد. در فصل دوم ابرخمینه ها، یعنی جبر فرمهای دیفرانسیل بر خمینه m را مطالعه می کنیم. یک عمل طبیعی از ابرگروه بر ابرخمینه وجود دارد. مولد این عمل(یک میدان برداری فرد d ) عملگر دیفرانسیل دورام می باشد. در این فصل دیفئومرفیسمهای d - هم تغییر را شرح می دهیم . سرانجام د...

تاکنون‎نتایج متعددی درباره شرط های کافی برای اینکه نگاشت‎f(z)‎‎روی دیسک واحد باز‎u‎‎تحلیلی و محدب باشد ارائه شده است.‎فرض کنیم‎a‎کلاس تمام نگاشت های‎به فرم‎‎‎‎ f(z)=z+?_(n=2)^???a_n z^n ?, (z?u) باشند که در دیسک واحد باز u={z?c; |z|<1}‎ تحلیلی بوده و ‎در‎ شرط نرمالیزه f(0)=f^(0)-1=0 صدق کنند. در این پایان نامه ‎‎با استفاده از لم ‎جک‎‎‎‎ به بررسی شرایطی برای نگاشت تحلیلی ‎‎f(z)‎‎ می پردازیم...

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

الملحمة فن لم یتحدّث العرب القدامی عنه ولم یعرفوا قواعده وأصوله ولم یعطوا وجوده وعیاً صحیحاً، فلذلک یخلو الأدب العربی القدیم من الروائع الملحمیة البارزة، بما فی الکلمة من المعنی العلمی الدقیق؛ بل هناک ما یضاهی الملاحم، والتی یمکن العثور علیها فی العصور القدیمة للأدب العربی. أما فی الأدب الحدیث، فنجد شعراء بارزین أنشدوا ملاحم تاریخیة علی منهج قدیم، کأحمد شوقی وبولس سلامه وعمر أبو ریشة ولکنّ ملاحمهم ...