Автор: Daniel J. Velleman Название: How to Prove It : A Structured Approach ISBN: 1108439535 ISBN-13(EAN): 9781108439534 Издательство: Cambridge Academ Рейтинг: Цена: 5861.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text`s third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and over 150 new exercises.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108411398 ISBN-13(EAN): 9781108411394 Издательство: Cambridge Academ Рейтинг: Цена: 4434.00 р. Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.
Автор: Li, Fanzhang / Zhang, Li / Zhang, Zhao Название: Dynamic Fuzzy Machine Learning ISBN: 3110518708 ISBN-13(EAN): 9783110518702 Издательство: Walter de Gruyter Рейтинг: Цена: 22439.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Machine learning is widely used for data analysis. Dynamic fuzzy data are one of the most difficult types of data to analyse in the field of big data, cloud computing, the Internet of Things, and quantum information. At present, the processing of this kind of data is not very mature. The authors carried out more than 20 years of research, and show in this book their most important results. The seven chapters of the book are devoted to key topics such as dynamic fuzzy machine learning models, dynamic fuzzy self-learning subspace algorithms, fuzzy decision tree learning, dynamic concepts based on dynamic fuzzy sets, semi-supervised multi-task learning based on dynamic fuzzy data, dynamic fuzzy hierarchy learning, examination of multi-agent learning model based on dynamic fuzzy logic. This book can be used as a reference book for senior college students and graduate students as well as college teachers and scientific and technical personnel involved in computer science, artificial intelligence, machine learning, automation, data analysis, mathematics, management, cognitive science, and finance. It can be also used as the basis for teaching the principles of dynamic fuzzy learning.
Автор: Reingold, Edward M. (illinois Institute Of Technology) Dershowitz, Nachum (tel-aviv University) Название: Calendrical calculations ISBN: 1107683165 ISBN-13(EAN): 9781107683167 Издательство: Cambridge Academ Рейтинг: Цена: 6018.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This unique resource now includes coverage of Unix dates, Italian time, the Akan, Icelandic, Saudi Arabian Umm al-Qura, Babylonian, Samaritan, and Nepalese calendars, plus expanded treatments of Islamic and Hebrew calendars. The astronomical functions have been rewritten for more accurate results and include calculations of moonrise and moonset.
Автор: Tor Lattimore, Csaba Szepesvari Название: Bandit Algorithms ISBN: 1108486827 ISBN-13(EAN): 9781108486828 Издательство: Cambridge Academ Рейтинг: Цена: 6970.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Decision-making in the face of uncertainty is a challenge in machine learning, and the multi-armed bandit model is a common framework to address it. This comprehensive introduction is an excellent reference for established researchers and a resource for graduate students interested in exploring stochastic, adversarial and Bayesian frameworks.
Автор: Faith Ellen; Antonina Kolokolova; J?rg-R?diger Sac Название: Algorithms and Data Structures ISBN: 3319621262 ISBN-13(EAN): 9783319621265 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th Algorithms and Data Structures Symposium, WADS 2017, held in St. John`s, NL, Canada, in July/August 2017. The 49 full papers presented together with 3 abstracts of invited talks were carefully reviewed and selected from 109 submissions.
Автор: Abel Gomes; Irina Voiculescu; Joaquim Jorge; Brian Название: Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms ISBN: 1447158776 ISBN-13(EAN): 9781447158776 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In presenting the mathematics, computational methods and data structures, as well as the algorithms needed to render implicit curves and surfaces, the authors show how implicit objects can easily describe smooth, intricate, and shapes that articulate.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108420060 ISBN-13(EAN): 9781108420068 Издательство: Cambridge Academ Рейтинг: Цена: 14254.00 р. Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.
Автор: Burkhard Monien; Thomas Ottmann Название: Data Structures and Efficient Algorithms ISBN: 3540554882 ISBN-13(EAN): 9783540554882 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a series of research papers which address fundamental data structures, computational geometry, graph algorithms, computer graphics, spatial databases, the design of parallel architectures and routeing strategies and the design of distributed algorithms for solving problems.
Автор: Fenstad Название: Structures and Algorithms ISBN: 331972973X ISBN-13(EAN): 9783319729732 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1.Preface.- 2.Introduction.- 3.Mathematics and the nature of knowledge - an introductory essay.- 4.The miraculous left hand - Leonardo and the nature of knowledge.- 5.Relationships between the social and natural sciences.- 6.Changes in the knowledge system and their implications for the formative stage of scholars.- 7.Remarks on the science and technology of language.- 8.How mathematics is rooted in life.- 9.Tarski, truth and natural languages.- 10.Formal semantics, geometry and mind.- 11.Discours, Interaction and Communication.- 12.On what there is - infinitesimals and the nature of numbers.
Автор: Andrej Brodnik; Alejandro Lopez-Ortiz; Venkatesh R Название: Space-Efficient Data Structures, Streams, and Algorithms ISBN: 3642402720 ISBN-13(EAN): 9783642402722 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: ГЇВїВЅ This Festschrift volume, published in honor of J. Ian Munro, presents a good overall perspective of the last 40 years of research in algorithms and data structures. It also explores the future prospects in algorithm research.
Автор: Goldreich, Oded (weizmann Institute Of Science, Israel) Название: Introduction to property testing ISBN: 1107194059 ISBN-13(EAN): 9781107194052 Издательство: Cambridge Academ Рейтинг: Цена: 12989.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An extensive and authoritative introduction to property testing, the study of super-fast algorithms for the structural analysis of large quantities of data in order to determine global properties. This book can be used both as a reference book and a textbook, and includes numerous exercises.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
