An Introduction to Mathematical Computer Science

An Introduction to Mathematical Computer Science explores an alternative approach to teaching of computer science, an approach that is independent of technology, using a methodology that simultaneously deals with both theory and practice. The mapcode formalism introduced here is based on classical ideas, but this book is the first to explore the possibilities of the formalism extensively to evolve the subject as an area of mathematics. Using only the algebra of sets and maps and no advanced mathematics or formal logic, the book suggests a unified point of view for understanding the structure of finite automata, Turing machines, von Neumann machines, and neural systems. It also introduces a 10-step design process for devising algorithms and verifying their termination and correctness. Recursion and sorting algorithms are examined. Data types and Boolean function theory are explained from a novel point of view. A chapter on topological algorithms relates the mapcode formalism to some tools of analysis and numerical analysis. The book, with its several illustrative diagrams and exercises, will serve as textbook for mathematics and computer science students at both undergraduate and graduate levels.

Author Bio: Kasturi Viswanath received his PhD degree from the Indian Statistical Institute, Kolkata. He worked at the University of Illinois at Urbana-Champaign and the Madurai Kamaraj University before joining the University of Hyderabad in 1978. His interest is in the theory of dynamical systems with special reference to applications in computer science.

This book was added to South Asia bookstore on Wednesday 18 January, 2012.

South Asia Books is representing most of the major Indian publishers, including Motilal, DK, Manohar, Abhinav, Vikas, Eastern Book Linkers, Rawat, and Satguru. Orders can be done from throughout the World.

South Asia Books, located at Columbia, Missouri - mid-way between St Louis and Kansas City, USA, has since its start in 1969 evolved from a supplier of rare volumes from India and Pakistan to the major supplier for India related monographs for bookstores, wholesalers, libraries, and individuals.
South Asia Books is known to be the best collection of books on South Asia available outside of the region itself! Its stock includes thousands of titles available for sale, plus thousands of other used and single title books, including a large selection of art history and language related texts.
South Asia Books adds approximately 1,000 new titles annually, representing most of the major Indian publishers, including Motilal, DK, Manohar, Abhinav, Vikas, Eastern Book Linkers, Rawat, and Satguru. Orders can be done from throughout the World.