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

لینک دانلود و خرید پایین توضیحات

دسته بندی : پاورپوینت

نوع فایل :  .ppt ( قابل ويرايش و آماده پرينت )

تعداد اسلاید : 10 اسلاید

نمونه متن :

• سیستمی با سه جزء:
  • نشانه گذاری برای تعریف توابع
  • سیستمی برای اثبات تساوی گزاره ها
  • مجموعه ای از قوانین که کاهش (reduction) نام دارد
• هدف اصلی:
  • تئوری اصلی جانشینی
• برای توابع قابل محاسبه موفق تر بود
  • جانشینی ß محاسبه سمبلیک
  • تز Church
• طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.
• نشانه گذاری های نحوی پایه
  • متغیر های آزاد(free) و مقید(free)
  • توابع
  • اعلانها
• قانون محاسبات
  • ارزیابی سمبولیک مناسب برای توصیف برنامه
  • در بهینه سازی و توسعه ی ماکرو کاربرد دارد
  • ایده هایی در مورد حوزه ی مقید سازی(binding) را ارائه می دهد.
• عبارتها:

x + y             x + 2*y + z

• توابع:

1. l (x+y) lz. (x + 2*y + z)

• کاربرد:

(lx. (x+y)) 3                =  3 + y

(lz. (x + 2*y + z)) 5     =  x + 2*y + 5

• با داشتن تابع f، تابع fof را برمی گرداند:

1. l lx. f (f x)

• طریقه ی عمل کردن:

(lf.  lx. f (f x))  (ly. y+1)

=  lx. (ly. y+1) ((ly. y+1)  x)

=  lx. (ly. y+1) (x+1)

=  lx. (x+1)+1

عمومی و آزاد

فایل های جدید