دانلود پاورپونت با موضوع محاسبات لامبدا
در قالبppt
در 11اسلاید قابل ویرایش
قسمتی از اسلایدها:
متغیرهای آزاد و مقید
متغیر آزاد: متغیری که در یک عبارت تعریف نشده باشد:
متغیر 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 هم آزاد و هم مقید است
فهرست مطالب واسلایدها:
محاسبات لامبدا
تاریخچه
دلایل مطالعه
عبارتها و توابع
توابع مرتبه ی بالاتر
روندی مشابه، با استفاده از نحو لیسپ
متغیرهای آزاد و مقید
تقلیل
تغییر نام متغیر های مقید
