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