Fundamentals of Discrete Math for Computer Science, Tom Jenkyns; Ben Stephenson
Автор: David Gries; Fred B. Schneider Название: A Logical Approach to Discrete Math ISBN: 1441928359 ISBN-13(EAN): 9781441928351 Издательство: Springer Рейтинг: Цена: 7615.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo- sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math- ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con- tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding.
Автор: S. Arumugam; Jay Bagga; Lowell W. Beineke; B.S. Pa Название: Theoretical Computer Science and Discrete Mathematics ISBN: 3319644181 ISBN-13(EAN): 9783319644189 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Roosevelt elk populate the parks along California`s north coast and comprise the largest land mammals in the parks. In a study spanning more than twenty years, Weckerly made key observations and conducted various investigations under a multitude of ecological conditions. Few authors have dedicated this much time and effort into a single research area.
Автор: Elena Barcucci; Andrea Frosini; Simone Rinaldi Название: Discrete Geometry for Computer Imagery ISBN: 331909954X ISBN-13(EAN): 9783319099545 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on Models for Discrete Geometry, Discrete and Combinatorial Topology, Geometric Transforms, Discrete Shape Representation, Recognition and Analysis, Discrete Tomography, Morphological Analysis, Discrete Modelling and Visualization, Discrete and Combinatorial Tools for Image Segmentation and Analysis.
Автор: Nicolas Normand; Jeanpierre Gu?don; Florent Autrus Название: Discrete Geometry for Computer Imagery ISBN: 3319323598 ISBN-13(EAN): 9783319323596 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thisbook constitutes the refereed proceedings of the 19th IAPR InternationalConference on Discrete Geometry for Computer Imagery, DGCI 2016, held in Nantes,France, in April 2016. discrete and combinatorial topology; models fordiscrete geometry; and discrete shape representation, recognition and analysis.
Название: Handbook of Graph Drawing and Visualization ISBN: 113803424X ISBN-13(EAN): 9781138034242 Издательство: Taylor&Francis Рейтинг: Цена: 8573.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Get an In-Depth Understanding of Graph Drawing Techniques, Algorithms, Software, and Applications
The Handbook of Graph Drawing and Visualization provides a broad, up-to-date survey of the field of graph drawing. It covers topological and geometric foundations, algorithms, software systems, and visualization applications in business, education, science, and engineering. Each chapter is self-contained and includes extensive references.
The first several chapters of the book deal with fundamental topological and geometric concepts and techniques used in graph drawing, such as planarity testing and embedding, crossings and planarization, symmetric drawings, and proximity drawings. The following chapters present a large collection of algorithms for constructing drawings of graphs, including tree, planar straight-line, planar orthogonal and polyline, spine and radial, circular, rectangular, hierarchical, and three-dimensional drawings as well as labeling algorithms, simultaneous embeddings, and force-directed methods. The book then introduces the GraphML language for representing graphs and their drawings and describes three software systems for constructing drawings of graphs: OGDF, GDToolkit, and PIGALE. The final chapters illustrate the use of graph drawing methods in visualization applications for biological networks, computer security, data analytics, education, computer networks, and social networks.
Edited by a pioneer in graph drawing and with contributions from leaders in the graph drawing research community, this handbook shows how graph drawing and visualization can be applied in the physical, life, and social sciences. Whether you are a mathematics researcher, IT practitioner, or software developer, the book will help you understand graph drawing methods and graph visualization systems, use graph drawing techniques in your research, and incorporate graph drawing solutions in your products.
Автор: Gordon J. Pace Название: Mathematics of Discrete Structures for Computer Science ISBN: 3642429882 ISBN-13(EAN): 9783642429880 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers the foundational mathematics necessary for courses in computer science.The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct.
Автор: Cristian S. Calude; Michael J. Dinneen; Vincent Va Название: Discrete Mathematics and Theoretical Computer Science ISBN: 3540405054 ISBN-13(EAN): 9783540405054 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The refereed proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science, DMTCS 2003, held in Dijon, France, in July 2003.The 18 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 35 submissions.
Описание: Object-Oriented Computer Simulation of Discrete-Event Systems offers a comprehensive presentation of a wide repertoire of computer simulation techniques available to the modelers of dynamic systems.
Автор: Rocio Gonzalez Diaz; Maria Jose Jimenez; Belen Gar Название: Discrete Geometry for Computer Imagery ISBN: 3642370667 ISBN-13(EAN): 9783642370663 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Stable length estimates of tube-like shapes.- The Complexity of Discrete Objects.- Optimal covering of a straight line applied to discrete convexity.- On dimension partitions in discrete metric spaces.- Walking in the Farey fan to Compute the Characteristics of a Discrete Straight Line Subsegment.- Persistent patterns in integer discrete circles.- Comparison of Point Clouds Acquired by 3d Scanner.- Generalized Simple Surface Points.- A parallel thinning algorithm for grayscale images.- New structures based on completions.- Asymptotic Analysis and Random Sampling of Digitally Convex Polyominoes.- Extremal connectedness of thin arithmetical discrete planes.- From the zones of influence of skeleton branch points to meaningful object parts.- Sufficient conditions for topological invariance of 2D images under rigid transformations.- The persistence space in multidimensional persistent homology.- Skeleton extraction of vertex sets lying on arbitrary triangulated 3D meshes.- Arc recognition on irregular isothetic grids and its application to reconstruction of noisy digital contour.- Reconstruction of quantitative properties from X-rays.- How to decompose a binary matrix into three convex polyominoes.- A method for feature detection in binary tomography.
Автор: Srecko Brlek; Christophe Reutenauer; Xavier Proven Название: Discrete Geometry for Computer Imagery ISBN: 3642043968 ISBN-13(EAN): 9783642043963 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2009, held in Montreal, Canada, in September/October 2009. The papers are organized in topical sections on discrete shape, representation, recognition and analysis;
Автор: Ralf Klasing; Marc Zeitoun Название: Fundamentals of Computation Theory ISBN: 3662557509 ISBN-13(EAN): 9783662557501 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions.
Автор: Adrian Kosowski; Igor Walukiewicz Название: Fundamentals of Computation Theory ISBN: 3319221760 ISBN-13(EAN): 9783319221762 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdansk, Poland, in August 2015. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
