Introduction to Computation: Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

Informasi Dasar

61 kali
22.21.1519
004.36
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 1
Tel-U Purwokerto : Rak 1

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.

Subjek

COMPUTATION
 

Katalog

Introduction to Computation: Haskell, Logic and Automata
978-3-030-76908-6
371p.: il.; 9MB
Inggris

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
Perorangan
 
 

Penerbit

Springer
London
2021

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini