ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Haskell Road to Logic, Maths and Programming

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

The Haskell Road to Logic, Maths and Programming

مشخصات کتاب

The Haskell Road to Logic, Maths and Programming

ویرایش: 2nd 
نویسندگان:   
سری: Texts in Computing 4 
ISBN (شابک) : 9780954300692, 0954300696 
ناشر: College Publ. 
سال نشر: 2018 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : AZW3 (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 458 کیلوبایت

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



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

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


در صورت تبدیل فایل کتاب The Haskell Road to Logic, Maths and Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

مدتها پیش، زمانی که اسکندر مقدونی از مناخموس ریاضیدان برای یک دوره تصادفی در هندسه درخواست کرد، او پاسخ معروف "راه سلطنتی برای ریاضیات وجود ندارد" را دریافت کرد. جایی که هیچ میانبری برای اسکندر وجود نداشت، هیچ میانبری برای ما وجود ندارد. با این حال، این واقعیت که ما به رایانه‌ها و زبان‌های برنامه‌نویسی بالغ دسترسی داریم به این معنی است که راه‌هایی برای ما وجود دارد که پادشاهان و امپراطوران گذشته از آن محروم بودند. هدف این کتاب آموزش منطق و استدلال ریاضی به صورت عملی و ارتباط استدلال منطقی با برنامه نویسی کامپیوتر در هاسکل است. Haskell در دهه 1990 به عنوان استانداردی برای برنامه نویسی تابعی تنبل ظاهر شد، یک سبک برنامه نویسی که در آن آرگومان ها تنها زمانی ارزیابی می شوند که مقدار واقعی مورد نیاز باشد. Haskell یک ابزار نمایشی شگفت‌انگیز برای منطق و ریاضیات است، زیرا ویژگی عملکردی آن به پیاده‌سازی‌ها اجازه می‌دهد تا بسیار نزدیک به مفاهیمی که پیاده‌سازی می‌شوند، باقی بمانند، در حالی که تنبلی امکان مدیریت نرم ساختارهای داده بی‌نهایت را فراهم می‌کند. این کتاب فرض نمی‌کند که خواننده تجربه قبلی در زمینه برنامه‌نویسی یا ساخت اثبات‌های رسمی داشته باشد، اما آشنایی با نشانه‌گذاری ریاضی در سطح ریاضیات دبیرستان فرض می‌شود. هر آنچه که شخص باید در مورد استدلال یا برنامه نویسی ریاضی بداند در ادامه توضیح داده می شود. پس از هضم مناسب مطالب در این کتاب، خواننده قادر خواهد بود برنامه های جالبی بنویسد، درباره درستی آنها استدلال کند و آنها را به شکلی واضح مستند کند. خواننده همچنین یاد خواهد گرفت که چگونه براهین ریاضی را به روشی ساختاریافته تنظیم کند، و چگونه اثبات های ریاضی نوشته شده توسط دیگران را بخواند و هضم کند. این ویرایش دوم به روز شده، گسترده و تصحیح شده یک کتاب درسی بسیار تحسین شده است. ستایش برای چاپ اول: «راه هسکل به سمت منطق، ریاضیات و برنامه‌نویسی» اثر دوتس و ون ایجک، کتاب درسی بسیار گسترده و قابل دسترس در مورد منطق، ریاضیات و هاسکل است. رالف لامل، استاد علوم کامپیوتر، دانشگاه کوبلنز-لاندو


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

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.’’ Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures. This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: ‘Doets and van Eijck’s ``The Haskell Road to Logic, Maths and Programming’’ is an astonishingly extensive and accessible textbook on logic, maths, and Haskell.’ Ralf Laemmel, Professor of Computer Science, University of Koblenz-Landau



فهرست مطالب

The Haskell Road to Logic, Math and Programming......Page 1
Contents......Page 2
Preface......Page 6
1 Getting Started......Page 12
1.1 Starting up the Haskell Interpreter......Page 13
1.2 Implementing a Prime Number Test......Page 14
1.3 Haskell Type Declarations......Page 19
1.4 Identifiers in Haskell......Page 22
1.5 Playing the Haskell Game......Page 23
1.6 Haskell Types......Page 28
1.7 The Prime Factorization Algorithm......Page 30
1.8 The map and filter Functions......Page 31
1.9 Haskell Equations and Equational Reasoning......Page 35
1.10 Further Reading......Page 37
2 Talking about Mathematical Objects......Page 38
2.1 Logical Connectives and their Meanings......Page 39
2.2 Logical Validity and Related Notions......Page 49
2.3 Making Symbolic Form Explicit......Page 61
2.4 Lambda Abstraction......Page 69
2.5 Definitions and Implementations......Page 71
2.6 Abstract Formulas and Concrete Structures......Page 72
2.7 Logical Handling of the Quantifiers......Page 75
2.8 Quantifiers as Procedures......Page 79
2.9 Further Reading......Page 81
3 The Use of Logic: Proof......Page 82
3.1 Proof Style......Page 83
3.2 Proof Recipes......Page 86
3.3 Rules for the Connectives......Page 89
3.4 Rules for the Quantifiers......Page 101
3.5 Summary of the Proof Recipes......Page 107
3.6 Some Strategic Guidelines......Page 110
3.7 Reasoning and Computation with Primes......Page 114
3.8 Further Reading......Page 122
4 Sets, Types and Lists......Page 124
4.1 Let’s Talk About Sets......Page 125
4.2 Paradoxes, Types and Type Classes......Page 132
4.3 Special Sets......Page 136
4.4 Algebra of Sets......Page 138
4.5 Pairs and Products......Page 147
4.6 Lists and List Operations......Page 150
4.7 List Comprehension and Database Query......Page 156
4.8 Using Lists to Represent Sets......Page 160
4.9 A Data Type for Sets......Page 164
4.10 Further Reading......Page 169
5 Relations......Page 172
5.1 The Notion of a Relation......Page 173
5.2 Properties of Relations......Page 177
5.3 Implementing Relations as Sets of Pairs......Page 186
5.4 Implementing Relations as Characteristic Functions......Page 193
5.5 Equivalence Relations......Page 199
5.6 Equivalence Classes and Partitions......Page 203
5.7 Integer Partitions......Page 213
5.8 Further Reading......Page 215
6 Functions......Page 216
6.1 Basic Notions......Page 217
6.2 Surjections, Injections, Bijections......Page 229
6.3 Function Composition......Page 233
6.4 Inverse Function......Page 237
6.5 Partial Functions......Page 240
6.6 Functions as Partitions......Page 243
6.7 Products......Page 245
6.8 Congruences......Page 247
6.9 Further Reading......Page 249
7.1 Mathematical Induction......Page 250
7.2 Recursion over the Natural Numbers......Page 257
7.3 The Nature of Recursive Definitions......Page 262
7.4 Induction and Recursion over Trees......Page 266
7.5 Induction and Recursion over Lists......Page 276
7.6 Some Variations on the Tower of Hanoi......Page 284
7.7 Induction and Recursion over Other Data Structures......Page 292
7.8 Further Reading......Page 295
8 Working with Numbers......Page 296
8.1 A Module for Natural Numbers......Page 297
8.2 GCD and the Fundamental Theorem of Arithmetic......Page 300
8.3 Integers......Page 304
8.4 Implementing Integer Arithmetic......Page 308
8.5 Rational Numbers......Page 310
8.6 Implementing Rational Arithmetic......Page 316
8.7 Irrational Numbers......Page 320
8.8 The Mechanic’s Rule......Page 324
8.9 Reasoning about Reals......Page 326
8.10 Complex Numbers......Page 330
8.11 Further Reading......Page 340
9 Polynomials......Page 342
9.1 Difference Analysis of Polynomial Sequences......Page 343
9.2 Gaussian Elimination......Page 348
9.3 Polynomials and the Binomial Theorem......Page 355
9.4 Polynomials for Combinatorial Reasoning......Page 363
9.5 Further Reading......Page 370
10 Corecursion......Page 372
10.1 Corecursive Definitions......Page 373
10.2 Processes and Labeled Transition Systems......Page 376
10.3 Proof by Approximation......Page 384
10.4 Proof by Coinduction......Page 390
10.5 Power Series and Generating Functions......Page 396
10.6 Exponential Generating Functions......Page 407
10.7 Further Reading......Page 409
11.1 More on Mathematical Induction......Page 410
11.2 Equipollence......Page 417
11.3 Infinite Sets......Page 421
11.4 Cantor’s World Implemented......Page 429
11.5 Cardinal Numbers......Page 431
The Greek Alphabet......Page 434
References......Page 436
Index......Page 440




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

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