فایل های دیگر این دسته

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

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

کد فایل:7536
دسته بندی: علوم پایه » دانلود پاورپوینت های علمی
نوع فایل:پاورپوینت

تعداد مشاهده: 3769 مشاهده

فرمت فایل دانلودی:.zip

فرمت فایل اصلی: .ppt

تعداد صفحات: 12

حجم فایل:1,220 کیلوبایت

  پرداخت و دانلود  قیمت: 7,000 تومان
پس از پرداخت، لینک دانلود فایل برای شما نشان داده می شود.
0 0 گزارش
  • لینک دانلود و خرید پایین توضیحات
    دسته بندی : پاورپوینت
    نوع فایل :  powerpoint (..ppt) ( قابل ويرايش و آماده پرينت )
    تعداد اسلاید : 12 اسلاید

     قسمتی از متن powerpoint (..ppt) : 
     

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

     



    برچسب ها: محاسبات لامبدا (پاورپوینت ) محاسبات لامبدا دانلود محاسبات لامبدا (پاورپوینت ) محاسبات لامبدا محاسبات لامبدا (پاورپوینت
  • سوالات خود را درباره این فایل پرسیده، یا نظرات خود را جهت درج و نمایش بیان کنید.

  

به ما اعتماد کنید

تمامي كالاها و خدمات اين فروشگاه، حسب مورد داراي مجوزهاي لازم از مراجع مربوطه مي‌باشند و فعاليت‌هاي اين سايت تابع قوانين و مقررات جمهوري اسلامي ايران است.
این سایت در ستاد ساماندهی پایگاههای اینترنتی ثبت شده است.

درباره ما

تمام حقوق اين سايت محفوظ است. کپي برداري پيگرد قانوني دارد.

دیجیتال مارکتینگ   ثبت آگهی رایگان   ظروف مسی زنجان   خرید ساعت هوشمند