Mathematics of Discrete Structures for Computer Science

Large-scale optimization is becoming increasingly important for students and professionals in electrical and industrial engineering, computer science, management science and operations research, and a

How do social structures and group behaviours arise from the interaction of individuals? "Growing Artificial Societies" approaches this question with computer simulation techniques. Fundamental collec

Intentions in Communication brings together major theorists from artificial intelligence and computer science, linguistics, philosophy, and psychology whose work develops the foundations for an accoun

One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents; software that can independently make good decisions about what actions to perform on o

Winner, 1988, category of Computer Science, Professional/Scholarly Publishing Annual Awards Competition presented by the Association of American Publishers, Inc. "Optical Computing "provides the first

Oscar Zariski, one of the most eminent mathematicians of our time, climaxed a distinguished career by receiving the National Medal of Science. He has enriched mathematics, particularly in algebraic ge

This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theoretical computer science that has played a

This first translation of d'Ocagne's Le Calcul Simplifie makes a classic work on the early art of computation available to historians of computer science. In the days before the sophisticated mechan

Software metrics is a new area of computer science designed to enable programmers and other practitioners to assign quantitative indexes of merit to software. In this volume, "software" is defined bro

The thirty original contributions in this book provide a working definition of "computational neuroscience" as the area in which problems lie simultaneously within computer science and neuroscience. T

Computer science as an engineering discipline has been spectacularly successful. Yet it is also a philosophical enterprise in the way it represents the world and creates and manipulates models of real

George Boole, for whom Boolean logic is named, developed the idea of expressing any idea as a mathematical or logical statement. Today, Boolean logic is foundational to computer programs and computer

"Concurrent Prolog" brings together for the first time descriptions of the major concurrent logic programming languages proposed so far for future parallel computer systems. In particular, it describe

"The Paralation Model "introduces a way of programming parallel computers that is easy to use for general problem solving, and will work for many different parallel computer architectures with any num

A series of lectures on the role of nonlinear processes in physics, mathematics, electrical engineering, physiology, and communication theory. From the preface: "For some time I have been interested i

This book provides students of mathematics with the minimum amount of knowledge in logic and set theory needed for a profitable continuation of their studies. There is a chapter on statement calculus, followed by eight chapters on set theory.

"The Network Nation" has become a standard reference for the field of computer mediated communication (CMC). This revised edition adds a substantial new chapter on "superconnectivity" (invented and de

What is the bottom line on Artificial Intelligence? "The AI Business offers a comprehensive summary of the commercial picture, present and future, for Artificial Intelligence in the computer industry,

"If the automobile and airplane business had developed like the computer business, a Rolls Royce would cost $2.75 and would run for 3 million miles on one gallon of gas. And a Boeing 767 would cost ju

Asset Pricing Theory is an advanced textbook for doctoral students and researchers that offers a modern introduction to the theoretical and methodological foundations of competitive asset pricing. Costis Skiadas develops in depth the fundamentals of arbitrage pricing, mean-variance analysis, equilibrium pricing, and optimal consumption/portfolio choice in discrete settings, but with emphasis on geometric and martingale methods that facilitate an effortless transition to the more advanced continuous-time theory.Among the book's many innovations are its use of recursive utility as the benchmark representation of dynamic preferences, and an associated theory of equilibrium pricing and optimal portfolio choice that goes beyond the existing literature.Asset Pricing Theory is complete with extensive exercises at the end of every chapter and comprehensive mathematical appendixes, making this book a self-contained resource for graduate students and academic researchers, as well as mathematical

A theory of expectations is used to explain how music evokes various emotions for readers interested in cognitive science and evolutionary psychology as well as music. The psychological theory of expe

In this text Slava Gerovitch argues that Soviet cybernetics was not just an intellectual trend but a social movement for radical reform in science and society as a whole. Followers of cybernetics view