How To Design Programs An Introduction To Programming and Computing (M. Felleisen, et al)
How To Design Programs An Introduction To Programming and Computing (M. Felleisen, et al)
How To Design Programs An Introduction To Programming and Computing (M. Felleisen, et al)
The
main focus of this book is the design process that leads from problem statements
to well-organized solutions; it deemphasizes the study of programming language
details, algorithmic minutiae, and specific application domains. It covers the
following topics: Processing Simple Forms of Data, Processing Arbitrarily Large
Data, Abstracting Designs, Generative Recursion, Accumulating Knowledge,
Changing the State of Variables, Changing Compound Values.
Author(s): Matthias
Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi
This comprehensive note
considers some basic material in coding theory and discusses sphere packing and
Shannon's theorem, which form the basics to understanding the idea of error
correction and data transmission. It also deals with the concept of linear codes
and their applications by describing Hamming codes and generalized Reed-Solomon
codes. The material further takes a look at some codes within the frameworks of
modifiation of codes and codes over subfields, providing insights into cyclic
codes. Furthermore, it addresses the importance of countering weights and
distances in error-correcting codes, thus making it a very vital text for
students and professionals looking to deepen their knowledge on mathematical
underpinnings and practical applications of coding theory.
This book is meant for
undergraduate students who wish to obtain a basic knowledge in coding theory
based on the subject of linear codes. It begins with introductory chapters based
on Shannon theory and relevant to coding, then advances to detailed discussions
about decoding linear codes and the MacWilliams identity. Besides these, the
construction of new codes and the attainment of bounds on code performance are
subjects of discussion, and thus Reed-Muller codes prove very significant in
this light. This book is an exposition of the practical coding theory applied in
many fields: telecommunications to data storage. It focuses on fast decoding
techniques and higher-order RM codes.