Автор: Aubert Название: Mathematical Problems in Image Processing ISBN: 0387322000 ISBN-13(EAN): 9780387322001 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Hantao Zhang Название: Automated Mathematical Induction ISBN: 0792340108 ISBN-13(EAN): 9780792340102 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 53070.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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.
Автор: P.A. Flach; Antonis Hadjiantonis Название: Abduction and Induction ISBN: 0792362500 ISBN-13(EAN): 9780792362500 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Chung-ying Cheng Название: Peirce`s and Lewis`s Theories of Induction ISBN: 9401185980 ISBN-13(EAN): 9789401185981 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 181630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Evangelos Triantaphyllou; Giovanni Felici Название: Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques ISBN: 1441941738 ISBN-13(EAN): 9781441941732 Издательство: Springer Рейтинг: Цена: 222670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Mich?le Friend; Norma B. Goethe; Valentina S. Hari Название: Induction, Algorithmic Learning Theory, and Philosophy ISBN: 9048175445 ISBN-13(EAN): 9789048175444 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Mich?le Friend; Norma B. Goethe; Valentina S. Hari Название: Induction, Algorithmic Learning Theory, and Philosophy ISBN: 1402061269 ISBN-13(EAN): 9781402061264 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Krzysztof Gr?bczewski Название: Meta-Learning in Decision Tree Induction ISBN: 3319009591 ISBN-13(EAN): 9783319009599 Издательство: Springer Рейтинг: Цена: 148020.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book discusses decision tree induction, reviewing techniques used in decision tree learning, and ensemble methods that involve decision trees. The second half reviews meta-learning approaches, including many that provide a ranking of algorithms.
Автор: Krzysztof Gr?bczewski Название: Meta-Learning in Decision Tree Induction ISBN: 331937723X ISBN-13(EAN): 9783319377230 Издательство: Springer Рейтинг: Цена: 130590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book discusses decision tree induction, reviewing techniques used in decision tree learning, and ensemble methods that involve decision trees. The second half reviews meta-learning approaches, including many that provide a ranking of algorithms.
Автор: Art Quaife Название: Automated Development of Fundamental Mathematical Theories ISBN: 0792320212 ISBN-13(EAN): 9780792320210 Издательство: Springer Рейтинг: Цена: 203110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
