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

دانلود پاورپوینت محاسبات لامبدا جهت رشته ریاضی در قالب 10 اسلاید و با فرمت pptx به صورت کامل و جامع و با قابلیت ویرایش

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

فهرست مطالب

محاسبات لامبدا

تاریخچه

دلایل مطالعه

عبارت ها و توابع

توابع مرتبه ی بالاتر

لیسپ

متغیرهای آزاد و مقید

تقلیل

تغییر نام متغیرهای مقید