Structures and Algorithms, Jens Erik Fenstad

Автор: Daniel J. Velleman
Название: How to Prove It : A Structured Approach
ISBN: 1108439535 ISBN-13(EAN): 9781108439534
Издательство: Cambridge Academ
Рейтинг:
Цена: 39070.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Ivan Stanimirovic?
Название: Hybrid Algorithms, Techniques and Implementations of Fuzzy Logic
ISBN: 1773613790 ISBN-13(EAN): 9781773613796
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 164470.00 T
Наличие на складе: Невозможна поставка.
Описание: Explores various aspects of Fuzzy logic, including an extensive overview of hybrid algorithms, techniques and implementations. The book includes definitions of evolutionary computation and fuzzy systems, ideologies and strategies.

Автор: Peter Smith
Название: An Introduction to Formal Logic
ISBN: 1108420060 ISBN-13(EAN): 9781108420068
Издательство: Cambridge Academ
Рейтинг:
Цена: 95030.00 T
Наличие на складе: Нет в наличии.
Описание: 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.

Автор: Peter Smith
Название: An Introduction to Formal Logic
ISBN: 1108411398 ISBN-13(EAN): 9781108411394
Издательство: Cambridge Academ
Рейтинг:
Цена: 29560.00 T
Наличие на складе: Нет в наличии.
Описание: 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.

Автор: Jin-Yi Cai, Xi Chen
Название: Complexity Dichotomies for Counting Problems: Volume 1, Boolean Domain
ISBN: 1107062373 ISBN-13(EAN): 9781107062375
Издательство: Cambridge Academ
Рейтинг:
Цена: 155230.00 T
Наличие на складе: Невозможна поставка.
Описание: Complexity theory aims to understand and classify computational problems according to their inherent complexity. This book uses new techniques to expand the theory for use with counting problems on the Boolean domain and is broadly accessible to researchers and graduate students.

Автор: Tor Lattimore, Csaba Szepesvari
Название: Bandit Algorithms
ISBN: 1108486827 ISBN-13(EAN): 9781108486828
Издательство: Cambridge Academ
Рейтинг:
Цена: 46470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Burkhard Monien; Thomas Ottmann
Название: Data Structures and Efficient Algorithms
ISBN: 3540554882 ISBN-13(EAN): 9783540554882
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Faith Ellen; Antonina Kolokolova; J?rg-R?diger Sac
Название: Algorithms and Data Structures
ISBN: 3319621262 ISBN-13(EAN): 9783319621265
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Fenstad
Название: Structures and Algorithms
ISBN: 331972973X ISBN-13(EAN): 9783319729732
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Abel Gomes; Irina Voiculescu; Joaquim Jorge; Brian
Название: Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
ISBN: 1447158776 ISBN-13(EAN): 9781447158776
Издательство: Springer
Рейтинг:
Цена: 65170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Andrej Brodnik; Alejandro Lopez-Ortiz; Venkatesh R
Название: Space-Efficient Data Structures, Streams, and Algorithms
ISBN: 3642402720 ISBN-13(EAN): 9783642402722
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: ГЇВїВЅ 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
Рейтинг:
Цена: 86590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.