The term rewriting systems (TRSs) is an abstract model of functional languages. The termination proving of TRSs is necessary for confirming accuracy of functional languages. The semantic labeling (SL) is a complete method for proving termination. The semantic part of SL is given by a quasi-model of the rewrite rules. The most power of SL is related to infinite models that is difficult f...

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

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

زمینه: خروج از درمان یکی از موانع موجود در ارایه خدمات روان­درمانی است که روند ارایه این خدمات را تحت تأثیر قرار می­دهد. تبیین علل خروج از درمان جهت برنامه­ریزی­های لازم در این زمینه ضروریست. این مطالعه با هدف تبیین علل خروج از روان­درمانی از دیدگاه روان­درمانگران انجام شد. روش ها: این مطالعه به روش کیفی و از نوع تحلیل محتوای قراردادی انجام شد. مشارکت کنندگان 12 روان درمانگر مشغول به روان درمان...

بررسی این نکته که مترجم عملاً در متن بازنویسی یا «بازتولید»، تا چه اندازه توانسته‌است مفاهیم مورد نظر نویسنده را در زبان مبدأ «درک» و به زبان مقصد منتقل کند، در تشخیص توفیق مترجم در کار ترجمه بسیار مهم است و نشانة سطح توانایی او در کار ترجمه است. در این مقاله، ترجمة برخی اشعار غادة‌السمان به قلم عبدالحسین فرزاد که با نام در بند کردن رنگین‌کمان منتشر شده‌است، بر اساس دیدگاه یکی از پژوهشگران ترجمه...

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

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

مقدمه اشتباهات دارویی رخداد شایع بالقوه خطرناک است که می‎تواند در سیستم درمان به عنوان یکی از چالش‎ها ‎و معیارهای سنجش ایمنی بیمار مورد استفاده قرار گیرد.در این مطالعه، برخی از خطاهای رایج دارویی در بخش‎های داخلی بیمارستان امام سجاد (ع) رامسر، مورد بررسی قرار گرفت. روش کار نوع مطالعه توصیفی- مقطعی و جامعه مورد مطالعه شامل200پرونده بیمار بستری ...

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

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