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

This text offers a comprehensive presentation of the mathematics required to tackleproblems in economic analyses. To give a better understanding of the mathematical concepts, the textfollows the logic

An updated edition of a widely used textbook, offering a clear and comprehensive presentation of mathematics for undergraduate economics students.This text offers a clear and comprehensive presentation of the mathematics required to tackle problems in economic analyses, providing not only straightforward exposition of mathematical methods for economics students at the intermediate and advanced undergraduate levels but also a large collection of problem sets. This updated and expanded fourth edition contains numerous worked examples drawn from a range of important areas, including economic theory, environmental economics, financial economics, public economics, industrial organization, and the history of economic thought. These help students develop modeling skills by showing how the same basic mathematical methods can be applied to a variety of interesting and important issues. The five parts of the text cover fundamentals, calculus, linear algebra, optimization, and dynamics. The onl

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

This student solutions manual contains solutions to odd-numbered exercises in the fourth edition of Mathematics for Economics.

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

Cartographic maps have guided our explorations for centuries, allowing us to navigate the world. Science maps have the potential to guide our search for knowledge in the same way, allowing us to visua

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

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

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

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

The emergence of powerful, always-on cloud utilities has transformed how consumers interact with information technology, enabling video streaming, intelligent personal assistants, and the sharing of c

An exploration of the scientific mindset—such character virtues as curiosity, veracity, attentiveness, and humility to evidence—and its importance for science, democracy, and human flourishing.Exempla

All the science in Breaking Bad—from explosive experiments to acid-based evidence destruction—explained and analyzed for authenticity.Breaking Bad's (anti)hero Walter White (played by Emmy-winner Brya

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

In the natural science of ancient Greece, music formed the meeting place betweennumbers and perception; for the next two millennia, Pesic tells us in Music and the Makingof Modern Science, "liberal ed

A wide-ranging exploration of how music has influenced science through the ages, from fifteenth-century cosmology to twentieth-century string theory.In the natural science of ancient Greece, music formed the meeting place between numbers and perception; for the next two millennia, Pesic tells us in Music and the Making of Modern Science, “liberal education” connected music with arithmetic, geometry, and astronomy within a fourfold study, the quadrivium. Peter Pesic argues provocatively that music has had a formative effect on the development of modern science―that music has been not just a charming accompaniment to thought but a conceptual force in its own right. Pesic explores a series of episodes in which music influenced science, moments in which prior developments in music arguably affected subsequent aspects of natural science. He describes encounters between harmony and fifteenth-century cosmological controversies, between musical initiatives and irrational numbers, between vibr

How the tools of STS can be used to understand art and science and the practices of these knowledge making communities.In Art, Science, and the Politics of Knowledge, Hannah Star Rogers suggests that art and science are not as different from each other as we might assume. She shows how the tools of science and technology studies (STS) can be applied to artistic practice, offering new ways of thinking about people and objects that have largely fallen outside the scope of STS research. Arguing that the categories of art and science are labels with specific powers to order social worlds―and that art and science are best understood as networks that produce knowledge―Rogers shows, through a series of cases, the similarities and overlapping practices of these knowledge communities. The cases, which range from nineteenth-century artisans to contemporary bioartists, illustrate how art can provide the basis for a new subdiscipline called art, science, and technology studies (ASTS), offering

An examination of children’s causal reasoning capacities and how those capacities serve as the foundation of their scientific thinking.Young children have remarkable capacities for causal reasoning, which are part of the foundation of their scientific thinking abilities. In Constructing Science, Deena Weisberg and David Sobel trace the ways that young children’s sophisticated causal reasoning abilities combine with other cognitive, metacognitive, and social factors to develop into a more mature set of scientific thinking abilities. Conceptualizing scientific thinking as the suite of skills that allows people to generate hypotheses, solve problems, and explain aspects of the world, Weisberg and Sobel argue that understanding how this capacity develops can offer insights into how we can become a more scientifically literate society.Investigating the development of causal reasoning and how it sets the stage for scientific thinking in the elementary school years and beyond, Weisberg and So

This is an edited collection of papers written between 1960 and 1967 and dealing with various aspects of science and government, with special attention to policies for the support of research. Most o

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 proposal for using cost-benefit analysis to evaluate the socioeconomic impact of public investment in large scientific projects. Large particle accelerators, outer space probes, genomics platforms

How amateur programmers in 1980s Czechoslovakia discovered games as a medium, using them not only for entertainment but also as a means of self-expression.Aside from the exceptional history of Tetris,

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

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

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

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

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 book, published in celebration of the 35th anniversary of MIT's LCS, chronicles its history, achievements, and continued importance to computer science.

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 text offers a presentation of the mathematics required to tackle problems in economic analysis. After a review of the fundamentals of sets, numbers, and functions, it covers limits and continuit

This book offers a comprehensive presentation of the mathematics required to tackle problems in economic analysis.

What are computers in education being used for? In this book, Cynthia Solomon takes a welcome look at the possibilities and issues of learning with and about computers in schools or in any other learn

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

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

Collaboration among organizations is rapidly becoming common in scientific researchas globalization and new communication technologies make it possible for researchers from differentlocations and inst