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

در این پایان نامه که بر مبنای مقاله ذیل نوشته می شود، مفهومی از تکامل و یک نوع کامل سازی در غیاب اصل انتخاب شمارا ارائه می شود. این کار ساخت اعداد حقیقی و کامل سازی یک فضای متری را در بر می گیرد. مجموعه اعداد حقیقی به عنوان یک میدان هیتینگ ارشمیدسی کامل که یک شئ پایانی در رسته میدان های هیتینگ ارشمیدسی می باشد، طبقه بندی می شود ‎f‎. ‎richman‎, ‎real number and other completions‎, ‎math‎. ‎lo...

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

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...

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

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