در حال بارگذاری…
پروور کوچک
کتاب «پروور کوچک» اثبات‌های استقرایی را به عنوان روشی برای تعیین حقایق درباره برنامه‌های کامپیوتری معرفی می‌کند.
کتاب «پروور کوچک» اثبات‌های استقرایی را به عنوان روشی برای تعیین حقایق درباره برنامه‌های کامپیوتری معرفی می‌کند. این کتاب با سبکی جذاب و پرسش و پاسخی، همراه با طنز همیشگی مجموعه «اسکیمر کوچک»، گام به گام خوانندگان را در نوشتن اثبات‌های استقرایی راهنمایی می‌کند.
از کتابخانهٔ نویسنده
انتخاب‌های نزدیک به این کتاب
جیمز اف. دیویس