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

دانلود پاورپوینت با موضوع پاورپوینت محاسبات لامبدا دارای 10 اسلاید و با فرمت .ppt و قابل ویرایش و آماده برای ارائه ، چاپ ، تحقیق و کنفرانس می باشد.

تعداد اسلاید : 10 اسلاید
فرمت فایل: پاورپوینت .ppt و قابل ویرایش
آماده برای : ارائه ، چاپ ، تحقیق و کنفرانس

قسمتی از متن نمونه:

متغیرهای آزاد و مقید
متغیر آزاد: متغیری که در یک عبارت تعریف نشده باشد:
متغیر y در lx. (x+y) آزاد است
تابع lx. (x+y)  با lx. (x+z) تفاوت دارد
متغیر مقید: متغیری که آزاد نیست
متغیر x در lx. (x+y) مقید است
تابع lx. (x+y)  با lz. (z+y) یکسان است (تغییر نام)
مقایسه

ò x+y dx  =  ò z+y dz
مثال :
y در lx. ((ly. y+2) x) + y  هم آزاد و هم مقید است

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