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

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

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

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

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

در ریاضیات نمایش های مختلفی از عددهای حقیقی ارایه شده است .عددهای حقیقی محاسبه پذیر را می توان با راه های گوناگونی تعریف کرد ، اما اگر در این تعریف ها واژه "محاسبه پذیر" را با واژه "بازگشتی اولیه" جایگزین کنیم، مفهوم متفاوتی را به ما می دهد که در این پایان نامه آن را بررسی می کنیم و نشان خواهیم داد که یک پایگان سره میان عددهای حقیقی توسط نمایش بازه تو در تو، نمایش کوشی، نمایش بسط b-adic، نمایش ...

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

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

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

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