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

در این پروژه به بررسی پتانسیل برهمکنشی کل و اهمیّت معادله حالت هسته ای در واکنشهای همجوشی پرداخته ایم. بدین منظور مطالعاتمان را برروی سه دسته از واکنشهای همجوشی معطوف کرده ایم: واکنشهای همجوشی با هسته های نیمه سنگین- نیمه سنگین متقارن (ni64 + ni64 و ni58 + ni58) 2- واکنشهای همجوشی با هسته های سبک - نیمه سنگین نامتقارن (zr92 + c12، zr92 + o16، zr92 + si28 و zr92 + cl35) 3- واکنشهای همجوشی با هسته...

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

شاب و ویلکینسون و نیز روئل و ویلکینسونردهای از دیفیومورفیسمهای حافظ حجم را روی چنبره های سه بعدیکه به طور ارگودیک پایدار می باشند رابررسی نمودند. این دیفیومورفیسمها به طور جزئی هذلولوی می باشند و برگ بندی مرکزی پایاییاز دایره ها را می پذیرند. در واقع این برگ بندی مطلقاً پیوسته نمی باشد. روئل و ویلکینسون نشان دادند که جمع ناپذیری حجم در امتدادبرگهای مرکزی اتمی می باشند. هامبورگنشان داد که در چنین...

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

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

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