حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

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

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

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

هدف: بررسی تأثیر نرم افزار کمک آموزشی رایانه ای طراحی شده (حساب یار) برای آموزش  شمارش، جمع و تفریق دانش آموزان با نارسایی یادگیری خاص در حساب بوده است. روش: با بهره گیری از روش شبه آزمایشی،  تعداد 20 دانش آموز7-8  ساله دچار این اختلال از بین جامعه آماری این دانش آموزان در شهر تهران پس از انتخاب و همتاسازی به صورت تصادفی در طرح  پیش آزمون – پس آزمون به دو گروه آزمایش و کنترل، تقسیم شدند .  ابزا...

نوشته‌ای که در اینجا ویرایش و به زبان امروزی شرح شده، رساله‌ای با عنوان «‎حساب اهل تنجیم» از یک مجموعۀ دست‌نویس قدیمی است که در کتابخانۀ ملّی کشور بوسنی و هرزگوین نگهداری می‌شود. در آخر این رساله عباراتی نوشته شده که با استناد به آنها می‌توان دریافت که اصل کتابی که این رساله بخشی از آن بوده است از آثار ملا علی قوشچی است و زبان اصل اثر‎ نیز فارسی است. این رساله در واقع خلاصه‌ای از مقالۀ دوم آن کت...