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

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

از این جهت است که برای حساب دای مدرن، تنها یک نهاد برای محاسبه ی دنیوی وجود دارد، یعنی سازمان حسابرسی و دیوان محاسبات. اما در حساب داری اسلامی، سوای از سازمان حساب رسی و دیوان محاسبات دنیوی، نهادهایی برای حساب رسی و محاسبات اخروی نیز مطرح است که در آن، خسارت یا فلاح جامعه، محاسبه می گردد.

استفاده از کوله های مسلح شده با مصالح ژئوسنتتیک جزء یکی از مسائل بروز مهندسی عمران به شمار می رود. در صورتی که هنوز فرصتی برای امتحان عملی این سیستم در شرایط لرزه ای به وجود نیامده است بنابراین رفتار این نوع کوله ها در حالت لرزه ای مساله با اهمیتی به حساب می آید.مدل ساخته شده توسط نرم افزار تفاضل محدود flac 2d v7.0 انجام شده است. مدل سازی با استفاده از کوله فاندر/میداو که با ژئوگرید مسلح شده و ...

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