دانلود کتاب Introduction to Computation: Haskell, Logic and Automata

Name: Introduction to Computation: Haskell, Logic and Automata
Availability: InStock
Author: D. Sannella. M Fourman
ISBN: 9783030769079

by D. Sannella. M Fourman, H. Peng and P. Wadler

عنوان فارسی: مقدمه ای بر محاسبات: هاسکل، منطق و اتومات
ناشر: Springer
سال: 2021
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 379-379
شابک: 9783030769079
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.19 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.