Mathematics of Discrete Structures for Computer Science

In the past several decades the classical Perron–Frobenius theory for nonnegative matrices has been extended to obtain remarkably precise and beautiful results for classes of nonlinear maps. This nonlinear Perron–Frobenius theory has found significant uses in computer science, mathematical biology, game theory and the study of dynamical systems. This is the first comprehensive and unified introduction to nonlinear Perron–Frobenius theory suitable for graduate students and researchers entering the field for the first time. It acquaints the reader with recent developments and provides a guide to challenging open problems. To enhance accessibility, the focus is on finite dimensional nonlinear Perron–Frobenius theory, but pointers are provided to infinite dimensional results. Prerequisites are little more than basic real analysis and topology.

The International Mathematical Olympiad (IMO) is an annual international mathematics competition held for pre-collegiate students. It is also the oldest of the international science olympiads, and com

This is a charming collection of essays on life and science, by one of the leading mathematicians of our day. Vladimir Igorevich Arnold is renowned for his achievements in mathematics, and nearly as f

The popularity of signal processing in neuroscience is increasing, and with the current availability and development of computer hardware and software, it is anticipated that the current growth will c

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

Hansen (scientific computing, Technical U. of Denmark), Nagy (mathematics and computer science, Emory U., US), and O'Leary (computer science, U. of Maryland, US) explain the linear algebra underlying

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

This text is intended primarily for readers interested in mathematical probability as applied to mathematics, statistics, operations research, engineering, and computer science. It is also appropriate

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

"The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the Univ

Mathematical Analysis and Applications is a first introduction to Higher Mathematics for college students. Starting with a discussion of Real Numbers and Functions, the text introduces standard topic

The complex social behaviors of ants have been much studied by science, and computer scientists are now finding that these behavior patterns can provide models for solving difficult combinatorial opt

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines.

Computational molecular biology, or bioinformatics, draws on the disciplines of biology, mathematics, statistics, physics, chemistry, computer science, and engineering. It provides the computational s

In recent years, algorithmic graph theory has become increasingly important as a link between discrete mathematics and theoretical computer science. This textbook introduces students of mathematics an

This invaluable textbook offers an all-round view of digital libraries and is a core text for students of digital librarianship and related courses at departments of information science and computer s

A renewed interest in the study of vision has attracted scholars from such diversefields as neuroscience, computer science, mathematics, physics, and philosophy. At the same time,the development of im

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

A textbook for a one term or semester undergraduate course in computer science, updated (from 1988) to include newer operating systems such as IBM's OS/2 and the latest hardware. Assumes a familiarity

These are exciting times for mathematics, science, and technology. One of the fields that has been receiving great attention is Chaos Theory. Actually, this is not a single discipline, but a potpourri

Linear Algebra constitutes a foundation course for those specializing in the fields of mathematics, engineering and science. The course normally takes one semester, but for those needing a more rigoro

Plato, the great philosopher of Athens, was born in 427 BCE. In early manhood an admirer of Socrates, he later founded the famous school of philosophy in the grove Academus. Much else recorded of his life is uncertain; that he left Athens for a time after Socrates' execution is probable; that later he went to Cyrene, Egypt, and Sicily is possible; that he was wealthy is likely; that he was critical of 'advanced' democracy is obvious. He lived to be 80 years old. Linguistic tests including those of computer science still try to establish the order of his extant philosophical dialogues, written in splendid prose and revealing Socrates' mind fused with Plato's thought.In Laches, Charmides, and Lysis, Socrates and others discuss separate ethical conceptions. Protagoras, Ion, and Meno discuss whether righteousness can be taught. In Gorgias, Socrates is estranged from his city's thought, and his fate is impending. The Apology (not a dialogue), Crito, Euthyphro, and the unforgettable Phaedo r

Plato, the great philosopher of Athens, was born in 427 BCE. In early manhood an admirer of Socrates, he later founded the famous school of philosophy in the grove Academus. Much else recorded of his life is uncertain; that he left Athens for a time after Socrates' execution is probable; that later he went to Cyrene, Egypt, and Sicily is possible; that he was wealthy is likely; that he was critical of 'advanced' democracy is obvious. He lived to be 80 years old. Linguistic tests including those of computer science still try to establish the order of his extant philosophical dialogues, written in splendid prose and revealing Socrates' mind fused with Plato's thought.In Laches, Charmides, and Lysis, Socrates and others discuss separate ethical conceptions. Protagoras, Ion, and Meno discuss whether righteousness can be taught. In Gorgias, Socrates is estranged from his city's thought, and his fate is impending. The Apology (not a dialogue), Crito, Euthyphro, and the unforgettable Phaedo r

Plato, the great philosopher of Athens, was born in 427 BCE. In early manhood an admirer of Socrates, he later founded the famous school of philosophy in the grove Academus. Much else recorded of his life is uncertain; that he left Athens for a time after Socrates' execution is probable; that later he went to Cyrene, Egypt, and Sicily is possible; that he was wealthy is likely; that he was critical of 'advanced' democracy is obvious. He lived to be 80 years old. Linguistic tests including those of computer science still try to establish the order of his extant philosophical dialogues, written in splendid prose and revealing Socrates' mind fused with Plato's thought.In Laches, Charmides, and Lysis, Socrates and others discuss separate ethical conceptions. Protagoras, Ion, and Meno discuss whether righteousness can be taught. In Gorgias, Socrates is estranged from his city's thought, and his fate is impending. The Apology (not a dialogue), Crito, Euthyphro, and the unforgettable Phaedo r

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

A renewed interest in the study of vision has attracted scholars from such diverse fields as neuroscience, computer science, mathematics, physics and philosophy. At the same time, the development of i

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