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

در این پایان نامه فشردگی و فشردگی ضعیف در مجموعه های تقریبی, یکتایی, دورترینی و به طور یکتا دورترینی با گوی های یکه ی بسته مطرح شده است‎‎, همچنین مشخصه های مجموعه های دورترینی و غیردورترینی را با استفاده از خاصیت باز بودن و بسته بودن روی برخی از مجموعه های مرتبط بررسی می کنیم و در ادامه مسأله ی کمینه سازی و بیشینه سازی خوش طرح را مطرح می کنیم و قضیه هایی در فضای باناخ کادک محدب انعکاسی بیان می ...

فرض کنیم (r, m)یک حلقه موضعی با بعد کرول n و a ایده آلی از r باشد. دستیابی به نتایجی در صفر شدن و ناصفر شدن مدول های کوهمولوژی موضعی برای هر r-مدول m در جبر جابجایی و هندسه جبری از اهمیت بسزایی برخودار است. با توجه به قضیه صفر شدن گروتندیک به ازای هر i>n , i-امین مدول کوهمولوژی موضعی m نسبت به ایده آل a برابر با صفر است. یک شرط لازم و کافی برای صفر شدن n- امین مدول کوهمولوژی موضعی r نسبت به...

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

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

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

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

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

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

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