مشخصات کتاب

Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)

ویرایش: [1st ed. 2021] 
نویسندگان: Donald Sannella,  Michael Fourman,  Haoran Peng,  Philip Wadler  
سری:  
ISBN (شابک) : 3030769070, 9783030769079 
ناشر: Springer 
سال نشر: 2022 
تعداد صفحات: 382 
زبان: English 
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 41 Mb 

در صورت تبدیل فایل کتاب Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر محاسبات: Haskell، Logic و Automata (مباحث کارشناسی در علوم کامپیوتر) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مقدمه ای بر محاسبات: Haskell، Logic و Automata (مباحث کارشناسی در علوم کامپیوتر)

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

توضیحاتی درمورد کتاب به خارجی

Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm).  This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner.  From core elements like sets, types, Venn diagrams and logic, to patterns of reasoning, calculus, recursion and expression trees, the book spans the breadth of key concepts and methods that will enable students to readily progress with their studies in Computer Science

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Ethnology of the Ungava District, Hudson Bay Territory

دانلود کتاب Energy-Efficient Data Centers: Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers

دانلود کتاب Survival in the Relentless New: A Technical Writer Get's a Head

دانلود کتاب Introduction to Aerospace Structural Analysis

دانلود کتاب 3 Numarali Muhimme Defteri (Register of Ottoman Imperial Court Orders, Register #3)