Donald Sannella,
Michael Fourman,
Haoran Peng,
Philip Wadler
e.a.
Introduction to Computation
Haskell, Logic and Automata
Paperback Engels 2022 9783030769079
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783030769079
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
1 Sets 13<div>2 Types 19</div><div>3 Simple Computations 27</div><div>4 Venn Diagrams and Logical Connectives 35</div><div>5 Lists and Comprehensions 45</div><div>6 Features and Predicates 55</div><div>7 Testing Your Programs 63</div><div>8 Patterns of Reasoning 73</div><div>9 More Patterns of Reasoning 81</div><div>10 Lists and Recursion 91</div><div>11 More Fun with Recursion 101</div><div>12 Higher-Order Functions 111</div><div>13 Higher and Higher 123</div><div>14 Sequent Calculus 131</div><div>15 Algebraic Data Types 143</div><div>16 Expression Trees 157</div><div>17 Karnaugh Maps 175</div><div>18 Relations and Quantifiers 183</div><div>19 Checking Satisfiability 191</div><div>20 Data Representation 203</div><div>21 Data Abstraction 221</div><div>22 Efficient CNF Conversion 237</div><div>23 Counting Satisfying Valuations 249</div><div>24 Type Classes 263</div><div>25 Search in Trees 275</div><div>26 Combinatorial Algorithms 285</div><div>27 Finite Automata 299</div><div>28 Deterministic Finite Automata 311</div><div>29 Non-Deterministic Finite Automata 321</div><div>30 Input/Output and Monads 341</div><div>31 Regular Expressions 359</div><div>32 Non-Regular Languages 369</div><div>Index 377</div>
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan