Die Weltwirtschaft steht an der Schwelle zu einem Zeitalter intelligenter Systeme. Viele Untemehmen werden sich kiinftig im zunehmend globalen Wettbewerb nur dann behaupten konnen, wenn es ihnen gelingt, ihre Produkte und Verfahren mit einem hohen MaB an Intelligenz auszustatten (, Machine Intelligence Quotient'). Gerade die Bundesrepublik Deutschland ist als sogenanntes Hochlohnland und mit ihren sehr begrenzten namrlichen Ressourcen zur Sicherung ihres wirtschaftlichen Wohlstandes auf eine schnelle Umsetzung fortschrittlicher Methoden und Technologien angewiesen. Eine zentrale Rolle bei der Entwicklung intelligenter Produkte und Verfahren spielen neue methodische Ansatze der Informatik. Die gesellschaftlichen Krafte in der Bundesrepublik haben dies erkannt, bis hin zu GewerkschaftsfUhrem, die intelligente Produkte fiir den Weltrnarkt fordem. Der erste Absatz dieses V orwortes starnmt iibrigens von Giinther Einert, dem Minister fUr Wirtschaft, Mittelstand und Technologie des Landes NRW. Neben der Mikro-Elektronik und der Mikro-Systemtechnik inklusive cler Mikro Sensorik als Basistechnologien werden Fuzzy-Logik, Kiinstliche Neuronale Netze und Evolutionare Algorithmen sowie Kombinationen davon als Problemlosungstechniken bei der Entwicklung der geforderten intelligenten Produkte eine wesentliche Rolle spielen. In einem irrt der Minister allerdings: neu sind die methodischen Ansatze, auf die er sich bezieht, durchaus nicht. Neu ist nur ihre erfolgreiche Umsetzung. Wir haben die Thematik der 4. Dortmunder Fuzzy-Tage erweitert und dies mit dem Untertitel "Fachtagung iiber Computational Intelligence" zum Ausdruck gebracht. Wir sind nicht die ersten, die eine Fachtagung tiber Computational Intelligence ankiindigen (das war IEEE), aber wir sind nach meiner Kenntnis die ersten, die eine so1che Fachtagung durchfUhren."

The book concerns limit theorems and laws of large numbers for scaled unionsof independent identically distributed random sets. These results generalizewell-known facts from the theory of extreme values. Limiting distributions (called union-stable) are characterized and found explicitly for many examples of random closed sets. The speed of convergence in the limit theorems for unions is estimated by means of the probability metrics method.It includes the evaluation of distances between distributions of random sets constructed similarly to the well-known distances between distributions of random variables. The techniques include regularly varying functions, topological properties of the space of closed sets, Choquet capacities, convex analysis and multivalued functions. Moreover, the concept of regular variation is elaborated for multivalued (set-valued) functions. Applications of the limit theorems to simulation of random sets, statistical tests, polygonal approximations of compacts, limit theorems for pointwise maxima of random functions are considered. Several open problems are mentioned. Addressed primarily to researchers in the theory of random sets, stochastic geometry and extreme value theory, the book will also be of interest to applied mathematicians working on applications of extremal processes and their spatial counterparts. The book is self-contained, and no familiarity with the theory of random sets is assumed.

In the last 25 years, the fuzzy set theory has been applied in many disciplines such as operations research, management science, control theory, artificial intelligence/expert system, etc. In this volume, methods and applications of fuzzy mathematical programming and possibilistic mathematical programming are first systematically and thoroughly reviewed and classified. This state-of-the-art survey provides readers with a capsule look into the existing methods, and their characteristics and applicability to analysis of fuzzy and possibilistic programming problems. To realize practical fuzzy modelling, we present solutions for real-world problems including production/manufacturing, transportation, assignment, game, environmental management, resource allocation, project investment, banking/finance, and agricultural economics. To improve flexibility and robustness of fuzzy mathematical programming techniques, we also present our expert decision-making support system IFLP which considers and solves all possibilities of a specific domain of (fuzzy) linear programming problems. Basic fuzzy set theories, membership functions, fuzzy decisions, operators and fuzzy arithmetic are introduced with simple numerical examples in aneasy-to-read and easy-to-follow manner. An updated bibliographical listing of 60 books, monographs or conference proceedings, and about 300 selected papers, reports or theses is presented in the end of this study.

During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado. These notes of the course, taken by the author, give a novel and fast exposition of four chapters of Set Theory. The first two chapters are about the connection between large cardinals and Lebesque measure. The third is on forcing axioms such as Martin's axiom or the Proper Forcing Axiom. The fourth chapter looks at the method of minimal walks and p-functions and their applications. The book is addressed to researchers and graduate students interested in Set Theory, Set-Theoretic Topology and Measure Theory.

The Set Theory and Applications meeting at York University, Ontario, featured both contributed talks and a series of invited lectures on topics central to set theory and to general topology. These proceedings contain a selection of the resulting papers, mostly announcing new unpublished results.

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.

The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way.

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age - the logicians.

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. These results occupy the highest position in the analysis and control of this field. It not only covers all aspects of research in finite-value systems, but also presents the mathematical derivation for each conclusion in depth. The book contains examples to provide a better understanding of the practical applications of finite-value systems. It will serve as a textbook for graduate students of Cybernetics, Mathematical, and Biology, and a reference for readers interested in the theory of finite-value systems.

Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. In "Higher Topos Theory," Jacob Lurie presents the foundations of this theory, using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language. The result is a powerful theory with applications in many areas of mathematics.

The book's first five chapters give an exposition of the theory of infinity-categories that emphasizes their role as a generalization of ordinary categories. Many of the fundamental ideas from classical category theory are generalized to the infinity-categorical setting, such as limits and colimits, adjoint functors, ind-objects and pro-objects, locally accessible and presentable categories, Grothendieck fibrations, presheaves, and Yoneda's lemma. A sixth chapter presents an infinity-categorical version of the theory of Grothendieck topoi, introducing the notion of an infinity-topos, an infinity-category that resembles the infinity-category of topological spaces in the sense that it satisfies certain axioms that codify some of the basic principles of algebraic topology. A seventh and final chapter presents applications that illustrate connections between the theory of higher topoi and ideas from classical topology.

Continues to focuses specifically on probability rather than probability and statistics Offers a conversational presentation rather than theorem/proof and includes examples based on engineering applications as it highlights Excel computations Presents a review of set theory and updates all descriptions so they are more understandable such as events versus outcomes Additional new material includes distributions such as beta and lognormal, a section on counting principles for defining probabilities, a section on mixture distributions, and a pair of distribution summary tables A solutions manual is available for qualified textbook adoptions

The language of ends and (co)ends provides a natural and general way of expressing many phenomena in category theory, in the abstract and in applications. Yet although category-theoretic methods are now widely used by mathematicians, since (co)ends lie just beyond a first course in category theory, they are typically only used by category theorists, for whom they are something of a secret weapon. This book is the first systematic treatment of the theory of (co)ends. Aimed at a wide audience, it presents the (co)end calculus as a powerful tool to clarify and simplify definitions and results in category theory and export them for use in diverse areas of mathematics and computer science. It is organised as an easy-to-cite reference manual, and will be of interest to category theorists and users of category theory alike.

The Banach-Tarski Paradox is a most striking mathematical construction: it asserts that a solid ball can be taken apart into finitely many pieces that can be rearranged using rigid motions to form a ball twice as large. This volume explores the consequences of the paradox for measure theory and its connections with group theory, geometry, set theory, and logic. This new edition of a classic book unifies contemporary research on the paradox. It has been updated with many new proofs and results, and discussions of the many problems that remain unsolved. Among the new results presented are several unusual paradoxes in the hyperbolic plane, one of which involves the shapes of Escher's famous 'Angel and Devils' woodcut. A new chapter is devoted to a complete proof of the remarkable result that the circle can be squared using set theory, a problem that had been open for over sixty years.

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researchers in the field. It is intended as a reference for students as well as senior researchers.

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients). The binomial coefficients arise in a variety of areas of mathematics: combinatorics, of course, but also basic algebra (binomial theorem), infinite series (Newton's binomial series), differentiation (Leibniz's generalized product rule), special functions (the beta and gamma functions), probability, statistics, number theory, finite difference calculus, algorithm analysis, and even statistical mechanics. The book is very suitable for advanced undergraduates or beginning graduate students and includes various exercises asking them to prove identities. Students will find that the text and notes at the end of the chapters encourages them to look at binomial coefficients from different angles. With this learning experience, students will be able to understand binomial coefficients in a new way. Features: Provides a unified treatment of many of the techniques for proving binomial coefficient identities. Ties together several of the courses in the undergraduate mathematics curriculum via a single theme. A textbook for a capstone or senior seminar course in mathematics. Contains several results by the author on proof techniques for binomial coefficients that are not well-known. Ideal for self-study, it contains a large number of exercises at the end of each chapter, with hints or solutions for every exercise at the end of the book.

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients). The binomial coefficients arise in a variety of areas of mathematics: combinatorics, of course, but also basic algebra (binomial theorem), infinite series (Newton's binomial series), differentiation (Leibniz's generalized product rule), special functions (the beta and gamma functions), probability, statistics, number theory, finite difference calculus, algorithm analysis, and even statistical mechanics. The book is very suitable for advanced undergraduates or beginning graduate students and includes various exercises asking them to prove identities. Students will find that the text and notes at the end of the chapters encourages them to look at binomial coefficients from different angles. With this learning experience, students will be able to understand binomial coefficients in a new way. Features: Provides a unified treatment of many of the techniques for proving binomial coefficient identities. Ties together several of the courses in the undergraduate mathematics curriculum via a single theme. A textbook for a capstone or senior seminar course in mathematics. Contains several results by the author on proof techniques for binomial coefficients that are not well-known. Ideal for self-study, it contains a large number of exercises at the end of each chapter, with hints or solutions for every exercise at the end of the book.

This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses, a topic of central importance in modern set theory. In particular, the author 'completes' the theory of Fine Structure and Iteration Trees (FSIT) by proving a comparison theorem for mouse pairs parallel to the FSIT comparison theorem for pure extender mice, and then using the underlying comparison process to develop a fine structure theory for strategy mice. Great effort has been taken to make the book accessible to non-experts so that it may also serve as an introduction to the higher reaches of inner model theory. It contains a good deal of background material, some of it unpublished folklore, and includes many references to the literature to guide further reading. An introductory essay serves to place the new results in their broader context. This is a landmark work in inner model theory that should be in every set theorist's library.

This book is an introduction to set theory in which the author develops the subject from first principles and presupposes little more than an elementary grounding in logic. Throughout much attention is paid to the historical and philosophical background which illuminates the subject's development. This book differs from most by providing a particularly elegant and intuitive approach based on Scott's formulation of standard set theory in which sets are built up stage by stage. This approach has the advantage of introducing the axioms of set theory in a natural way and shows how they come to take the form they do. The book covers all the basic tools of set theory: the natural numbers, cardinals, ordinals, and the axiom of choice in some detail. It also provides an account of the representation theory of lattices and how this is closely connected with the various forms of the axiom of choice.

Set theory is a branch of mathematics with a special subject matter, the infinite, but also a general framework for all modern mathematics, whose notions figure in every branch, pure and applied. This Element will offer a concise introduction, treating the origins of the subject, the basic notion of set, the axioms of set theory and immediate consequences, the set-theoretic reconstruction of mathematics, and the theory of the infinite, touching also on selected topics from higher set theory, controversial axioms and undecided questions, and philosophical issues raised by technical developments.

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined.

This Element takes a deep dive into Goedel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Goedel's proof: arithmetization, strong representability, and the Fixed Point Theorem in a layered fashion, returning to their various aspects: semantic, syntactic, computational, philosophical and mathematical, as the topic arises. It samples some of the most important proofs of the Incompleteness Theorems, e.g. due to Kuratowski, Smullyan and Robinson, as well as newer proofs, also of other independent statements, due to H. Friedman, Weiermann and Paris-Harrington. It examines the question whether the incompleteness of e.g. Peano Arithmetic gives immediately the undecidability of the Entscheidungsproblem, as Kripke has recently argued. It considers set-theoretical incompleteness, and finally considers some of the philosophical consequences considered in the literature.

This book provides a general framework for doing geometric group theory for many non-locally-compact topological transformation groups that arise in mathematical practice, including homeomorphism and diffeomorphism groups of manifolds, isometry groups of separable metric spaces and automorphism groups of countable structures. Using Roe's framework of coarse structures and spaces, the author defines a natural coarse geometric structure on all topological groups. This structure is accessible to investigation, especially in the case of Polish groups, and often has an explicit description, generalising well-known structures in familiar cases including finitely generated discrete groups, compactly generated locally compact groups and Banach spaces. In most cases, the coarse geometric structure is metrisable and may even be refined to a canonical quasimetric structure on the group. The book contains many worked examples and sufficient introductory material to be accessible to beginning graduate students. An appendix outlines several open problems in this young and rich theory.