این پایان نامه بر آن است یک کران بالا برای 2^(?_? ) بیابد.برای نیل به مقصود،این پایان نامه در سه فصل و تنظیم گردیده است. در فصل اول،ابتدا مقدمات نظریه مجموعه ها، تعاریف اولیه و قضایای مقدماتی ،و در عین حال اساسی نظریه مجموعه ها،به همراه زبان نظریه مجموعه ها،به طود کامل و تا جای امکان ، به زبان ساده و گویا معرفی و بیان شده است. در فصل دوم به بررسی روابط اولیه حساب اعداد اصلی می پردازیم.هدف ن...

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

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

هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

در برخی قضایا و در برخی زبان ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه ای از مراتب «وجود» می دانند و از این رو از آن به «وجود رابط» تعبیر می کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم ترین آن ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

در برخی قضایا و در برخی زبان‌ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه‌ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه‌ای از مراتب «وجود» می‌دانند و از این رو از آن به «وجود رابط» تعبیر می‌کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم‌ترین آن‌ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

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

در این پایان نامه با استفاده از قضیه نقطه ثابت شودر ونقطه ثابت لری-شودر وجود جوابها اثبات میشوند سپس با استفاده از قضیه انقباض باناخ یکتایی جواب را به اثبات میرسانیم

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

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