Introduction to Computation: Haskell, Logic and Automata
暫譯: 計算導論:Haskell、邏輯與自動機

Donald Sannella , Michael Fourman , Haoran Peng , Philip Wadler

  • 出版商: Springer
  • 出版日期: 2022-01-20
  • 售價: $1,780
  • 貴賓價: 9.5$1,691
  • 語言: 英文
  • 頁數: 366
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030769070
  • ISBN-13: 9783030769079
  • 相關分類: Functional-programming
  • 海外代購書籍(需單獨結帳)

商品描述

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.

商品描述(中文翻譯)

計算本身是一種計算形式,包含遵循特定規則(算法)的算術和非算術(邏輯)步驟。這本獨特且易於理解的教科書以非常獨特的方式介紹學生,迅速引導他們進入基本主題,並提供足夠的深度,同時以高度直觀的方式呈現。從集合、類型、維恩圖和邏輯等核心元素,到推理模式、微積分、遞歸和表達樹,這本書涵蓋了關鍵概念和方法的廣度,使學生能夠輕鬆地在計算機科學的學習中進步。

作者簡介

Prof. Donald Sannella, Prof. Michael Fourman, and Prof. Philip Wadler are each at the University of Edinburgh's School of Informatics, Edinburgh, UK. Mr. Haoran Peng is also at the same university department.

作者簡介(中文翻譯)

教授唐納德·桑奈拉(Donald Sannella)、教授邁克爾·福爾曼(Michael Fourman)和教授菲利普·瓦德勒(Philip Wadler)均任職於英國愛丁堡大學資訊學院(School of Informatics)。彭浩然(Haoran Peng)先生也在同一個系所。