دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
دانلود کتاب برنامه های تفکر: مدل سازی منطقی و استدلال درباره زبان ها، داده ها، محاسبات و اجراها
مشخصات کتاب
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
ویرایش: [1 ed.]
نویسندگان: Wolfgang Schreiner
سری: Texts & Monographs in Symbolic Computation
ISBN (شابک) : 3030805069, 9783030805067
ناشر: Springer
سال نشر: 2021
تعداد صفحات: 669
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 94 Mb
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه های تفکر: مدل سازی منطقی و استدلال درباره زبان ها، داده ها، محاسبات و اجراها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه های تفکر: مدل سازی منطقی و استدلال درباره زبان ها، داده ها، محاسبات و اجراها
این کتاب برخی از اصول اولیه را شرح می دهد که به توسعه
دهندگان برنامه های کامپیوتری (دانشمندان کامپیوتر، مهندسان نرم
افزار، برنامه نویسان) اجازه می دهد تا به وضوح در مورد مصنوعاتی
که در کار روزانه خود با آنها سر و کار دارند فکر کنند:
انواع داده ها، زبان های برنامه نویسی ، برنامه های نوشته شده به
این زبان ها که از ورودی های داده شده خروجی های مورد نظر محاسبه
می شوند و برنامه هایی که سیستم های در حال اجرای مداوم را توصیف
می کنند. پیام اصلی این است که تفکر روشن در مورد برنامه ها را می
توان در یک زبان جهانی واحد، زبان رسمی منطق بیان کرد.
جدای از ظرافت و بیان جهانی آن، این رویکرد «منطقی» به مدل‌سازی
رسمی و استدلال در مورد برنامه‌های رایانه‌ای مزیت دیگری نیز
دارد: به دلیل پیشرفت در منطق محاسباتی (اثبات قضیه خودکار، حل
رضایت‌پذیری، بررسی مدل)، امروزه بیشتر این فرآیند. می تواند توسط
نرم افزار پشتیبانی شود. بنابراین، این کتاب شرح‌های نظری
خود را با نمایش‌های عملی سیستم‌ها و ابزارهای مختلف همراه می‌کند
که به ترتیب مبتنی بر استفاده از زیربنای منطقی ارائه‌شده
است.
توضیحاتی درمورد کتاب به خارجی
This book describes some basic principles that allow
developers of computer programs (computer scientists, software
engineers, programmers) to clearly think about the
artifacts they deal with in their daily work: data types,
programming languages, programs written in these languages that
compute from given inputs wanted outputs, and programs that
describe continuously executing systems. The core message is
that clear thinking about programs can be expressed in a single
universal language, the formal language of logic. Apart
from its universal elegance and expressiveness, this “logical”
approach to the formal modeling of and reasoning about computer
programs has another advantage: due to advances in
computational logic (automated theorem proving, satisfiability
solving, model checking), nowadays much of this process can be
supported by software. This book therefore accompanies
its theoretical elaborations by practical demonstrations of
various systems and tools that are based on respectively make
use of the presented logical underpinnings.
