زیر نظریه استقراء باز oi از حساب پئانو در زبان مرتبه اول حلقه های یکدار مرتب ، از افزودن اصل موضوعی استقراء روی فرمولهای خالی از سور به مجموعه اصول حلقه های جابجایی یکدار گسسته مرتب حاصل می شود. نظریه استقراء باز نرمال noi، گسترش oi توسط قالب اصل موضوعی بیان کننده به طور صحیح بسته بودن حلقه در میدان کسرهای خود می باشد. در سال 1991، بوگاتا در مقاله خود در j.s.l متناهیا اصل ناپذیری oi را ثابت کرد...

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

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

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

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

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

هدف این پژوهش، بررسی تأثیر آموزش مبتنی بر مسائل باز-پاسخ بر توانایی حل مساله ی دانش آموزان دختر پایه هفتم دوره ی اول متوسطه است. این پژوهش نیمه آزمایشی از نوع پیش آزمون- پس آزمون با گروه گواه می باشد. جامعه آماری این تحقیق شامل کلیه دانش آموزان دختر پایه هفتم دوره اول متوسطه شهر باغبادران در سال تحصیلی 93-92 می باشد. حجم نمونه متشکل از 62 نفر دانش آموز دختر پایه هفتم دوره اول متوسطه است که 32 ن...

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