This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. * Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page. * The number of exercises included has more than tripled. * Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.

Scientific Computing and Differential Equations: An Introduction to Numerical Methods, is an excellent complement to Introduction to Numerical Methods by Ortega and Poole. The book emphasizes the importance of solving differential equations on a computer, which comprises a large part of what has come to be called scientific computing. It reviews modern scientific computing, outlines its applications, and places the subject in a larger context. This book is appropriate for upper undergraduate courses in mathematics, electrical engineering, and computer science; it is also well-suited to serve as a textbook for numerical differential equations courses at the graduate level. * An introductory chapter gives an overview of scientific computing, indicating its important role in solving differential equations, and placing the subject in the larger environment * Contains an introduction to numerical methods for both ordinary and partial differential equations * Concentrates on ordinary differential equations, especially boundary-value problems * Contains most of the main topics for a first course in numerical methods, and can serve as a text for this course * Uses material for junior/senior level undergraduate courses in math and computer science plus material for numerical differential equations courses for engineering/science students at the graduate level

This book introduces the basic concepts of parallel and vector computing in the context of an introduction to numerical methods. It contains chapters on parallel and vector matrix multiplication and solution of linear systems by direct and iterative methods. It is suitable for advanced undergraduate and beginning graduate courses in computer science, applied mathematics, and engineering. Ideally, students will have access to a parallel or Vector computer, but the material can be studied profitably in any case.

In this pioneering work, Robert M. Fano presents a comprehensive study of information theory as the basis for communication with computers. The book examines the methods and limits of transmitting and receiving information, with practical applications in digital technology and communication engineering. This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.

The aim of this book is to explain in simple language what we know and what we do not know about information and entropy two of the most frequently discussed topics in recent literature and whether they are relevant to life and the entire universe. Entropy is commonly interpreted as a measure of disorder. This interpretation has caused a great amount of "disorder" in the literature. One of the aims of this book is to put some "order" in this "disorder." The book explains with minimum amount of mathematics what information theory is and how it is related to thermodynamic entropy. Then it critically examines the application of these concepts to the question of "What is life?" and whether or not they can be applied to the entire universe.

Written by one of the most respected figures in American linguistics, this book develops an approach to the analysis of language on a mathematical model. Harris presents a formal theory of language structure, in which syntax is characterized as an orderly system of departure from random combinings of sounds, words, and all the elements of language. He argues that the combining of words in a sentence constitutes a mathematical object, and that each departure from randomness is a contribution to the structure and meaning of a sentence. Discussing the differences in the structure and content of language, mathematics, and music, Harris shows that the use of language in a science constitutes a distinguishable sub-language. Remarkable and compelling, Harris's magnum opus will be considered the classical analysis of the structuring of information and development of language.