محاسبات لامبدا (پاورپوینت )

دسته بندي : علوم پایه » دانلود پاورپوینت های علمی
لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل :  powerpoint (..ppt) ( قابل ويرايش و آماده پرينت )
تعداد اسلاید : 12 اسلاید

 قسمتی از متن powerpoint (..ppt) : 
 

بنام خدا
محاسبات لامبدا
محاسبات لامبدا
سیستمی با سه جزء:
نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش ( reduction ) نام دارد
تاریخچه
هدف اصلی:
تئوری اصلی جانشینی
برای توابع قابل محاسبه موفق تر بود
جانشینی  محاسبه سمبلیک
تز Church
طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.
دلایل مطالعه
نشانه گذاری های نحوی پایه
متغیر های آزاد( free ) و مقید( free )
توابع
اعلانها
قانون محاسبات
ارزیابی سمبولیک مناسب برای توصیف برنامه
در بهینه سازی و توسعه ی ماکرو کاربرد دارد
ایده هایی در مورد حوزه ی مقید سازی( binding ) را ارائه می دهد.

 
دسته بندی: علوم پایه » دانلود پاورپوینت های علمی

تعداد مشاهده: 3864 مشاهده

فرمت فایل دانلودی:.zip

فرمت فایل اصلی: .ppt

تعداد صفحات: 12

حجم فایل:1,220 کیلوبایت

 قیمت: 7,000 تومان
پس از پرداخت، لینک دانلود فایل برای شما نشان داده می شود.   پرداخت و دریافت فایل