پژوهش حاضر درصدد بررسی امکان ارایة برگردان صوری برای روابط مفهومی در سطح جمله است و این مهم را با به‏کارگیری منطق ریاضی به ویژه منطق محمول‏ها در محدودة نمونه‏های کارآمد برای زبان فارسی انجام می‏دهد. به این ترتیب که ابتدا روابط مفهومی در سطح جمله که شامل «استلزام معنایی»، «تضاد معنایی»، «استنتاج» و «پیش‏انگاری» است، معرفی می‏شود و سپس، به‌وسیلۀ ابزارهای صوری منطق‏دانان و به ویژه منطق محمول‏ها بر...

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

در این پژوهش برای تبیین تاثیر پیامکهای مشوق بر انگیزش درونی و انگیزش پیشرفت دانش آموزان دبیرستانی پسر، در سال تحصیلی88-87، از بین دانش آموزان پسر سال اول در دبیرستانهای شهرستان سردشت، 206 نفر به صورت تصادفی انتخاب شدند (103 نفر گروه آزمایش و 106 نفر گروه کنترل). ابتدا انگیزش درونی (با پرسش نامه انگیزش درونی دسی)، انگیزش پیشرفت (با پرسش نامه انگیزش پیشرفت کرمی) و منبع کنترل (با مقیاس کنترل درونی...

die verbindung eines verbs mit substantiv nennt man fv-gefuge. weil das verb hier fast noch gramatische funktionen hat. diese arbeit will versuchen. durch beispielsatze die bedeutungen. anwendungsmoglichkeiten und die rektion der fv-gefuge in einfaches deutsch wiederzugeben. man kann diese arbeit auch zu wortschatzerweiterung und wortschatzstudien benutzen. indem man dic satze mit dem entsprech...

فصل اول علاوه بر ایدآلهای -m حذفی، به بررسی مدولهای حذفی و مدولهای حذفی ضعیف می پردازد و هر سه ی این مفهومها تعمیمی طبیعی از ایدآلهای حذفی است . فصل دوم این پایان نامه در یک کلام به مدولهای مقوی می پردازد. فصل سوم نیز از چندجمله ای ها بحث می کند.

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

پتانسیل های وابسته به مکان در مکانیک کوآنتومی به دو دسته چند جمله ای و غیر چند جمله ای (یا کسری) تقسیم می شوند. پتانسیل های کسری نیز به دو دسته تکین و غیر تکین تقسیم می شوند. ازجمله پتانسیل های تکین می توان به پتانسیل های میله ای و هم توان اشاره کرد. هم چنین از جمله پتانسیل های غیر تکین، می توان پتانسیل های سی پی آر اس و کسری مرتبه دوم و چهارم را نام برد.