در این پژوهش با دو روش‎ ‎‎به حل عددی مسائل حساب تغییرات و کنترل بهینه با قیود مسیری به منظور به دست ‎‎آوردن اکسترمم این نوع مسائل می پردازیم.‎‎‎ دو روش برای حل این مسائل به وسیله ماتریس عملیاتی انتگرال و دیگری به وسیله ماتریس عملیاتی مشتق ارائه می دهیم. این توابع ترکیبی‎‎ متشکل از توابع پالس-بلوکی و چند جمله ای های برنولی می باشد.‎‎ با به کار بردن ماتریس های معرفی شده‎‎‏، مسائل را به دسته ای از...

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

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

الگوی مکانی در جنگل روابط متقابل درختان با یکدیگر و با محیط اطرافشان را آشکار می سازد. ساختار مکانی درختان در بوم سازگان جنگل متاثر از ناهمگنی محیط بوده که منجر به توزیع ناهمگن آنها می شود. این پژوهش با هدف بررسی روش های مناسب تحلیل الگوی مکانی درختزارهای ناهمگن بنه در زاگرس انجام شد. یک توده خالص 40 هکتاری از درختان بنه (.pistacia atlantica desf) در جنگل تحقیقاتی بنه استان فارس برای این منظور ...

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