دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [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