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

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

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

با مرور مفاهیمی از نظریه کلاف های برداری به نظریه kتوپولوژیک وارد شده به کمک آن دو مساله توپولوژی جبری توازی ناپذیری کره ها مگر s^1,s^2,s^7و عدم وجود ساختار جبر بخشی جز برای r^1,r^2,r^4,r^ اثبات شده اند.

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

فرض کنیم q زیرمجموعه ای محدب و فشرده از یک فضای برداری تو×ولوژیک موضعا محدب و هاسدورف باشد و فرض کنیم s گروه یا نیم گروهی از تبدیلات آفینی ×یوسته از q به q باشد. در این ضصورت تحت شرایطی s دارای نقطه ثابت مشترکی در q است. در سال 1938 کاکوتانی نقطه ثابت مشترک یک خانواده خطی ×یوسته یا آفینی از نگاشت ها را مورد بررسی قرار دادکه نگاشت هایی از نوع کاکوتانی مورد توجه بسیاری از ریاضیدانان بعد از وی ق...

در مطالعه توزیع حدی آماره‏های مورد استفاده در آزمون‏های ریشه واحد معمولاً نیاز به قضیه معروف دانسکر (قضیه حد مرکزی تابع) می باشد که در کتاب‏های استاندارد درسی کمتر به آن اشاره شده است. در این مقاله رفتار حدی آماره‏های آزمون ریشه واحد را در مدل  در حالت‏های بدون جمله ثابت و با جمله ثابت با استفاده غیرمستقیم از قضیه دانسکر مطالعه می‏کنیم که در آن خطاها، نوفه سفید گاوسی با میانگین صفر و واریانس متن...

هدف این مقاله ارائه اثبات دیگری از قضیه اساسی جبر بر مبنای خواص ماتریس های نمایی در فضای برداری نرمدار اقلیدسی است.

چکیده ندارد.

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...