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

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

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


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

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

ارسال نظر

  1. آواتار


    ارسال نظر
درباره نگین فایل
فروشگاه ساز فایل تمامی خدمات لازم برای راه اندازی و ساخت یک فروشگاه را در اختیار شما می گذارد. شما بدون نیاز به هاست ، دامنه ، هزینه های بالای برنامه نویسی و طراحی سایت می توانید فروشگاه خود را ایجاد نمایید .پشتیبانی واتساپ سایت:09054820692 .
آمار فروشگاه
  •   تعداد فروشگاه: 123
  •   تعداد محصول: 37,516
  •   بازدید امروز : 50,575
  •   بازدید هفته گذشته: 145,140
  •   بازدید ماه گذشته: 438,959