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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Little Prover

دانلود کتاب پروور کوچولو

مشخصات کتاب

The Little Prover

دسته بندی: برنامه نویسی: زبان های برنامه نویسی
ویرایش: 1 
نویسندگان: Daniel P. Friedman,  Carl Eastlund  
سری:  
ISBN (شابک) : 9780262527958 
ناشر: MIT Press 
سال نشر: 2015 
تعداد صفحات: 244 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

کلمات کلیدی مربوط به کتاب پروور کوچولو: لیسپ، ریاضیات، صحت برنامه، تأیید برنامه، اثبات ها، منطق ریاضی، استقرای ریاضی، جی باب

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

در صورت تبدیل فایل کتاب The Little Prover به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پروور کوچولو نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب پروور کوچولو

Little Prover اثبات های استقرایی را به عنوان راهی برای تعیین حقایق در مورد برنامه های کامپیوتری معرفی می کند. این به سبکی قابل دسترس و جذاب از پرسش و پاسخ، با طنز مشخصه طرحواره کوچک (ویرایش چهارم، انتشارات MIT) نوشته شده است. گاهی اوقات بهترین راه برای یادگیری چیزی این است که بنشینید و آن را انجام دهید. این کتاب خوانندگان را از طریق مثال‌های گام به گام راهنمایی می‌کند که نحوه نوشتن برهان استقرایی را نشان می‌دهد. The Little Prover فقط دانش برنامه‌ها و لیست‌های بازگشتی را فرض می‌کند (همانطور که در سه فصل اول The Little Schemer ارائه شده است) و فقط از چند اصطلاح فراتر از آنچه برنامه‌نویسان تازه کار می‌دانند استفاده می‌کند. این کتاب با یک دستیار اثبات ساده ارائه می شود تا به خوانندگان کمک کند تا در مورد کتاب کار کنند و راه حل های کاملی برای هر مثال ارائه کنند.

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

The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.

فهرست مطالب

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.