مشخصات کتاب

Introduction to Computation: Haskell, Logic and Automata

ویرایش: [1 ed.] 
نویسندگان: D. Sannella. M Fourman,  H. Peng and P. Wadler  
سری:  
ISBN (شابک) : 9783030769079 
ناشر: Springer 
سال نشر: 2021 
تعداد صفحات: 379 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 Mb 

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

توجه داشته باشید کتاب مقدمه ای بر محاسبات: هاسکل، منطق و اتومات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مقدمه ای بر محاسبات: هاسکل، منطق و اتومات

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

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

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.

فهرست مطالب

Front Page
Title Page
Copyright Page
Table of Contents
Preface
1 Sets
2 Types
3 Simple Computations
4 Venn Diagrams and Logical Connectives
5 Lists and Comprehensions
6 Features and Predicates
7 Testing Your Programs
8 Patterns of Reasoning
9 More Patterns of Reasoning
10 Lists and Recursion
11 More Fun with Recursion
12 Higher-Order Functions
13 Higher and Higher
14 Sequent Calculus
15 Algebraic Data Types
16 Expression Trees
17 Karnaugh Maps
18 Relations and Quantifiers
19 Checking Satisfiability
20 Data Representation
21 Data Abstraction
22 Efficient CNF Conversion
23 Counting Satisfying Valuations
24 Type Classes
25 Search in Trees
26 Combinatorial Algorithms
27 Finite Automata
28 Deterministic Finite Automata
29 Non-Deterministic Finite Automata
30 Input/Output and Monads
31 Regular Expressions
32 Non-Regular Languages
Appendix: The Haskell Ecosystem
Index

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

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

دانلود کتاب Water Yam

دانلود کتاب Das landschaftliche Kreditwesen

دانلود کتاب Voice over IP - Die Technik: Grundlagen, Protokolle, Anwendungen, Migration, Sicherheit, 4.Auflage

دانلود کتاب Creations of Fire: Chemistry’s Lively History from Alchemy to the Atomic Age

دانلود کتاب Making Magickal Incenses & Ritual Perfumes