اس پی دی فایل | سیستم همکاری در فروش فایل سپیده

¨      سیستمی با سه جزء

¡         نشانه گذاری برای تعریف توابع

¡         سیستمی برای اثبات تساوی گزاره ها

¡         مجموعه ای از قوانین که کاهش (reduction) نام دارد

¨      نشانه گذاری های نحوی پایه

¡         متغیر های آزاد(free) و مقید(free)

¡          توابع

¡         اعلانها

¨      قانون محاسبات

¡         ارزیابی سمبولیک مناسب برای توصیف برنامه

¡         در بهینه سازی و توسعه ی ماکرو کاربرد دارد

¡         ایده هایی در مورد حوزه ی مقید سازی(binding)    را ارائه می دهد.

¨      متغیر آزاد متغیری که در یک عبارت تعریف نشده باشد

¡         متغیر 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    هم آزاد و هم مقید است