در این رساله ابتدا نظریه توابع بازگشتی (محاسبه پذیر) و سپس نظریه درجات حل ناپذیری به طورخلاصه معرفی می شوند.در ادامه ثابت می کنیم که هر رابطه شمارش پذیر روی درجات شمارش ، ‏‎c‎‏ ، به طور یکنواخت ، با پارامترهایی در ‏‎c‎‏ ، تعریف پذیر است. در نتیجه ، تئوری مرتبه اول ‏‎c‎‏ ، به طور بازگشتی با حساب مرتبه دوم یکریخت است. با کمک یک صورت کارآمد از لم کدگذاری ، نشان داده می شود که تئوری مرتبه اول درجات...

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

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

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

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

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

در این پایان نامه به مطالعه معادلات تعریف کننده ی یک اسکرول می پردازیم.

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

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

در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.