Book Review:
Book Description
The unifying theme in this book is the concept of a language as a system of strings of characters strings obeying certain rules. Strings are fundamental to computing science. Although we tend to think of computers as devices for manipulating numbers, words and pictures, it is more accurate to think of them as machines for manipulating strings of symbols which in turn represent numbers, words or pictures.
This book begins by discussing a specialpurpose language  the language of logic. Then it develops a language for talking about languages in general. Since languages are just sets of strings, this book will talk about sets and the associated concepts of relations and functions, using yet another specialpurpose language.
At this stage this book will also discuss proofs. It investigates the nature of proof from the syntactic point of view, that is, thinking of proofs as sequences of strings of symbols related to each other in a mechanical way. As well as helping readers to write sound mathematical proofs this book will give them some insight into automated proofs of program correctness.
This book will also teach the connection between languages and machines that manipulate them. Finitestate machines and Turing Machines are important mathematical models of the computing process and they are used to answer a number of important theoretical questions.
Finally this book will looks briefly at encryption and coding. Both of these involve transforming strings of symbols and are important applications to the computing and communications industries. At the same time, both make real use of interesting parts of mathematics  the mathematics of numbers and of polynomials.
add to del.icio.us
Digg Freebookzone.com!
You may use anyone of the download options
Missing Link?, Report It and you may wish to find Similar Books from amazon.
Similar Book titles in Other Programming section: Principles of Programming Languages Type Systems for Programming Languages The Implementation of Functional Programming Languages
Similar Book titles in Other sections:
Section: CS > Compilers and Languages Programming Languages: Application and Interpretation Programming Languages Implementing Functional Languages: A Tutorial Introduction to Programming Languages Dictionary of Programming Languages Show all..
Section: DB > Datawarehousing Database Systems: Concepts, Languages and Architectures
Section: Redpapers Multiple z/OS Virtual Machines on z/VM
Similar Books from Amazon :

