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

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

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

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

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

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

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

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

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

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