登入
選單
返回
Google圖書搜尋
Introduction to Computation
Donald Sannella
Michael Fourman
Haoran Peng
Philip Wadler
其他書名
Haskell, Logic and Automata
出版
Springer Nature
, 2022-01-19
主題
Computers / Computer Science
Computers / Data Science / General
Computers / Programming / General
Computers / Programming / Algorithms
Computers / Information Technology
Mathematics / Discrete Mathematics
ISBN
3030769089
9783030769086
URL
http://books.google.com.hk/books?id=IyFaEAAAQBAJ&hl=&source=gbs_api
EBook
SAMPLE
註釋
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.