Search results

The book is a fairly complete and up-to-date survey of projectivity and its generalizations in the class of Boolean algebras. Although algebra adds its own methods and questions, many of the results presented were first proved by topologists in the more general setting of (not necessarily zero-dimensional) compact spaces. An appendix demonstrates the application of advanced set-theoretic methods to the field. The intended readers are Boolean and universal algebraists. The book will also be usef...

In recent years, an impetuous development of new, unconventional theories, methods, techniques and technologies in computer and information sciences, systems analysis, decision-making and control, expert systems, data modelling, engineering, etc. , resulted in a considerable increase of interest in adequate mathematical description and analysis of objects, phenomena, and processes which are vague or imprecise by their very nature. Classical two-valued logic and the related notion of a set, toget...

The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts as the first mature and accessible introduction to coalgebra. It provides clear mathematical explanat...

Challenge yourself at home with number puzzles A mental workout to rival Su Doku! Dozens of compelling and addictive maths puzzles to challenge your mental arithmetic, multiplication skills and powers of deductive reasoning. For all number puzzles addicts. Varying levels of difficulty. Tetonor rules: each number in the main grid can be formed by adding or multiplying a pair of numbers in the strip below the grid. Each pair of numbers should b...

This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreover, it contains a virtually complete account of other approaches to automated reasoning in MVL. This is the first overview of this subfield of automated reasoning ever given. Finally, a variety of applications of automated reasoning in MVL including several short case studies are listed. Automated reasoning in non-classical logics is an essential s...

Sixteen of today's greatest unsolved mathematical puzzles in a story-driven, illustrated volume that invites readers to peek over the edge of the unknown.Most people think of mathematics as a set of useful tools designed to answer analytical questions, beginning with simple arithmetic and ending with advanced calculus. But, as Mage Merlin's Unsolved Mathematical Mysteries shows, mathematics is filled with intriguing mysteries that take us to the edge of the unknown. This richly illustrated, stor...

The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others. As a foundational discipline, formal language theory concepts and techniques are present in a variety of theoretical and applied fields of contemporary research which are concerned with symbol manipulation: discrete mathematics, bioinformatics, natural language processing, pattern recognition, text retrieval, learning, cryptog...

This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 41 submissions. The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems...

This book was originally intended to be the second edition of the book "Beweis- theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left part...

One equals zero! Every number is greater than itself! All triangles are isosceles! Surprised? Welcome to the world of One Equals Zero and Other Mathematical Surprises. In this engaging book of blackline activity masters, all men are bald, mistakes are lucky, and teachers can never spring surprise tests on their students! Each paradox, fallacy, and mind boggler in One Equals Zero will challenge high school students at any grade level, encourage them to look at familiar mathematical situations in...

Despite decades of work in evolutionary algorithms, there remains an uncertainty as to the relative benefits and detriments of using recombination or mutation. This book provides a characterization of the roles that recombination and mutation play in evolutionary algorithms. It integrates important prior work and introduces new theoretical techniques for studying evolutionary algorithms. Consequences of the theory are explored and a novel method for comparing search and optimization algorithms i...

In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure and a number would eventually appear. Once calculators became fast enough, it became obvious that the critical path was the punching rather than the calculation itself. That is what made the stored program concept vital to further progress. Once the instructions were stored in the machine, the entire computation could run at the speed of the machi...

Quiz your family at home with crosswords, puzzles and games. Stretch your powers of logical deduction with 200 new Su Doku puzzles, in easy, medium and difficult categories. Keep your mind sharp and test your powers of deductive reasoning. Ideal for whiling away those long commutes, travelling on holiday or relaxing at home. There are puzzles here for all levels ranging from easy, through medium and difficult. Coffee Break Su Doku will satisfy on every level.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twelfth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association of Symbolic Logic, held at the University of the Basque Country, San Sebastian in July 1996. The main to...

Stochastic analysis is not only a thriving area of pure mathematics with intriguing connections to partial differential equations and differential geometry. It also has numerous applications in the natural and social sciences (for instance in financial mathematics or theoretical quantum mechanics) and therefore appears in physics and economics curricula as well. However, existing approaches to stochastic analysis either presuppose various concepts from measure theory and functional analysis or l...

This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen world-renowned researchers in the fields of mathematics, physics, cosmology, philosophy and theology offer a rich intellectual exchange among various current viewpoints, rather than displaying a static picture of...

In recent years there has been a growing interest in the interactions between descriptive set theory and various aspects of the theory of dynamical systems, including ergodic theory and topological dynamics. This volume, first published in 2000, contains a collection of survey papers by leading researchers covering a wide variety of recent developments in these subjects and their interconnections. This book provides researchers and graduate students interested in either of these areas with a gui...