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.

This book combines the analytic principles of digital business and data science with business practice and big data. The interdisciplinary, contributed volume provides an interface between the main disciplines of engineering and technology and business administration. Written for managers, engineers and researchers who want to understand big data and develop new skills that are necessary in the digital business, it not only discusses the latest research, but also presents case studies demonstrating the successful application of data in the digital business.

A "skillful and literate" ( New York Times Book Review ) biography of the persecuted genius who helped create the modern computer. To solve one of the great mathematical problems of his day, Alan Turing proposed an imaginary computer. Then, attempting to break a Nazi code during World War II, he successfully designed and built one, thus ensuring the Allied victory. Turing became a champion of artificial intelligence, but his work was cut short. As an openly gay man at a time when homosexuality was illegal in England, he was convicted and forced to undergo a humiliating "treatment" that may have led to his suicide. With a novelist's sensitivity, David Leavitt portrays Turing in all his humanity?his eccentricities, his brilliance, his fatal candor?and elegantly explains his work and its implications.

Textbook designed for an introductory undergraduate course in programming using the language Scheme, a small language analogous to a Swiss army knife in its handiness and versatility for small tasks. Annotation copyright Book News, Inc. Portland, Or.

In this book, which may be used as a self-contained text for a beginning course, Professor Lefschetz aims to give the reader a concrete working knowledge of the central concepts of modern combinatorial topology: complexes, homology groups, mappings in spheres, homotopy, transformations and their fixed points, manifolds and duality theorems. Each chapter ends with a group of problems. Originally published in 1949. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Aerodynamics by Theodore Von Karman is a classic textbook that provides a comprehensive introduction to the principles of aerodynamics. The book covers the fundamental concepts of fluid dynamics, including the behavior of gases and liquids, the equations of motion, and the principles of conservation of mass, momentum, and energy. It also explores the physics of aerodynamic forces, such as lift and drag, and the role of viscosity and turbulence in the flow of fluids. The book includes detailed discussions of various aerodynamic phenomena, such as boundary layers, shock waves, and vortices, and their impact on aircraft design and performance. It also covers the design and analysis of airfoils, wings, and other aerodynamic components, as well as the principles of aircraft stability and control. Written by one of the most renowned figures in the field of aerodynamics, this book is an essential resource for students and professionals in the aerospace industry, as well as anyone interested in the science of flight. With its clear explanations, extensive illustrations, and practical examples, Aerodynamics is a valuable reference for anyone seeking a deeper understanding of the principles that govern the behavior of fluids in motion.Selected Topics In The Light Of Their Historical Development.This scarce antiquarian book is a facsimile reprint of the old original and may contain some imperfections such as library marks and notations. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions, that are true to their original work.

In these essays Heinz von Foerster discusses some of the fundamental principles that govern how we know the world and how we process the information from which we derive that knowledge. Included are path- breaking articles concerning the principles of computation in neural nets (1967), the definition of self-organizing systems (1960), the nature of cognition (1970), as well as recent expansions on these themes (e.g. "How recursive is communication," 1993). Working with Norbert Wiener, Warren McCullough, and others in the 1960s and 1970s, von Foerster was one of the founders of the science of cybernetics, which has had profound effects both on modern systems theory and on the philosophy of cognition. At the Biological Computer Laboratory at the University of Illinois he produced the first parallel computers and contributed to many other developments in the theory of computation and cognition.

The first application of modern algebraic techniques to a comprehensive selection of classical geometric problems. Written with spirit and originality, this is a valuable book for anyone interested in the subject from other than the purely algebraic point of view. Originally published in 1953. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

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

Numerical linear algebra, digital signal processing, and parallel algorithms are three disciplines with a great deal of activity in the last few years. The interaction between them has been growing to a level that merits an Advanced Study Institute dedicated to the three areas together. This volume gives an account of the main results in this interdisciplinary field. The following topics emerged as major themes of the - Singular value and eigenvalue decompositions, including applications, - Toeplitz matrices, including special algorithms and architectures, - Recursive least squares in linear algebra, digital signal processing and control, - Updating and downdating techniques in linear algebra and signal processing, - Stability and sensitivity analysis of special recursive least squares problems, - Special architectures for linear algebra and signal processing. This book contains tutorials on these topics given by leading scientists in each of the three areas. A consider- able number of new research results are presented in contributed papers. The tutorials and papers will be of value to anyone interested in the three disciplines.

The author explores the ways in which games can be used to instruct and inform as well as provide pleasure. He uses innovative approaches to problem solving through individualized game techniques. Topics improving education with games; educational games for the physical and social sciences; games for the learning disadvantaged; games for occupational choice and training; games for planning and problem solving in government and industry; and the future of serious games. This book was originally published in 1970 by Viking Press.

A description of the historical development of mathematics with a brief survey of high points and trenchant influences, originally published in 1986 by Praeger. A remarkable bargain. Fascinating study considers the origins and nature of mathematics, its development and role in the history of scientific thinking, impact of high-speed computers, 20th-century changes in the foundations of mathematics and mathematical logic, mathematization of science and technology, much more. Compelling reading for mathematicians, physicists, students₇anyone interested in the evolution of mathematical thought. 34 illustrations. 1968 edition.

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.

In the winter of 1978, Professor George P61ya and I jointly taught Stanford University's introductory combinatorics course. This was a great opportunity for me, as I had known of Professor P61ya since having read his classic book, How to Solve It, as a teenager. Working with P6lya, who ·was over ninety years old at the time, was every bit as rewarding as I had hoped it would be. His creativity, intelligence, warmth and generosity of spirit, and wonderful gift for teaching continue to be an inspiration to me. Combinatorics is one of the branches of mathematics that play a crucial role in computer sCience, since digital computers manipulate discrete, finite objects. Combinatorics impinges on computing in two ways. First, the properties of graphs and other combinatorial objects lead directly to algorithms for solving graph-theoretic problems, which have widespread application in non-numerical as well as in numerical computing. Second, combinatorial methods provide many analytical tools that can be used for determining the worst-case and expected performance of computer algorithms. A knowledge of combinatorics will serve the computer scientist well. Combinatorics can be classified into three enumerative, eXistential, and constructive. Enumerative combinatorics deals with the counting of combinatorial objects. Existential combinatorics studies the existence or nonexistence of combinatorial configurations.

Take A Number: Mathematics For The Two Billion is a book written by Lillian Rosanoff Lieber that explores the importance of mathematics in our daily lives. The book focuses on the idea that mathematics is not just a subject to be studied in school, but a fundamental tool that everyone needs to navigate the world around them. Lieber argues that there are two billion people in the world who lack basic mathematical skills, and this has serious consequences for their ability to make informed decisions, manage their finances, and participate fully in society. She uses real-life examples to illustrate how math is used in everything from cooking and shopping to medicine and engineering.The book is divided into three sections. The first section provides an overview of the importance of mathematics and its role in our lives. The second section focuses on basic mathematical concepts, such as fractions, decimals, and percentages, and how they are used in everyday situations. The third section delves into more advanced topics, such as algebra, geometry, and calculus, and their applications in fields like science and technology.Throughout the book, Lieber emphasizes the importance of understanding math and encourages readers to develop their skills through practice and exploration. She also provides tips and strategies for overcoming math anxiety and building confidence in one's abilities.Overall, Take A Number: Mathematics For The Two Billion is a compelling and informative book that highlights the critical role of mathematics in our lives and the need for everyone to have basic math skills.This scarce antiquarian book is a facsimile reprint of the old original and may contain some imperfections such as library marks and notations. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions, that are true to their original work.

Using Technology for Problem Solving in Middle and High School Mathematics: Investigations Using Scientific and Graphing Calculators, Spreadsheets, and The Geometer's Sketchpad © Firmly rooted in the NCTM Principles and Standards, Using Technology for Problem Solving in Middle and High School Mathematics examines why technology is essential to today's mathematics classroom, and illustrates how using technology can encourage and enhance your students' study and understanding of mathematics. Inquiry-based, this book provides both a five-step model and 23 sample investigations that demonstrate how to help students become better problem solvers through the use of four types of instructional technology: the scientific calculator, the graphing calculator, spreadsheet software, and The Geometer's Sketchpad © software. Here's what reviewers say about this book: "The five-step model provided here is excellent, giving teachers a rich mathematical perspective to draw upon. This process moves students from inductive explorations to deductive justifications of the results, which is aligned with current theories on how students best learn." Dr. Robert M. Horton, Clemson University "I like the organization of the investigations; they include a nice variety of topics and tend to avoid the 'already known' examples. The level of technology used moves from simple to more complex, and the reader is exposed to potentially new uses of the technology beyond commonly used (novice) features." Dr. Linda Bolte, Eastern Washington University "I really like the idea of the research summaries. In all cases, I think bringing mathematics research into the practice arena is extremely useful and productive." Dr. Janet Bowers, San Diego State University

Lecture I The Early History of Fermat's Last Theorem.- 1 The Problem.- 2 Early Attempts.- 3 Kummer's Monumental Theorem.- 4 Regular Primes.- 5 Kummer's Work on Irregular Prime Exponents.- 6 Other Relevant Results.- 7 The Golden Medal and the Wolfskehl Prize.- Lecture II Recent Results.- 1 Stating the Results.- 2 Explanations.- Lecture III B.K. = Before Kummer.- 1 The Pythagorean Equation.- 2 The Biquadratic Equation.- 3 The Cubic Equation.- 4 The Quintic Equation.- 5 Fermat's Equation of Degree Seven.- Lecture IV The Naïve Approach.- 1 The Relations of Barlow and Abel.- 2 Sophie Germain.- 3 Congruences.- 4 Wendt's Theorem.- 5 Abel's Conjecture.- 6 Fermat's Equation with Even Exponent.- 7 Odds and Ends.- Lecture V Kummer's Monument.- 1 A Justification of Kummer's Method.- 2 Basic Facts about the Arithmetic of Cyclotomic Fields.- 3 Kummer's Main Theorem.- Lecture VI Regular Primes.- 1 The Class Number of Cyclotomic Fields.- 2 Bernoulli Numbers and Kummer's Regularity Criterion.- 3 Various Arithmetic Properties of Bernoulli Numbers.- 4 The Abundance of Irregular Primes.- 5 Computation of Irregular Primes.- Lecture VII Kummer Exits.- 1 The Periods of the Cyclotomic Equation.- 2 The Jacobi Cyclotomic Function.- 3 On the Generation of the Class Group of the Cyclotomic Field.- 4 Kummer's Congruences.- 5 Kummer's Theorem for a Class of Irregular Primes.- 6 Computations of the Class Number.- Lecture VIII After Kummer, a New Light.- 1 The Congruences of Mirimanoff.- 2 The Theorem of Krasner.- 3 The Theorems of Wieferich and Mirimanoff.- 4 Fermat's Theorem and the Mersenne Primes.- 5 Summation Criteria.- 6 Fermat Quotient Criteria.- Lecture IX The Power of Class Field Theory.- 1 The Power Residue Symbol.- 2 Kummer Extensions.- 3 The Main Theorems of Furtwängler.- 4 The Method of Singular Integers.- 5 Hasse.- 6 The p-Rank of the Class Group of the Cyclotomic Field.- 7 Criteria of p-Divisibility of the Class Number.- 8 Properly and Improperly Irregular Cyclotomic Fields.- Lecture X Fresh Efforts.- 1 Fermat's Last Theorem Is True for Every Prime Exponent Less Than 125000.- 2 Euler Numbers and Fermat's Theorem.- 3 The First Case Is True for Infinitely Many Pairwise Relatively Prime Exponents.- 4 Connections between Elliptic Curves and Fermat's Theorem.- 5 Iwasawa's Theory.- 6 The Fermat Function Field.- 7 Mordell's Conjecture.- 8 The Logicians.- Lecture XI Estimates.- 1 Elementary (and Not So Elementary) Estimates.- 2 Estimates Based on the Criteria Involving Fermat Quotients.- 3 Thue, Roth, Siegel and Baker.- 4 Applications of the New Methods.- Lecture XII Fermat's Congruence.- 1 Fermat's Theorem over Prime Fields.- 2 The Local Fermat's Theorem.- 3 The Problem Modulo a Prime-Power.- Lecture XIII Variations and Fugue on a Theme.- 1 Variation I (In the Tone of Polynomial Functions).- 2 Variation II (In the Tone of Entire Functions).- 3 Variation III (In the Theta Tone).- 4 Variation IV (In the Tone of Differential Equations).- 5 Variation V (Giocoso).- 6 Variation VI (In the Negative Tone).- 7 Variation VII (In the Ordinal Tone).- 8 Variation VIII (In a Nonassociative Tone).- 9 Variation IX (In the Matrix Tone).- 10 Fugue (In the Quadratic Tone).- Epilogue.- Index of Names.

0 Background.- 1 Fundamental Concepts.- 2 The Degree of a Map.- 3 The Fundamental Group and Covering Spaces.- 4 Manifolds.- 5 Differential Forms and Homology in Euclidean Space.- 6 Homology and Cohomology.- 7 Homotopy Classification of Maps of the Sphere.- 8 Homotopy Groups.- 9 Fibered Spaces.- 10 Fibrations and Homotopy Groups.- 11 Homotopy Theory of Fibrations.- 12 Lie Groups.- 13 Lie Algebras.- 14 Topology of Lie Groups and Homogeneous Manifolds.- 15 Geometry of Gauge Fields.- Index of Notation.