Mathematical Structures of Natural Intelligence, Yair Neuman
Автор: Paris Название: Pure Inductive Logic ISBN: 1107042305 ISBN-13(EAN): 9781107042308 Издательство: Cambridge Academ Рейтинг: Цена: 21226.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Walton Название: Burden of Proof, Presumption and Argumentation ISBN: 110767882X ISBN-13(EAN): 9781107678828 Издательство: Cambridge Academ Рейтинг: Цена: 3960.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Jan Krajicek Название: Proof Complexity ISBN: 1108416845 ISBN-13(EAN): 9781108416849 Издательство: Cambridge Academ Рейтинг: Цена: 21384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Yair Neuman Название: Mathematical Structures of Natural Intelligence ISBN: 3319682458 ISBN-13(EAN): 9783319682457 Издательство: Springer Рейтинг: Цена: 8803.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 11722.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 12670.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 9186.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 23734.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Plato Название: Elements of Logical Reasoning ISBN: 110761077X ISBN-13(EAN): 9781107610774 Издательство: Cambridge Academ Рейтинг: Цена: 3802.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
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 Рейтинг: Цена: 12355.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Larrazabal Название: Logic Colloquium `96 ISBN: 110716608X ISBN-13(EAN): 9781107166080 Издательство: Cambridge Academ Рейтинг: Цена: 17424.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents the proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
