ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, with cover)

دانلود کتاب مقدمه ای بر محاسبات: Haskell، Logic و Automata (رایگان، نسخه غیر خرده فروشی، با جلد)

Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, with cover)

مشخصات کتاب

Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, with cover)

ویرایش: 1 
نویسندگان: ,   
سری:  
ISBN (شابک) : 9783030769079 
ناشر: Springer 
سال نشر: 2021 
تعداد صفحات: 380 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 65,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, with cover) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



فهرست مطالب

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




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد