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

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

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

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

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.

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

اعتباریات از مسائل مهم فلسفه جدید اسلامی و نیز علم اصول است. در فلسفه اسلامی سنتی «اعتباریات» به صورت مستقل مورد بحث قرار نگرفته است؛ تا این‌که علامه طباطبایی در کتاب «اصول فلسفه و روش رئالیسم» آن را مطرح می‌کند. در علم اصول هم، صرفاً مجموعه مباحثی پراکنده در این زمینه وجود داشته و تحت عنوان واحدی مطرح نشده است و آن مباحث هم عمق کافی ندارد. در سلسله بحث‌های «فلسفه علم اصول» بحث اعتباریات را به ص...

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

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