Описание: This book outlines the core theory and practice of data mining and knowledge discovery (DM & KD) examining theoretical foundations for various methods, and presenting an array of examples, many drawn from real-life applications.
Автор: Art Quaife Название: Automated Development of Fundamental Mathematical Theories ISBN: 0792320212 ISBN-13(EAN): 9780792320210 Издательство: Springer Рейтинг: Цена: 30467.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover Otter. Here, the author presents a clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semi-automatically in elementary set theory.
Автор: Aubert Название: Mathematical Problems in Image Processing ISBN: 0387322000 ISBN-13(EAN): 9780387322001 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The updated 2nd edition of this book presents a variety of image analysis applications, reviews their precise mathematics and shows how to discretize them. For the mathematical community, the book shows the contribution of mathematics to this domain, and highlights unsolved theoretical questions.
Автор: J?rgen Kiefer Название: Quantitative Mathematical Models in Radiation Biology ISBN: 3540504532 ISBN-13(EAN): 9783540504535 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It is hoped that a generally acceptable formalism will help to quantify radiation responses, both in radiation protection and radiation therapy, and make it possible to move from a purely empirical approach with all its fallacies to real understanding.
Автор: Hantao Zhang Название: Automated Mathematical Induction ISBN: 0792340108 ISBN-13(EAN): 9780792340102 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof.
Автор: Gunderson Название: Handbook Of Mathematical Induction ISBN: 113819901X ISBN-13(EAN): 9781138199019 Издательство: Taylor&Francis Рейтинг: Цена: 7961.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics.
In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces ordinals and cardinals, transfinite induction, the axiom of choice, Zorn's lemma, empirical induction, and fallacies and induction. He also explains how to write inductive proofs.
The next part contains more than 750 exercises that highlight the levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction. Each self-contained chapter in this section includes the necessary definitions, theory, and notation and covers a range of theorems and problems, from fundamental to very specialized.
The final part presents either solutions or hints to the exercises. Slightly longer than what is found in most texts, these solutions provide complete details for every step of the problem-solving process.
Автор: Chung-ying Cheng Название: Peirce`s and Lewis`s Theories of Induction ISBN: 9401185980 ISBN-13(EAN): 9789401185981 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Williams and that in Lewis by Professor Roderick Firth. Specifically, I wish to acknowledge Professor Williams for his patient and careful criticisms of the original manuscripts of this book. I also wish to thank Professor Firth and Professor Israel Scheffler for their many suggestive comments regarding my discussions of induc- tion.
Автор: F. Stadler Название: Induction and Deduction in the Sciences ISBN: 9048165555 ISBN-13(EAN): 9789048165551 Издательство: Springer Рейтинг: Цена: 27245.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The volume contains contributions on methods of the sciences, especially on induction, deduction, abduction, laws, probability and explanation, ranging from logic, mathematics, natural to the social sciences.
Автор: Mich?le Friend; Norma B. Goethe; Valentina S. Hari Название: Induction, Algorithmic Learning Theory, and Philosophy ISBN: 9048175445 ISBN-13(EAN): 9789048175444 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book to collect essays from philosophers, mathematicians and computer scientists working at the exciting interface of algorithmic learning theory and the epistemology of science and inductive inference.
Автор: Antoni Kreczmar; Grazyna Mirkowska Название: Mathematical Foundations of Computer Science 1989 ISBN: 3540514864 ISBN-13(EAN): 9783540514862 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS `89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989.
Автор: P.A. Flach; Antonis Hadjiantonis Название: Abduction and Induction ISBN: 0792362500 ISBN-13(EAN): 9780792362500 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which is called as abduction and induction. This book addresses the relationship between abduction and induction and their possible integration, and is for philosophers, logicians, and AI researchers.
Автор: Mich?le Friend; Norma B. Goethe; Valentina S. Hari Название: Induction, Algorithmic Learning Theory, and Philosophy ISBN: 1402061269 ISBN-13(EAN): 9781402061264 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes essays that provide engaging surveys of different, complementary, and mutually inspiring approaches to the topic of algorithmic learning theory and the epistemology of science, both from a philosophical and a mathematical viewpoint.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
