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

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

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

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

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

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

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

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

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

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