توضیحات:
دانلود پاورپوینت با موضوع محاسبات لامبدا،
در قالب ppt و در 12 اسلاید، قابل ویرایش.
بخشی از متن پاورپوینت:
محاسبات لامبدا:
سیستمی با سه جزء:
نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (reduction) نام دارد
تاریخچه:
هدف اصلی:
تئوری اصلی جانشینی
برای توابع قابل محاسبه موفق تر بود
جانشینی محاسبه سمبلیک
تز Church
طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.
و . . .
فهرست مطالب:
محاسبات لامبدا
تاریخچه
عبارتها و توابع
توابع مرتبه ی بالاتر
روندی مشابه، با استفاده از نحو لیسپ
متغیرهای آزاد و مقید
تقلیل
تغییر نام متغیر های مقید
دانلود پاورپوینت در س مکانیک کوانتومی، در حجم 320 اسلاید. درس مکانیک کوانتومی یکی از مهمترین مباحث رشته فیزیک است که یادگیری و فهم اولیه ان تا حدودی برای دانشجویان مشکل است ولی با این وجود بسیار بحث شیرین و جذابی است و دید خواننده را نسبت به جهان تغییر میدهد. فایل حاضر کلیه مباححث مربوط به درس ...
دانلود پاورپوینت درس فیزیک الکترومغناطیس ( فیزیک پایه 2 ) ، بر اساس فصول 26 تا 36 کتاب فیزیک هالیدی (جلد سوم)، در حجم 351 اسلاید. این پاورپوینت برای اساتید و دانشجویان رشته فیزیک و رشته های فنی و مهندسی بسیار مناسب است ...
پاورپوینت درس معادلات دیفرانسیل ، در حجم 257 اسلاید. فایل درس معادلات دیفرانسیل در قالب پاور پوینت که به شیوه ای مطلوب و بسیار خوب کلیه مباحث مربوط به درس معادلات دیفرانسیل را توضیح داده است و برای مطالعه و همچنین ارایه و تدریس بسیار مناسب است.