Introduction to Computation: Haskell, Logic and Automata
Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
Informasi Umum
Kode
22.21.1519
Klasifikasi
004.36 - Computational Grids
Jenis
Buku - Elektronik (E-Book)
Subjek
Computation
No. Rak
Dilihat
221 kali
Informasi Lainnya
Abstraksi
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.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer |
| Kota | London |
| Tahun | 2021 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
