Annotation
Machine generated contents note: Introduction: Women out of the Loop 1 -- 1 The Magnetic Attraction 15 -- 2 Middle and High School: A Room of His Own 33 -- 3 Computing with a Purpose 49 -- 4 Geek Mythology 61 -- 5 Living among the Programming Gods: The Nexus of Confidence and In…
Basic category theory for computer scientists
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 concurrency, where it is already a standard language of discourse. Assuming a minimum…
The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-pro…
"The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-pr…
Emphasizing issues of computational efficiency, Michael Kearns and Umesh Vazirani introduce a number of central topics in computational learning theory for researchers and students in artificial intelligence, neural networks, theoretical computer science, and statistics.Computat…
How to understand and program interactive devices so that they are reliable and easy to use; includes wide-ranging programming insights, tools, and code.
Advanced Database Techniques combines advanced techniques with practical advice and many new ideas, methods, and examples for database management students, system specialists, and programmers. It provides a wealth of technical information on database methods and an encyclopedic …
Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out …
Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision an…
In cognitive science, artificial intelligence, psychology, and education, a growing body of research supports the view that the learning process is strongly influenced by the learner's goals. The fundamental tenet of goal-driven learning is that learning is largely an active and…
Graphical models use graphs to represent and manipulate joint probability distributions. They have their roots in artificial intelligence, statistics, and neural networks. The clean mathematical formalism of the graphical models framework makes it possible to understand a wide v…