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

تاکنون مباحث فلسفی گوناگونی پیرامون نظریۀ احتمالات مطرح شده ‌است. مهمترین مسئله در این میان آن است که چه تفسیر یا تفسیرهایی را می‌توان از مفهوم احتمال - که اساسی‌ترین نقش را در نظریۀ احتمالات بازی می‌کند -به‌دست داد. فیلسوفان مغرب زمین تفسیرهای متفاوتی را برای این مفهوم پیشنهاد کرده‌اند. از میان اندیشمندان مسلمان نیز شهید سیدمحمدباقر صدر تفسیری از احتمال ارائه داده ‌است که می‌توان آن را «تفسیر ...

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

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

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

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

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

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