کامپیوترها

سخنرانی در مورد منطق برنامه نویسی کامپیوتر

Lectures on the Logic of Computer Programming

دانلود کتاب Lectures on the Logic of Computer Programming (به فارسی: سخنرانی در مورد منطق برنامه نویسی کامپیوتر) نوشته شده توسط «Zohar Manna»

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

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Society for Industrial Mathematics

نویسنده: Zohar Manna

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1987

تعداد صفحه: 57

حجم کتاب: 2 مگابایت

کد کتاب: 9780898711646 , 0898711649

توضیحات کتاب سخنرانی در مورد منطق برنامه نویسی کامپیوتر

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

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.

دانلود کتاب «سخنرانی در مورد منطق برنامه نویسی کامپیوتر»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان