دانلود پاورپوینت محاسبات لامبدا جهت رشته ریاضی در قالب 10 اسلاید و با فرمت pptx به صورت کامل و جامع و با قابلیت ویرایش
سیستمی با سه جزء: نشانه گذاری برای تعریف توابع، سیستمی برای اثبات تساوی گزاره ها، مجموعه ای از قوانین که کاهش (reduction) نام دارد
فهرست مطالب
محاسبات لامبدا
تاریخچه
دلایل مطالعه
عبارت ها و توابع
توابع مرتبه ی بالاتر
لیسپ
متغیرهای آزاد و مقید
تقلیل
تغییر نام متغیرهای مقید