برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic and Computation: Interactive Proof with Cambridge LCF

دانلود کتاب منطق و محاسبات: اثبات تعاملی با کمبریج LCF

مشخصات کتاب

Logic and Computation: Interactive Proof with Cambridge LCF

دسته بندی: منطق
ویرایش:  
نویسندگان: Paulson L.C.  
سری: Cambridge Tracts in Theoretical Computer Science, Volume 2 
ISBN (شابک) : 0521395607, 9780521395601 
ناشر: CUP 
سال نشر: 1990 
تعداد صفحات: 318 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 48,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 6

در صورت تبدیل فایل کتاب Logic and Computation: Interactive Proof with Cambridge LCF به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق و محاسبات: اثبات تعاملی با کمبریج LCF نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق و محاسبات: اثبات تعاملی با کمبریج LCF

منطق و محاسبات با تکنیک هایی برای اثبات قضیه رسمی، با ارجاع خاص به کمبریج LCF (منطق برای توابع قابل محاسبه) مرتبط است. کمبریج LCF یک برنامه کامپیوتری برای استدلال در مورد محاسبات است. این روش‌های منطق ریاضی را با تئوری دامنه ترکیب می‌کند، که اساس رویکرد معنایی برای مشخص کردن معنای عبارات در یک زبان برنامه‌نویسی است. این کتاب از دو بخش تشکیل شده است. بخش اول مقدمات ریاضی را تشریح می کند: منطق ابتدایی و نظریه حوزه. آنها در سطح شهودی توضیح داده می شوند و به خواندن پیشرفته تر ارجاع می دهند. بخش دوم جزئیات کافی را ارائه می دهد تا به عنوان یک راهنمای مرجع برای کمبریج LCF خدمت کند. همچنین راهنمای مفیدی برای مجریان برنامه های دیگر بر اساس رویکرد LCF خواهد بود.

توضیحاتی درمورد کتاب به خارجی

Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.