How to Prove It : A Structured Approach, Daniel J. Velleman

Автор: 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.

Автор: Saccoman John T., Suffel Charles L., Gross Daniel
Название: Spanning Tree Results for Graphs and Multigraphs: A Matrix-Theoretic Approach
ISBN: 9814566039 ISBN-13(EAN): 9789814566032
Издательство: World Scientific Publishing
Рейтинг:
Цена: 11246.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book is concerned with the optimization problem of maximizing the number of spanning trees of a multigraph. Since a spanning tree is a minimally connected subgraph, graphs and multigraphs having more of these are, in some sense, immune to disconnection by edge failure. We employ a matrix-theoretic approach to the calculation of the number of spanning trees.

The authors envision this as a research aid that is of particular interest to graduate students or advanced undergraduate students and researchers in the area of network reliability theory. This would encompass graph theorists of all stripes, including mathematicians, computer scientists, electrical and computer engineers, and operations researchers.

Errata(s)

Автор: Dawson Jr. John W.
Название: Why Prove it Again?
ISBN: 3319173677 ISBN-13(EAN): 9783319173672
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Each chapter that follows provides a detailed case study of alternative proofs for particular theorems, including the Pythagorean Theorem, the Fundamental Theorem of Arithmetic, Desargues` Theorem, the Prime Number Theorem, and the proof of the irreducibility of cyclotomic polynomials.Why Prove It Again?

Автор: 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;

Автор: Stanic, Zoran,
Название: Regular Graphs A spectral Approach
ISBN: 3110351285 ISBN-13(EAN): 9783110351286
Издательство: Walter de Gruyter
Цена: 15532.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Written for mathematicians working with the theory of graph spectra, this (primarily theoretical) book presents relevant results considering the spectral properties of regular graphs. The book begins with a short introduction including necessary terminology and notation. The author then proceeds with basic properties, specifi ed subclasses of regular graphs (like distance-regular graphs, strongly regular graphs, various designs or expanders) and determining particular regular graphs. Each chapter contains detailed proofs, discussions, comparisons, examples, exercises and also indicates possible applications. Finally, the author also includes some conjectures and open problems to promote further research.

Автор: Watson, Des
Название: Practical approach to compiler construction
ISBN: 3319527878 ISBN-13(EAN): 9783319527871
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Programming language analysis and translation techniques are used in many software application areas.A Practical Approach to Compiler Construction covers the fundamental principles of the subject in an accessible way.