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

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

توضیحات:
دانلود پاورپوینت با موضوع محاسبات لامبدا،
در قالب ppt و در ۱۲ اسلاید، قابل ویرایش.

بخشی از متن پاورپوینت:
محاسبات لامبدا:
سیستمی با سه جزء:
نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (reduction) نام دارد

تاریخچه:
هدف اصلی:
تئوری اصلی جانشینی
برای توابع قابل محاسبه موفق تر بود
جانشینی  محاسبه سمبلیک
تز Church
طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.
و . . .

فهرست مطالب:
محاسبات لامبدا
تاریخچه
عبارتها و توابع
توابع مرتبه ی بالاتر
روندی مشابه، با استفاده از نحو لیسپ
متغیرهای آزاد و مقید
تقلیل
تغییر نام متغیر های مقید

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

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

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

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

تعداد صفحات: ۱۲

حجم فایل:۱,۲۰۶ کیلوبایت

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

  • محتوای فایل دانلودی:
    در قالب ppt و در ۱۲ اسلاید، قابل ویرایش.

دانلود فایل

این خبر را به اشتراک بگذارید :