دسته بندی | حسابداری |
فرمت فایل | pptx |
حجم فایل | 198 کیلو بایت |
تعداد صفحات فایل | 10 |
پاورپوینت محاسبات لامبدا در 10 اسلاید زیبا و قابل ویرایش با فرمت pptx
محاسبات لامبدا
¨سیستمی با سه جزء: ¡نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (reduction) نام دارد
تاریخچه
¨هدف اصلی:
تئوری اصلی جانشینی
برای توابع قابل محاسبه موفق تر بود
جانشینی محاسبه سمبلیک
تز Church
طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.
دسته بندی | صنایع نفت و گاز |
فرمت فایل | zip |
حجم فایل | 2191 کیلو بایت |
تعداد صفحات فایل | 40 |
کد فرترن روش ماتریس معکوس در حل دستگاه معادلات program
matrix_inverse_method implicit none INTEGER::i2,i,j,k,p,i1,j1,n,j2,i3
REAL::s,detr,deta
REAL,ALLOCATABLE::a(:,:),b(:,:),c(:,:),f(:),x(:,:),t(:,:),g(:,:) PRINT*
PRINT*," _ _ _ _ _ _ " PRINT*," | a11
a12 ..a1n1 | | x1 | ...
|
کد فرترن روش ماتریس معکوس در حل دستگاه معادلات program
matrix_inverse_method implicit none INTEGER::i2,i,j,k,p,i1,j1,n,j2,i3
REAL::s,detr,deta
REAL,ALLOCATABLE::a(:,:),b(:,:),c(:,:),f(:),x(:,:),t(:,:),g(:,:) PRINT*
PRINT*," _ _ _ _ _ _ " PRINT*," | a11
a12 ..a1n1 | | x1 | ...
|
دسته بندی | فنی و مهندسی |
فرمت فایل | |
حجم فایل | 4539 کیلو بایت |
تعداد صفحات فایل | 29 |
این محصول خلاصه ای مفید در مورد محاسبات پمپ ها می باشد