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

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

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

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

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

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

برخی از منطق‌دانان معاصر روشی نو و ساده برای استنتاج‌های منطقی ابداع کرده و هم? استدلال‌های مباشر را به دو قاعد? عکس‌مستوی و نقض‌محمول فروکاسته‌اند. یکی از ایشان، رضا اکبری، محصورات چهارگان? مشهور را به 32 محصوره گسترش داده است: 4 گزار? محصلة‌الطرفین مشهور، 4 گزار? معدولة‌الطرفین، 4 گزار? معدولة‌الموضوع، 4 گزار? معدولة‌المحمول، و همین 16 گزاره با جابه‌جا کردن «الف» و «ب» در هم? آن‌ها. اکبری، هم...

سم استوانه ای همواره موضوعی بسیار جذاب بوده است و این از زمانی آغاز شد که ارشمیدس، تنها از طریق مفاهیم هندسی ثابت کردکه حجم سم استوانه ای 1/6 حجم مکعب محاطی آن است. در این مقاله با استفاده از مثلثات و حسابگان دیفرانسیل و انتگرال، چگونگی محاسبه حجم سم استوانه ای ارائه شده است.

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

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