دانلود کتاب Lectures on the Logic of Computer Programming (به فارسی: سخنرانی در مورد منطق برنامه نویسی کامپیوتر) نوشته شده توسط «Zohar Manna»
اطلاعات کتاب سخنرانی در مورد منطق برنامه نویسی کامپیوتر
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Society for Industrial Mathematics
نویسنده: Zohar Manna
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1987
تعداد صفحه: 57
حجم کتاب: 2 مگابایت
کد کتاب: 9780898711646 , 0898711649
توضیحات کتاب سخنرانی در مورد منطق برنامه نویسی کامپیوتر
این تک نگاری به جنبه هایی از فرآیند برنامه نویسی کامپیوتری می پردازد که شامل تکنیک های مشتق شده از منطق ریاضی است. نویسنده بر اثبات این نکته تمرکز دارد که یک برنامه معین هر زمان که متوقف شود، نتیجه مورد نظر را تولید می کند، که یک برنامه معین در نهایت متوقف می شود، یک برنامه معین تا حدی درست است و پایان می یابد، و سیستم بازنویسی قوانین همیشه متوقف می شود. همچنین، نویسنده رفتار میانی یک برنامه معین را توصیف می‌کند، و درباره ساختن برنامه‌ای برای برآورده کردن یک ویژگی معین بحث می‌کند.
دانلود کتاب «سخنرانی در مورد منطق برنامه نویسی کامپیوتر»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.