الصفحة 1
الصفحة 1
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism.
Notes on Set Theory
This is introduction to axiomatic set theory, viewed both as a foundation of mathematics and as a branch of mathematics with its own subject matter, basic results, open problems.
Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combinatorics
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications to data mining such as frequent item sets, clustering, decision trees also being discussed. More than 400 exercises are included and they form an integral part of the material. Some of the exercises are in reality supplemental material and their solutions are included. The reader is assumed to have a knowledge of elementary analysis.
Intuition and the Axiomatic Method
All of Hilbert, Gödel, Poincaré, Weyl and Bohr thought that intuition was an indispensable element in describing the foundations of science. They had very different reasons for thinking this, and they had very different accounts of what they called intuition. But they had in common that their views of mathematics and physics were significantly influenced by their readings of Kant. In the present volume, various views of intuition and the axiomatic method are explored, beginning with Kant’s own approach. By way of these investigations, we hope to understand better the rationale behind Kant’s theory of intuition, as well as to grasp many facets of the relations between theories of intuition and the axiomatic method,
Horizons of Combinatorics
Hungarian mathematics has always been known for discrete mathematics, including combinatorial number theory, set theory and recently random structures, combinatorial geometry as well. The recent volume contains high level surveys on these topics with authors mostly being invited speakers for the conference "Horizons of Combinatorics" held in Balatonalmadi, Hungary in 2006. The collection gives a very good overview of recent trends and results in a large part of combinatorics and related topics, and offers an interesting reading for experienced specialists as well as to young researchers and students.
History of Banach Spaces and Linear Operators
Written by a distinguished specialist in functional analysis, this book presents a comprehensive treatment of the history of Banach spaces and (abstract bounded) linear operators. While other historical texts on the subject focus on developments before 1950, this one is mainly devoted to the second half of the 20th century.Banach space theory is presented in a broad mathematical context, using tools from such areas as set theory, topology, algebra, combinatorics, probability theory, and logic.
Guida alla teoria degli insiemi = Guide to set theory
Teachers are in difficulty with regard to the space and emphasis to be given to set theory topics, in their preparation and in their work, because they have not been provided with adequate knowledge at the university. It is safe to say, on the basis of much experience, that the average mathematician, even the researcher, does not know what set theory is. Two prejudices stand in the way of a good knowledge of the theory: one, of a minimalist type, is its identification with an unspecified "set theory", an austere language that is too demanding if one wants to impose it prematurely; the other is of a maximalist type and consists in the supposed and effective link with the more subtle questions of the foundations of mathematics. But the theory has an important mathematical content, and with many implications of didactic interest.
Granular computing : At the junction of rough sets and fuzzy sets
This volume is a compilation of the best papers presented at the First International Symposium on Fuzzy and Rough Sets (ISFUROS 2006) held in Santa Clara, Cuba. You will therefore find valuable contributions both in the theoretical field as in several application domains.
Fuzzy Quantifiers : A Computational Theory
Almost all", "many", "some": fuzzy quantifiers are vital for effective communication in natural language (NL). This monograph pursues an axiomatic method to achieve a reliable interpretation of these quantifiers in technical applications of fuzzy quantification. Unlike existing work in this area, it targets a much broader class of quantificational phenomena which includes all cases usually considered in linguistics. The topics addressed in the monograph run the gamut from the introduction of the theoretical framework for analysing fuzzy quantification, the formalization of semantical requirements on models of fuzzy quantification, the construction and detailed study of prototypical models which conform to the linguistic desiderata, the development of algorithms for implementing the main types of quantifiers in these models, and finally a preview to fuzzy branching quantifications which might be necessary for modelling NL sentences involving more than one quantifier.
Fuzzy Logic and Applications ; Vol. 2955 ; 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers
This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in October 2003. The 40 revised full papers presented have gone through two rounds of reviewing and revision. All current issues of theoretical, experimental and applied fuzzy logic and related techniques are addressed with special attention to rough set theory, neural networks, genetic algorithms and soft computing.
Fuzzy Choice Functions : A Revealed Preference Approach
This book extends the theory of revealed preference to fuzzy choice functions and provides applications to multicriteria decision making problems. The main topics of revealed preference theory (rationality, revealed preference and congruence axioms, consistency conditions) are treated in the framework of fuzzy choice functions. New topics, such as the degree of dominance and similarity of vague choices, are developed. The results obtained are applied to economic problems where partial information and human subjectivity involve vague choices and vague preferences. The book contains a number of new results achieved by the author. Even though the text is reasonably self-contained, previous knowledge of revealed preference and fuzzy set theory is helpful for the reader.
Fuzzy Applications in Industrial Engineering
After an introductory chapter explaining the recent status of fuzzy sets in IE, this volume involves application chapters on the major seven areas of IE to which fuzzy set theory can contribute. These major application areas are Control and Reliability, Engineering Economics and Investment Analysis, Group and Multi-criteria Decision-making, Human Factors Engineering and Ergonomics, Manufacturing Systems and Technology Management, Optimization Techniques, and Statistical Decision-making. Under these major areas, every chapter includes didactic numerical applications.
Fuzzy and Rough Techniques in Medical Diagnosis and Medication
This volume provides readers with selected fuzzy and rough tools used to medical tasks, especially diagnosing and medication. To build a link between theoretical, mathematical excerpts and practical medical applications, the contents is formed as a sequence of occurrences in which a patient appears to be diagnosed and cured. The fuzzy and rough elements are inserted in the book in the order required by the presentation of medical substance to maintain the logical unity of the book’s essence. In conformity with this pattern the essay presents in turn some necessary elements of fuzzy set theory, the classical fuzzy diagnostic model with extensions, the fuzzy diagnostic model with clinical examinations extended throughout time based on distance theory, methods of drug effectiveness measurements and algorithms selecting the optimal medicine. As the complement, the solution of an approximation problem is suggested to find a curve that surrounds two-dimensional clock-like point sets with the little approximation error.
Foundations and applications of MIS : A model theory approach
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. The development is driven by the need to eliminate ambiguity in specification, design and construction of the application software. Further, the authors show that the considerable effort being expanded nowadays on validation, verification and testing, as required in current software engineering practices, will be reduced. The approach also reinforces the belief that MIS development is independent of software development. The work presents an approach that provides a theoretical foundation for MIS development from the systems theoretic viewpoint along with practical applications ranging from a transaction processing system to a solver system. Both formal systems theory and automatic system generation based on the authors' newly extended Prolog offer a significant increase in the efficiency of specification, design and production of the application software, as well as an increase in the functional reliability of the software produced. The book assumes a working knowledge of elementary set theory, logic, and familiarity with some systems concepts, such as the automaton model.
Ernst Zermelo : An approach to his life and work
This biography attempts to shed light on all facets of Zermelo's life and achievements. Personal and scientific aspects are kept separate as far as coherence allows, in order to enable the reader to follow the one or the other of these threads. The description of his personality owes much to conversations with his late wife Gertrud. The presentation of his work explores motivations, aims, acceptance, and influence. Selected proofs and information gleaned from unpublished notes and letters add to the analysis.
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
"Methods of Artificial Intelligence and Intelligent Agents" contains 13 contributions analyzing such areas of AI as fuzzy set theory, predicate logic, neural networks, clustering, data mining and others. It also presents applications of AI as possible solutions for problems like firm bankruptcy, soil erosion, flight control and others. "Information Technology Security" covers three important areas of security engineering in information systems: software security, public key infrastructure and the design of new cryptographic protocols and algorithms. "Biometric Systems" comprises 11 contributions dealing with face picture analysis and recognition systems. This chapter focuses on known methods of biometric problem solution as well as the design of new models.
Eléments dhistoire des mathématiques = Elements of the history of mathematics
Brings together the historical notes published in the various books of mathematics elements by the author. They therefore concern all the matters covered in this treaty: set theory, algebra, topology, functions of a variable real, topological vector spaces, integration, commutative algebra, groups and Lie algebras. Composed of initially separate studies, this work does not claim to sketch a followed and complete history of development of mathematics. The interweaving of the different themes and the unity of the point of view ensure the deep consistency.
Data mining and knowledge management ; Chinese academy of sciences symposium CASDMKD 2004, Beijing, China, July 12-14, 2004, Revised Paper
Knowledge management for enterprise: These papers address various issues related to the application of knowledge management in corporations using various techniques. A particular emphasis here is on coordination and cooperation. • Risk management: Better knowledge management also requires more advanced techniques for risk management, to identify, control, and minimize the impact of uncertain events, as shown in these papers, using fuzzy set theory and other approaches for better risk management. • Integration of data mining and knowledge management: As indicated earlier, the integration of these two research fields is still in the early stage. Nevertheless, as shown in the papers selected in this volume, researchers have endearored to integrate data mining methods such as neural networks with various aspects related to knowledge management,
Computational Intelligence in Reliability Engineering : New Metaheuristics, Neural and Fuzzy Techniques in Reliability
This volume contains chapters presenting applications of different metaheuristics (ant colony optimization, great deluge algorithm, cross-entropy method and particle swarm optimization) in reliability engineering. It also includes chapters devoted to cellular automata and support vector machines and different applications of artificial neural networks, a powerful adaptive technique that can be used for learning, prediction and optimization. Several chapters describe different aspects of imprecise reliability and applications of fuzzy and vague set theory.
Labyrinth of Thought : A History of Set Theory and Its Role in Modern Mathematics
Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics during the period 1850-1940. Rather than focusing on the pivotal figure of Georg Cantor, it analyzes his work and the emergence of transfinite set theory within the broader context of the rise of modern mathematics. The text has a tripartite structure.A new Epilogue for this second edition offers further reflections on the foundations of set theory, including the "dichotomy conception" and the well-known iterative conception.
