Описание: Offers a guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. This book assumes a basic knowledge of mathematics, and concludes with a chapter on fuzzy logic control. It uses numerous diagrams to illustrated the concepts.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521670268 ISBN-13(EAN): 9780521670265 Издательство: Cambridge Academ Рейтинг: Цена: 3450 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.
Автор: Taylor, John R. Название: Introduction to error analysis ISBN: 093570275X ISBN-13(EAN): 9780935702750 Издательство: Springer Рейтинг: Цена: 5224 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text introduces error analysis through simple and familiar examples from carpentry and well-known historic experiments where an understanding of errors was crucial to the success of the experiment. It is designed as a reference for students in the physical sciences and engineering.
Автор: Glendinning, Simon Название: Derrida: A Very Short Introduction ISBN: 019280345X ISBN-13(EAN): 9780192803450 Издательство: Oxford Academ Рейтинг: Цена: 1075 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Simon Glendinning explores Jacque Derrida`s work, from his engagement with the history of metaphysics to his views on law and justice and ethics and politics. Confronting and refuting claims that Derrida was an irresponsible `postmodernist` or `nihilist` he instead reveals Derrida`s significant contributions to philosophy.
Автор: Buckley James J., Eslami Esfandiar Название: An Introduction to Fuzzy Logic and Fuzzy Sets ISBN: 3790814474 ISBN-13(EAN): 9783790814477 Издательство: Springer Рейтинг: Цена: 5742 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is to be the starting point for any curriculum in fuzzy systems in fields like computer science, mathematics, business/economics and engineering. It covers the basics leading to: fuzzy clustering, fuzzy pattern recognition, fuzzy database, fuzzy image processing, soft computing, fuzzy applications in operations research, fuzzy decision making, fuzzy rule based systems, fuzzy systems modeling, fuzzy mathematics. It is not a book designed for researchers - it is where you really learn the "basics" needed for any of the above-mentioned applications.
Описание: This book provides an accessible introduction to the most important features of formal languages and automata theory - core topics on computer science degree schemes worldwide. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition will include new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary. This book will be invaluable to students of computer science but it will also prove essential reading to all practitioners needing to know about formal methods.
Описание: Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting materi
Автор: Walicki Michal Название: Introduction to Mathematical Logic ISBN: 981471996X ISBN-13(EAN): 9789814719964 Издательство: World Scientific Publishing Рейтинг: Цена: 4602 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts.Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules — of a high, though often neglected, pedagogical value — aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers.An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic.This revised edition contains also, besides many new exercises, a new chapter on semantic paradoxes. An equivalence of logical and graphical representations allows us to see vicious circularity as the odd cycles in the graphical representation and can be used as a simple tool for diagnosing paradoxes in natural discourse.
Автор: Mints Grigori Название: A Short Introduction to Intuitionistic Logic ISBN: 0306463946 ISBN-13(EAN): 9780306463945 Издательство: Springer Рейтинг: Цена: 12016 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic tchniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999.
Описание: This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises.Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.
Автор: Merrie Bergmann Название: An Introduction to Many-Valued and Fuzzy Logic ISBN: 0521881285 ISBN-13(EAN): 9780521881289 Издательство: Cambridge Academ Рейтинг: Цена: 11044 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed for use on undergraduate and graduate courses in non-classical logic. Bergmann discusses the philosophical issues that give rise to fuzzy logic - problems arising from vague language - and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three-valued logical systems are presented as useful intermediate systems for studying the principles and theory behind fuzzy logic. The major fuzzy logical systems - Lukasiewicz, G?del, and product logics - are then presented as generalisations of three-valued systems that successfully address the problems of vagueness. A clear presentation of technical concepts, this book includes exercises throughout the text that pose straightforward problems, that ask students to continue proofs begun in the text, and that engage students in the comparison of logical systems.
Описание: This is an introductory textbook on probability and induction written by one of the world’s foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction. The key features of this book are a lively and vigorous prose style; lucid and systematic organization and presentation of ideas; many practical applications; a rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science; numerous brief historical accounts of how fundamental ideas of probability and induction developed; and a full bibliography of further reading.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru