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

در این پایان نامه به بررسی جبرهای شعاع طیفی متناظر با عملگرهای نرمال می پردازیم. یکی از خواص مهم این جبرها که برای مطالعه ما ضروری است این است که شامل جابجاگرهای عملگر مورد بررسی می باشند. نشان می دهیم هرگاه عملگر غیر صفر n نرمال بوده و مضرب اسکالری از همانی نباشد، این شمول اکید است. نتیجه اصلی این پایان نامه نشان دادن این مطلب است که: جبر شعاع طیفی متناظر با عملگر نرمال دارای زیرفضای پایای نا...

نمونه ای از توپولوژی هایی که دراین پایان نامه معرفی شده اند عبارتند از توپولوژی های فشرده- باز،ایزبل،ایزبل ریز و توپولوژی طبیعی است. ضمناٌ توپولوژی ها را به دو دسته شکافنده و پذیرفتنی تقسیم کرده ایم و بررسی کردیم که توپولوژیهای معرفی شده در کدام گروه قرار می گیرند. فضاهایی نیز معرفی کردیم که در آنها این توپولوژیها بر هم منطبق اند یا این که به طور اکید از هم کوچوک ترند.

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

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

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

  با وجود تأثیرات عمیق نسبی‌گرایی معرفتی در زمینه‌های مختلف نظری و عملی و اختلاف‌نظرهای فراوان دربارة اعتبار آن، به تبیین حدود و ثغور این مفهوم و نیز اقسام آن و محل نزاع دقیق در این زمینه، به اندازة کافی توجه نشده است. با تحلیل مفهوم نسبیت، می‌توان نشان داد نسبی‌بودن به معنای وابستگی یک «موضوع» به یک «محور» است؛ چنان‌که تغییرات «عناصر» آن محور موجب تعیین و تعیّن «ارزش»های موضوع می‏گردند. موضوع ...

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

پژوهش حاضر درصدد بررسی امکان ارایة برگردان صوری برای روابط مفهومی در سطح جمله است و این مهم را با به‏کارگیری منطق ریاضی به ویژه منطق محمول‏ها در محدودة نمونه‏های کارآمد برای زبان فارسی انجام می‏دهد. به این ترتیب که ابتدا روابط مفهومی در سطح جمله که شامل «استلزام معنایی»، «تضاد معنایی»، «استنتاج» و «پیش‏انگاری» است، معرفی می‏شود و سپس، به‌وسیلۀ ابزارهای صوری منطق‏دانان و به ویژه منطق محمول‏ها بر...

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