Logic Theory

M. Ganesh Illustrator: NA: Introduction to Fuzzy Sets and Fuzzy Logic, PHI Learning 0000 ISBN: 9788120328617

New Softcover NA Reflecting the tremendous advances that have taken place in the study of fuzzy set theory and fuzzy logic, this book not only details the theoretical advances in these areas, but also considers a broad variety of applications of fuzzy sets and fuzzy logic. This comprehensive and up-to-date text is organized in three parts. The concepts pertaining to the aEURoecrispaEUR situation such as Set Theory, Logic, Switching Function Theory and Boolean Algebra are covered in Part I of the text. Part II is devoted to fuzzy Set Theory, Fuzzy Relations and Fuzzy Logic. The applications of fuzzy set theory and fuzzy logic to Control Theory and Decision Making are designated Part III of the text. Designed as a textbook for the undergraduate and postgraduate students of Science and Engineering, the book will also be immensely useful to practicing engineers and computer scientists. CONTENTS: Preface. Acknowledgements. How to Use This Book. Part I:Classical TheoriesaEUR" 1. Crisp Set Theory. 2.Propositional Logic. 3.Predicate Logic. 4.Switching Functions and Switching Circuits. 5.Boolean Algebra. Part II: Fuzzy TheoriesaEUR" 6.Fuzzy Set Theory. 7.Fuzzy Relations. 8.Fuzzy Logic. Part III: ApplicationsaEUR" 9.Fuzzy Methods in Control Theory. 10.Fuzzy Methods in Decision Making.Index. Printed Pages: 256. First edition

[SW: Introduction to Fuzzy Sets and Fuzzy LogicM. Ganesh9788120328617]

Details

Jaakko T. Astola,Radomir S. Stankovic Illustrator: NA: Fundamentals of Switching Theory and Logic Design: A Hands on Approach, New Age International (P) Limited 2007 ISBN: 9788181288042

New Softcover NA Switching theory and logic design provide mathematical foundations and tools for digital system design that is an essential part in the research and development in almost all areas of modern technology. The vast complexity of modern digital systems implies that they can only be handled by computer aided design tools that are built on sophisticated mathematical models. Fundamentals of Switching Theory and Logic Design is aimed at providing an accessible introduction to these mathematical techniques that underlie the design tools and that are necessary for understanding their capabilities and limitations. As is typical to many disciplines a high level of abstraction enables a unified treatment of many methodologies and techniques as well as provides a deep understanding of the subject in general. The drawback is that without a hands on touch on the details it is difficult to develop an intuitive understanding of the techniques. We try to combine these views by providing hands-on-examples on the techniques while binding these to the more general theory that is developed in parallel. For instance, the use of vector spaces and group theory unifies the spectral (Fourier-like) interpretation of polynomial, and graphic (decision diagrams) representations of logic functions, as well as provides new methods for optimization of logic functions. Consequently, Fundamentals of Switching Theory and Design discusses the fundamentals of switching theory and logic design from a slightly alternative point of view and also presents links between switching theory and related areas of signal processing and system theory. It also covers the core topics recommended in IEEE/ACM curricula for teaching and study in this area. Further, it contains several elective sections discussing topics for further research work in this area. This special low-priced edition is for sale in India, Bangladesh, Bhutan, Maldives, Nepal, Myanmar, Pakistan and Sri Lanka only. Printed Pages: 356. First edition

[SW: Fundamentals of Switching Theory and Logic Design: A Hands on ApproachJaakko T. Astola, Radomir S. Stankovic9788181288042]

Details

Bridges, Douglas S.; Vi, Lumini a Simona: Apartness and Uniformity A Constructive Development, SPRINGER, BERLIN, 071 ISBN: 3642224148
The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces. While the classical-logic-based theory of proximity spaces provides some guidance for the theory of apartness, the notion of nearness/proximity does not embody enough algorithmic information for a deep constructive development. The use of constructive (intuitionistic) logic in this book requires much more technical ingenuity than one finds in classical proximity theory - algorithmic information does not come cheaply - but it often reveals distinctions that are rendered invisible by classical logic.In the first chapter the authors outline informal constructive logic and set theory, and, briefly, the basic notions and notations for metric and topological spaces. In the second they introduce axioms for a point-set apartness and then explore some of the consequences of those axioms. In particular, they examine a natural topology associated with an apartness space, and relations between various types of continuity of mappings. In the third chapter the authors extend the notion of point-set (pre-)apartness axiomatically to one of (pre-)apartness between subsets of an inhabited set. They then provide axioms for a quasiuniform space, perhaps the most important type of set-set apartness space. Quasiuniform spaces play a major role in the remainder of the chapter, which covers such topics as the connection between uniform and strong continuity (arguably the most technically difficult part of the book), apartness and convergence in function spaces, types of completeness, and neat compactness. Each chapter has a Notes section, in which are found comments on the definitions, results, and proofs, as well as occasional pointers to future work. The book ends with a Postlude that refers to other constructive approaches to topology, with emphasis on the relation between apartness spaces and formal topology.Largely an exposition of the authors' own research, this is the first book dealing with the apartness approach to constructive topology, and is a valuable addition to the literature on constructive mathematics and on topology in computer science. It is aimed at graduate students and advanced researchers in theoretical computer science, mathematics, and logic who are interested in constructive/algorithmic aspects of topology. Largely an exposition of the authors' own research, this is the first book dealing with the apartness approach to constructive topology, and is a valuable addition to the literature on constructive mathematics and on topology in computer science. It is aimed at graduate students and advanced researchers in theoretical computer science, mathematics, and logic who are interested in constructive/algorithmic aspects of topology.

NEUBUCH! 2011. XII, 198 p. 235 mm x 210 mm 3 schwarz-weiße Abbildungen; Theory and Applications of Computability

[SW: Mathematische Logik, Analysis]

Details

Bo Yuan,George J. Klir Illustrator: NA: Fuzzy Sets and Fuzzy Logic: Theory and Applications, PHI Learning 2009 ISBN: 9788120311367

New Softcover NA This is the expanded version of the earlier highly successful book, "Fuzzy Sets, Uncertainty and Information", reflecting the tremendous advances that have taken place subsequently. The primary purpose of this book is to provide the student with a comprehensive coverage of theoretical foundations of fuzzy set theory and fuzzy logic as well as a broad overview of the increasingly important applications of these novel areas of mathematics. No previous knowledge of fuzzy sets or fuzzy logic is required. Basic ideas such as neural networks, general algorithms and rough sets are also explained.Throughout the book, examples are used to illustrate concepts, methods and generic applications as they are introduced. Extensive and carefully selected bibliography, together with bibliographical notes at the end of each chapter and a bibliographical index, is an invaluable resource for further study of fuzzy theory and applications. Each chapter is followed by a set of exercises, which are intended to enhance an understanding of material presented in the chapter."It should be on the desk of everyone who is intended in acquiring a solid understanding of the foundations of fuzzy sets and fuzzy logic and the competence that is needed to apply them to the solution of real-world problem."Lotfi A. Zadeh in his Foreword to the book. CONTENTS: Foreword. Prefece. PART I: THEORY_From Classical (Crisp) Sets to Fuzzy Sets: A Grand Paradigm Shift. Fuzzy Sets Versus Crisp Sets. Operations of Fuzzy Sets. Fuzzy Arithmetic. Fuzzy Relations. Fuzzy Relation Equations. Possibility Theory. Fuzzy Logic. Uncertainty-Based Information. PART II: APPLICATIONS_Constructing Fuzzy Sets and Operations of Fuzzy Sets. Approximate Reasoning. Fuzzy Systems. Pattern Recognition. Fuzzy Databases and Information Retrieval Systems. Fuzzy Decision Making. Engineering Applications. Miscellaneous Applications. Appendices. Bibliography. Bibliographical Index. Name Index. Subject Index. Printed Pages: 592. First edition

[SW: Fuzzy Sets and Fuzzy Logic: Theory and ApplicationsBo Yuan, George J. Klir9788120311367]

Details