Mathematics of Discrete Structures for Computer Science

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use logic for testing and v

A new version of the classic and widely used text adapted for the JavaScript programming language.Since the publication of its first edition in 1984 and its second edition in 1996, Structure and Interpretation of Computer Programs (SICP) has influenced computer science curricula around the world. Widely adopted as a textbook, the book has its origins in a popular entry-level computer science course taught by Harold Abelson and Gerald Jay Sussman at MIT. SICP introduces the reader to central ideas of computation by establishing a series of mental models for computation. Earlier editions used the programming language Scheme in their program examples. This new version of the second edition has been adapted for JavaScript. The first three chapters of SICP cover programming concepts that are common to all modern high-level programming languages. Chapters four and five, which used Scheme to formulate language processors for Scheme, required significant revision. Chapter four offers new mat

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concu

Best practices for addressing the bias and inequality that may result from the automated collection, analysis, and distribution of large datasets.Human-centered data science is a new interdisciplinary field that draws from human-computer interaction, social science, statistics, and computational techniques. This book, written by founders of the field, introduces best practices for addressing the bias and inequality that may result from the automated collection, analysis, and distribution of very large datasets. It offers a brief and accessible overview of many common statistical and algorithmic data science techniques, explains human-centered approaches to data science problems, and presents practical guidelines and real-world case studies to help readers apply these methods. The authors explain how data scientists’ choices are involved at every stage of the data science workflow―and show how a human-centered approach can enhance each one, by making the process more transparent, aski

Coding for a purpose: helping young people combine journalism, data, design, and code to make media that makes a difference.Educators are urged to teach “code for all”―to make a specialized field accessible for students usually excluded from it. In Code for What? Clifford Lee and Elisabeth Soep instead ask the question, “code for what?” What if coding were a justice-driven medium for storytelling rather than a narrow technical skill? What if “democratizing” computer science went beyond the usual one-off workshop and empowered youth to create digital products for social impact? Lee and Soep answer these questions with stories of a diverse group of young people in Oakland, California, who combine journalism, data, design, and code to create media that make a difference. These teenage and young adult producers created interactive projects that explored gendered and racialized dress code policies in schools; designed tools for LBGTQ+ youth experiencing discrimination; investigated facial r

Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying that a particular system (or component, or algorithm) has certai

This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of com

Turtle Geometry presents an innovative program of mathematical discovery thatdemonstrates how the effective use of personal computers can profoundly change the nature of astudent's contact with mathem

A richly illustrated overview of the work of Neri Oxman whose design redefines computer science, digital fabrication, material science, and synthetic biology. Mediated Matter is the first comprehensive overview of Neri Oxman's groundbreaking design work. Oxman has forged a singular career across design, science, and technology over the past twenty years that includes, notably, founding the field of material ecology. Trained as both a medical doctor and an architect, she brings to design a spirit of inquiry and experimentation that includes a future-forward approach to materials--from silkworm thread to automated microrobots to a water-based fabrication platform that prints structures made from biopolymers. In her work at the MIT Media Lab, she designed products and buildings as interactive entities that are environmentally informed, biologically augmented, computationally grown, and digitally manufactured. Through richly detailed diagrams, explanatory texts, process documents, and brea

A comprehensive introduction to the field of autonomous robotics aimed at upper-level undergraduates and offering additional online resources.Textbooks that provide a broad algorithmic perspective on the mechanics and dynamics of robots almost unfailingly serve students at the graduate level. Introduction to Autonomous Robots offers a much-needed resource for teaching third- and fourth-year undergraduates the computational fundamentals behind the design and control of autonomous robots. The authors use a class-tested and accessible approach to present progressive, step-by-step development concepts, alongside a wide range of real-world examples and fundamental concepts in mechanisms, sensing and actuation, computation, and uncertainty. Throughout, the authors balance the impact of hardware (mechanism, sensor, actuator) and software (algorithms) in teaching robot autonomy. Features:Rigorous and tested in the classroomWritten for engineering and computer science undergraduates with a soph

An introduction to neurorobotics that presents approaches and design principles for developing intelligent autonomous systems grounded in biology and neuroscience.Neurorobotics is an interdisciplinary field that draws on artificial intelligence, cognitive sciences, computer science, engineering, psychology, neuroscience, and robotics. Because the brain is closely coupled to the body and situated in the environment, neurorobots―autonomous systems modeled after some aspect of the brain―offer a powerful tool for studying neural function and may also be a means for developing autonomous systems with intelligence that rivals that of biological organisms. This textbook introduces approaches and design principles for developing intelligent autonomous systems grounded in biology and neuroscience. It is written for anyone interested in learning about this topic and can be used in cognitive robotics courses for students in psychology, cognitive science, and computer science.Neurorobotics covers

The “new science of morality” that will change how we see each other, how we build our communities, and how we live our lives.In Changing How We Choose, David Redish makes a bold claim: Science has “cracked” the problem of morality. Redish argues that moral questions have a scientific basis and that morality is best viewed as a technology―a set of social and institutional forces that create communities and drive cooperation. This means that some moral structures really are better than others and that the moral technologies we use have real consequences on whether we make our societies better or worse places for the people living within them. Drawing on this new scientific definition of morality and real-world applications, Changing How We Choose is an engaging read with major implications for how we see each other, how we build our communities, and how we live our lives. Many people think of human interactions in terms of conflicts between individual freedom and group cooperation, wher

The new edition of a widely used introduction to game theory and its applications, with a focus on economics, business, and politics.This widely used introduction to game theory is rigorous but accessible, unique in its balance between the theoretical and the practical, with examples and applications following almost every theory-driven chapter. In recent years, game theory has become an important methodological tool for all fields of social sciences, biology and computer science. This second edition of Strategies and Games not only takes into account new game theoretical concepts and applications such as bargaining and matching, it also provides an array of chapters on game theory applied to the political arena. New examples, case studies, and applications relevant to a wide range of behavioral disciplines are now included. The authors map out alternate pathways through the book for instructors in economics, business, and political science. The book contains four parts: strategic form

How Hansel and Gretel, Sherlock Holmes, the movie Groundhog Day, Harry Potter, and other familiar stories illustrate the concepts of computing.Picture a computer scientist, staring at a screen and clicking away frantically on a keyboard, hacking into a system, or perhaps developing an app. Now delete that picture. In Once Upon an Algorithm, Martin Erwig explains computation as something that takes place beyond electronic computers, and computer science as the study of systematic problem solving. Erwig points out that many daily activities involve problem solving. Getting up in the morning, for example: You get up, take a shower, get dressed, eat breakfast. This simple daily routine solves a recurring problem through a series of well-defined steps. In computer science, such a routine is called an algorithm. Erwig illustrates a series of concepts in computing with examples from daily life and familiar stories. Hansel and Gretel, for example, execute an algorithm to get home from the fore

A guide to computational thinking education, with a focus on artificial intelligence literacy and the integration of computing and physical objects. Computing has become an essential part of today’s primary and secondary school curricula. In recent years, K–12 computer education has shifted from computer science itself to the broader perspective of computational thinking (CT), which is less about technology than a way of thinking and solving problems―“a fundamental skill for everyone, not just computer scientists,” in the words of Jeanette Wing, author of a foundational article on CT. This volume introduces a variety of approaches to CT in K–12 education, offering a wide range of international perspectives that focus on artificial intelligence (AI) literacy and the integration of computing and physical objects. The book first offers an overview of CT and its importance in K–12 education, covering such topics as the rationale for teaching CT; programming as a general problem-solving

A textbook for students with limited background in mathematics and computer coding, emphasizing computer tutorials that guide readers in producing models of neural behavior.This introductory text teac

This book, published in celebration of the 35th anniversary of MIT's LCS, chronicles its history, achievements, and continued importance to computer science.

This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of com

Developed as the text for the basic computer architecture course at MIT, Computation Structures integrates a thorough coverage of digital logic design with a comprehensive presentation of computer ar

The integration of scientific knowledge and military power began long before theManhattan Project. In the third century BC, Archimedes was renowned for his research in mechanicsand mathematics as well

Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and

Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and

The technology of mechanized program verification can play a supporting role in manykinds of research projects in computer science, and related tools for formal proof-checking areseeing increasing ado

Research in systems biology requires the collaboration of researchers from diversebackgrounds, including biology, computer science, mathematics, statistics, physics, andbiochemistry. These collaborati

Research in systems biology requires the collaboration of researchers from diverse backgrounds, including biology, computer science, mathematics, statistics, physics, and biochemistry. These collabor

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analy

A textbook for undergraduate computer science students, introducing formal reasoning about imperative programs. The semantics of imperative programs are specified in the language OBJ. Assumes a famili

The use of computer-aided design (CAD) systems always involves the introduction of mathematical concepts. It is important, therefore, for any systems designer to have a good grasp of the mathematical

This monograph provides an intensive course for graduate students in computer science, as well as others interested in extensions of logic programming, on the theoretical foundations of disjunctive lo