Mathematical Structures of Natural Intelligence, Yair Neuman
Автор: Plato Название: Elements of Logical Reasoning ISBN: 110761077X ISBN-13(EAN): 9781107610774 Издательство: Cambridge Academ Рейтинг: Цена: 25350.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Автор: Walton Название: Burden of Proof, Presumption and Argumentation ISBN: 110767882X ISBN-13(EAN): 9781107678828 Издательство: Cambridge Academ Рейтинг: Цена: 26400.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book explains how burden of proof and presumption work as powerful devices in argumentation, based on studying many clearly explained legal and non-legal examples.
Автор: Yair Neuman Название: Mathematical Structures of Natural Intelligence ISBN: 3319682458 ISBN-13(EAN): 9783319682457 Издательство: Springer Рейтинг: Цена: 58690.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book uncovers mathematical structures underlying natural intelligence and applies category theory as a modeling language for understanding human cognition, giving readers new insights into the nature of human thought.
Автор: Tecuci Название: Knowledge Engineering ISBN: 1107122562 ISBN-13(EAN): 9781107122567 Издательство: Cambridge Academ Рейтинг: Цена: 78150.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents a significant advancement in knowledge engineering based on learning agent technology. Using the software Disciple-EBR, students, practitioners, and researchers can rapidly develop learning assistants in numerous domains that require evidence-based reasoning, including cyber security, law, forensics, medicine, and education.
Автор: Walton Название: Goal-based Reasoning for Argumentation ISBN: 1107119049 ISBN-13(EAN): 9781107119048 Издательство: Cambridge Academ Рейтинг: Цена: 84470.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Practical argumentation is intelligent reasoning from an agent`s goals and known circumstances, and from an action selected as a means, to arrive at a decision on what action to take. This book will appeal to a wide audience, from designers of multi-agent and robotics systems to social scientists.
Автор: J.-J. Ch. Meyer, W. van der Hoek Название: Epistemic Logic for AI and Computer Science ISBN: 0521602807 ISBN-13(EAN): 9780521602808 Издательство: Cambridge Academ Рейтинг: Цена: 61240.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.
Автор: B. V. Senthil Kumar, Hemen Dutta Название: Discrete Mathematical Structures: A Succinct Foundation ISBN: 0367148692 ISBN-13(EAN): 9780367148690 Издательство: Taylor&Francis Рейтинг: Цена: 158230.00 T Наличие на складе: Нет в наличии. Описание: Discrete mathematical Structures are very essential for many fields of study. This book is designed as an introductory book that will provide a sufficient number of solved examples, to motivate the reader to solve similar types of problems.
Автор: Paris Название: Pure Inductive Logic ISBN: 1107042305 ISBN-13(EAN): 9781107042308 Издательство: Cambridge Academ Рейтинг: Цена: 141510.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book establishes pure inductive logic as a contemporary branch of mathematical logic. Collecting together research from a wide range of sources within one unified context, it provides both a comprehensive account of the subject up to cutting-edge modern research, and an accessible reference for the philosopher or computer scientist.
Автор: Jan Krajicek Название: Proof Complexity ISBN: 1108416845 ISBN-13(EAN): 9781108416849 Издательство: Cambridge Academ Рейтинг: Цена: 142560.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Suitable for doctoral students and researchers in mathematics and theoretical computer science.
Автор: Gуmez Ramнrez Danny A. J. Название: Artificial Mathematical Intelligence: Cognitive, (Meta)Mathematical, Physical and Philosophical Foundations ISBN: 3030502724 ISBN-13(EAN): 9783030502720 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 1. Global Introduction to the Artificial Mathematical Intelligence General Program.- 2. Some Basic Technical (Meta-)Mathematical Preliminaries for Cognitive Mathematics.- Part I. New Cognitive Foundations for Mathematics.- 3. General Considerations for the New Cognitive Foundations' Program.- 4. Towards the (Cognitive) Reality of Mathematics and the Mathematics of (Cognitive) Reality).- 5. The Physical Numbers.- 6. Dathematics: A Meta-Isomorphic Version of "Standard" Mathematics Based on Proper Classes.- Part II. Global Taxonomy of the Fundamental Cognitive Mathematical Mechanisms Used in Mathematical Research.- 7. Conceptual Blending in Mathematical Creation/Invention.- 8. Formal Analogical Reasoning in Concrete Mathematical Research.- 9. Conceptual Substratum.- 10. (Initial) Global Taxonomy of the Most Fundamental Cognitive Mechanisms Used in Mathematical Creation/Invention.- Part III. Toward a Universal Meta-Modeling of Mathematical Creation/Invention.- 11. Meta-Modeling of Classic and Modern Mathematical Proofs and Concepts.- 12. The Most Outstanding (Future) Challenges Toward Global AMI and its Plausible Extensions.
This book brings together a rich selection of studies in mathematical modeling and computational intelligence, with application in several fields of engineering, like automation, biomedical, chemical, civil, electrical, electronic, geophysical and mechanical engineering, on a multidisciplinary approach. Authors from five countries and 16 different research centers contribute with their expertise in both the fundamentals and real problems applications based upon their strong background on modeling and computational intelligence. The reader will find a wide variety of applications, mathematical and computational tools and original results, all presented with rigorous mathematical procedures. This work is intended for use in graduate courses of engineering, applied mathematics and applied computation where tools as mathematical and computational modeling, numerical methods and computational intelligence are applied to the solution of real problems.
Автор: Plato Название: Elements of Logical Reasoning ISBN: 1107036593 ISBN-13(EAN): 9781107036598 Издательство: Cambridge Academ Рейтинг: Цена: 82370.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
