دانلود کتاب The Little Prover – پروور کوچولو

توضیحات

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.

————————————————————–

ترجمه ماشینی :

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

tag : دانلود کتاب پروور کوچولو , Download پروور کوچولو , دانلود پروور کوچولو , Download The Little Prover Book , پروور کوچولو دانلود , buy پروور کوچولو , خرید کتاب پروور کوچولو , دانلود کتاب The Little Prover , کتاب The Little Prover , دانلود The Little Prover , خرید The Little Prover , خرید کتاب The Little Prover ,