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

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

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

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

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

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

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

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...

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

روش های مختلفی برای حل دستگاه خطی ax=b ارائه می شوند، که در آن a یک ماتریس معلوم، b معلوم و x مجهول می باشد. یک دسته از این روش ها، روش های تکراری می باشند و یکی از روش های تکراری، روش تکراری sor است، اغلب برای سرعت بخشیدن به همگرایی روش های تکراری برای حل دستگاه خطی ax=b از روش های پیش شرط سازی استفاده می شود. برای این منظور پیش شرط های مختلفی ارائه شده اند و برای حل دستگاه خطی ax=b تحت فرض ها...