نتایج جستجو برای: قضیه ناتمامیت گودل

تعداد نتایج: 3154  

ژورنال: منطق پژوهی 2019

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر 1392

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

ژورنال: :جاویدان خرد 0
اسدالله فلاحی استادیار گروه منطق مؤسسه پژوهشی حکمت و فلسفه ایران

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

ژورنال: :حکمت و فلسفه 0
محمدعلی عباسیان دانشیار دانشگاه پیام نور

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

ژورنال: :مهندسی پزشکی زیستی 0
آزاده قجرجزی دانشگاه علم و صنعت ایران سید حجت سبزپوشان مدیر گروه مهندسی پزشکی- دانشگاه علم و صنعت ایران

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده علوم پایه 1389

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم پایه 1386

چکیده ندارد.

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده ریاضی و کامپیوتر 1392

هدف اصلی این پایان نامه معرفی خانواده ای غیر کلاسیک از چندجمله ای های متعامد است . این چندجملهای ها روی بازههای [c,-c] ا [c,-1] نسبت به تابع وزن ژاکوبی متعامد هستند و دراصطلاح،چندجمله ای های ژاکوبی زیردامنه نام دارند. برای محاسبه ی ضرایب بازگشتی این چندجمله ای ها روش سازی استیلت یس را به کارمی بریم و هم چنین به بررسی قواعد انتگرال گیری متناظر با این چندجمله ای ها هم می پردازیم . هم چنین در این ...

ژورنال: :فلسفه 2004
دکتر محمد سعیدی مهر

یکی از پرسشهایی که امروزه برای فیلسوفان تحلیلی مطرح است پرسش از نسبت میان قضایای پیشین (a priori) و پسین (a posteriori) از یک سو و قضایای ضروری (necessary) و ممکن (contingent) از سوی دیگر است تا چندی پیش یک پاسخ نسبتا رایج به این پرسش آن بود که همه قضایای ضروری پیشین اند (و بالعکس) و همه قاضای ممکن پسین اند (و بالعکس) اما در اسلهای اخیر برخی از فیلسوفان معاصر از جمله سول کریپکی با این دیدگاه ...

ژورنال: :علوم 0
اژدر سلیمانپور باکفایت azhdar soleymanpour bakefayat مدرس مدعو دانشگاه پیام نور و دانشگاه فرهنگیان ارومیه نادر دسترنج nader dastranj دانشگاه پیام نور

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید