Les buts principaux de cet ouvrage qui comble un vide sont de:

- donner les concepts et r sultats fondamentaux sur les ensembles ordonn?'s finis,

- pr senter leurs usages dans des domaines vari?'s (de la RO ou l IA la micro- conomie),

- signaler un certain nombre de r sultats et de recherches en cours.

Discrete quantum walks are quantum analogues of classical random walks. They are an important tool in quantum computing and a number of algorithms can be viewed as discrete quantum walks, in particular Grover's search algorithm. These walks are constructed on an underlying graph, and so there is a relation between properties of walks and properties of the graph. This book studies the mathematical problems that arise from this connection, and the different classes of walks that arise. Written at a level suitable for graduate students in mathematics, the only prerequisites are linear algebra and basic graph theory; no prior knowledge of physics is required. The text serves as an introduction to this important and rapidly developing area for mathematicians and as a detailed reference for computer scientists and physicists working on quantum information theory.

This volume explores A.P. Morse's (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, and his unique perspective on mathematics. The editor brings together a variety of Morse's works in this compilation, including Morse's book A Theory of Sets, Second Edition (1986), in addition to material from another of Morse's publications, Web Derivatives, and notes for a course on analysis from the early 1950's. Because Morse provided very little in the way of explanation in his written works, the editor's commentary serves to outline Morse's goals, give informal explanations of Morse's formal language, and compare Morse's often unique approaches to more traditional approaches. Minor corrections to Morse's previously published works have also been incorporated into the text, including some updated axioms, theorems, and definitions. The editor's introduction thoroughly details the corrections and changes made and provides readers with valuable insight on Morse's methods. A.P. Morse's Set Theory and Analysis will appeal to graduate students and researchers interested in set theory and analysis who also have an interest in logic. Readers with a particular interest in Morse's unique perspective and in the history of mathematics will also find this book to be of interest.

Symmetric Boolean functions have played an important role in many aspects of design automation for many years. This book summarizes developments and provides a collection of new tools and techniques that can be used to advance the study of Boolean functions. Moreover, Boolean functions provide the necessary framework for expressing the operation of logic gates, which are the key building units for the accomplishment of signal processing tasks in fundamental and system-oriented levels. The book concludes with a discussion on how Boolean functions can be used to ensure the minimum degree of logical functionality between light-wave modulated signals.

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. The independence of the continuum hypothesis is the focus of this study by Paul J. Cohen. It presents not only an accessible technical explanation of the author's landmark proof but also a fine introduction to mathematical logic. An emeritus professor of mathematics at Stanford University, Dr. Cohen won two of the most prestigious awards in mathematics: in 1964, he was awarded the American Mathematical Society's Bocher Prize for analysis; and in 1966, he received the Fields Medal for Logic.
In this volume, the distinguished mathematician offers an exposition of set theory and the continuum hypothesis that employs intuitive explanations as well as detailed proofs. The self-contained treatment includes background material in logic and axiomatic set theory as well as an account of Kurt Godel's proof of the consistency of the continuum hypothesis. An invaluable reference book for mathematicians and mathematical theorists, this text is suitable for graduate and postgraduate students and is rich with hints and ideas that will lead readers to further work in mathematical logic.

How can the infinite, a subject so remote from our finite experience, be an everyday tool for the working mathematician? Blending history, philosophy, mathematics, and logic, Shaughan Lavine answers this question with exceptional clarity. Making use of the mathematical work of Jan Mycielski, he demonstrates that knowledge of the infinite is possible, even according to strict standards that require some intuitive basis for knowledge.

Set Theoretical Aspects of Real Analysis is built around a number of questions in real analysis and classical measure theory, which are of a set theoretic flavor. Accessible to graduate students, and researchers the beginning of the book presents introductory topics on real analysis and Lebesgue measure theory. These topics highlight the boundary between fundamental concepts of measurability and nonmeasurability for point sets and functions. The remainder of the book deals with more specialized material on set theoretical real analysis. The book focuses on certain logical and set theoretical aspects of real analysis. It is expected that the first eleven chapters can be used in a course on Lebesque measure theory that highlights the fundamental concepts of measurability and non-measurability for point sets and functions. Provided in the book are problems of varying difficulty that range from simple observations to advanced results. Relatively difficult exercises are marked by asterisks and hints are included with additional explanation. Five appendices are included to supply additional background information that can be read alongside, before, or after the chapters. Dealing with classical concepts, the book highlights material not often found in analysis courses. It lays out, in a logical, systematic manner, the foundations of set theory providing a readable treatment accessible to graduate students and researchers.

Information granules, as encountered in natural language, are implicit in nature. To make them fully operational so they can be effectively used to analyze and design intelligent systems, information granules need to be made explicit. An emerging discipline, granular computing focuses on formalizing information granules and unifying them to create a coherent methodological and developmental environment for intelligent system design and analysis. Granular Computing: Analysis and Design of Intelligent Systems presents the unified principles of granular computing along with its comprehensive algorithmic framework and design practices. Introduces the concepts of information granules, information granularity, and granular computing Presents the key formalisms of information granules Builds on the concepts of information granules with discussion of higher-order and higher-type information granules Discusses the operational concept of information granulation and degranulation by highlighting the essence of this tandem and its quantification in terms of the associated reconstruction error Examines the principle of justifiable granularity Stresses the need to look at information granularity as an important design asset that helps construct more realistic models of real-world systems or facilitate collaborative pursuits of system modeling Highlights the concepts, architectures, and design algorithms of granular models Explores application domains where granular computing and granular models play a visible role, including pattern recognition, time series, and decision making Written by an internationally renowned authority in the field, this innovative book introduces readers to granular computing as a new paradigm for the analysis and synthesis of intelligent systems. It is a valuable resource for those engaged in research and practical developments in computer, electrical, industrial, manufacturing, and biomedical engineering. Building from fundamentals, the book is also suitable for readers from nontechnical disciplines where information granules assume a visible position.