سیستم بازنویسی ترم (trs) یک مدل محاسباتی است که به دلیل قابلیت های خوبی که دارد در تحلیل زبان های تابعی از آن استفاده می شود. یک سیستم بازنویسی ? رابطه ای روی ترم های منطقی مرتبه اول است، بطوریکه برای هر ?? (l, r) شرایط ، l??? و ??ar(l) ? ??ar(r) برقرار باشد. مجموعه ??ar(t)شامل متغیرهای ظاهر شده در ترم t می باشد. پایان پذیری یک ویژگی ضروری برای زبان های تابعی است. سیستم ? پایان پذیر است اگر دن...

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

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

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

هدف این پژوهش، بررسی تأثیر گفتمان ریاضی (با شیوه ی بحث های کلاسی) بر توانایی استدلال ریاضی دانش آموزان بود. جامعه ی آماری این مطالعه تمام دانش آموزان پایه ی اول دوره ی دوم متوسطه (پایه ی 9 ام) شهر ری در سال تحصیلی 93-1392 بود. 57 دانش آموز با روش نمونه گیری تصادفی چند مرحله ای انتخاب و در دو گروه آزمایشی و کنترل گماشته شدند. ابزار این پژوهش آزمون سنجش توانایی استدلال ریاضی متشکل از سؤالات ریاضی...

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

Grounded theory strategy is one of the essential strategies in qualitative research. This strategy focuses on an inductive approach rather than a deductive approach as the basis of theorization. Therefore in this article the theoretical basis as well as the performance procedure of this strategy is analyzed through a sample research done about organizational phenomena in the passes to come.

This article has no abstract.

 رویکردهای سنتی تدریس در رشته¬های مهندسی و علوم عموماً از شکل قیاسی است، بدین معنی که تدریس با ارائه یک نظریه کلی در باره موضوع شروع می شود و در نهایت، با کاربرد آن نظریه در صنعت، زندگی، کار و مانند آن پایان می یابد. شیوه استقرایی تدریس در آموزش مهندسی فرایندی مغایر با شکل قیاسی را طی می¬کند. در رویکرد استقرایی موضوع مورد تدریس با ارائه یک مسئله ساده، یک مورد یا مشاهده ویژه شروع و در پایان به نظ...

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