Computer Science Logic

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 translation of the final work of French philosopher Jean Cavailles. In this short, dense essay, Jean Cavailles evaluates philosophical efforts to determine the origin-logical or ontological-of

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

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

In the early days of computer science, the interactions of hardware, software, compilers, and operating system were simple enough to allow students to see an overall picture of how computers worked. W

This lively introduction to computer science and computer programming in Scheme is for non-computer science majors with a strong interest in the subject and for computer science majors who lack prior

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

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

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

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 textbook that uses a hands-on approach to teach principles of programming languages, with Java as the implementation language.This introductory textbook teaches the principles of programming languages by using an experiential learning style, in which students learn about language features by realizing those features in a pedagogical compiler. Students use Java―the most commonly used programming language in the first two years of the computer science curriculum―as the implementation language throughout. The book also discusses a range of emerging topics in programming languages missing from existing textbooks, including concurrency, Big Data, and event-driven programming. The goal is to prepare students to design, implement, analyze, and understand both domain-specific and general-purpose programming languages. The book first develops basic concepts in languages, including means of computation using primitive values, means of combination such as variable definition and functions, an

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 diverse group of teenage friends learn how computing can be personally and politically empowering and why all students need access to computer science education.This lively graphic novel follows a diverse group of teenage friends as they discover that computing can be fun, creative, and empowering. Taylor, Christine, Antonio, and Jon seem like typical young teens―they communicate via endless texting, they share jokes, they worry about starting high school, and they have each other’s backs. But when a Black man is shot and killed by police in their city, they are outraged―and then they learn that he had been misidentified and tracked by an artificial intelligence program. How can an algorithm be racist? And what is an algorithm, anyway? In school, they decide to explore computing classes, with mixed results. One class is only about typing. The class that Christine wants to join is full, and the school counselor suggests that she take a class in “Tourism and Hospitality” instead. (R

A comprehensive overview of networks and economic design, presenting models and results drawn from economics, operations research, and computer science; with examples and exercises.This book explores

An introduction to generative phonology using tools of basic set theory, logic, and combinatorics.This textbook introduces phonological theory as a branch of cognitive science for students with minima

Today, women earn a relatively low percentage of computer science degrees and hold proportionately few technical computing jobs. Meanwhile, the stereotype of the male "computer geek" seems to be every

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

The number of African Americans and Latino/as receiving undergraduate and advanced degrees in computer science is disproportionately low. And relatively few African American and Latino/a high school s

In 1936, when he was just twenty-four years old, Alan Turing wrote a remarkable paper in which he outlined the theory of computation, laying out the ideas that underlie all modern computers. This grou

Technological optimism, even utopianism, was widespread at midcentury; in Britain,Harold Wilson in 1963 promised a new nation "forged from the white heat of the technologicalrevolution." In this heady

This introductory text offers a clear exposition of the algorithmic principles driving advances in bioinformatics. Accessible to students in both biology and computer science, it strikes a unique bala

This book presents the "great ideas" of computer science, condensing a large amount of complex material into a manageable, accessible form; it does so using the Java programming language. T

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

In Great Ideas in Computer Science: A Gentle Introduction, Alan Biermann presents the "great ideas" of computer science that together comprise the heart of the field. He condenses a great d

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 explo

The "Handbook of Theoretical Computer Science" provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers mo

Many books explain what is known about the universe. This book investigates whatcannot be known. Rather than exploring the amazing facts that science, mathematics, and reason haverevealed to us, this

Volume 1: "Symbolic Computing" Volume 2: "Advanced Techniques" Volume 3: "Beyond Programming" This series is for people--adults and teenagers--who are interested in computer programming because it's f

The past years have seen a large number of effective implementations of logic programs for a variety of computer architectures in numerous application areas. Logic programming continues to develop by

Electrical engineering is a protean profession. Today the field embraces manydisciplines that seem far removed from its roots in the telegraph, telephone, electric lamps,motors, and generators. To a r

The past and future of computers in our lives, from science and business to the home. Gathered from twenty leading authorities in computer science, the chapters of The Computer Age range across a br

Is there a cultural logic of what we have come to call the information age? Have the technologies and techniques centered on the computer provided not only tools but also the metaphors through which w

A theory of HCI that uses concepts from semiotics and computer science to focus on the communication between designers and users during interaction. In The Semiotic Engineering of Human-Computer Int

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

Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text.There ar