فرمت فایل:(powerpoint) تعداد اسلایدها: 12 اسلاید برخی از اسلایدها: محاسبات لامبدا : سیستمی با سه جزء: نشانه گذاری برای تعریف توابع سیستمی برای اثبات تساوی گزاره ها مجموعه ای از قوانین که کاهش (reduction) نام دارد تاریخچه : uml;هدف اصلی: تئوری اصلی جانشینی برای توابع قابل محاسبه ...