Political Arithmetic, Fogel, Fogel Robert William, Fogel Enid M.

Автор: Petr Hajek
Название: Metamathematics of First-Order Arithmetic
ISBN: 1107168414 ISBN-13(EAN): 9781107168411
Издательство: Cambridge Academ
Рейтинг:
Цена: 16743.00 р. 23918.00 -30%
Наличие на складе: Есть (1 шт.)
Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.

Автор: Pallaschke D., Urbanski R.
Название: Pairs of Compact Convex Sets / Fractional Arithmetic with Convex Sets
ISBN: 1402009380 ISBN-13(EAN): 9781402009389
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Deals with the theory of pairs of compact convex sets. This book also talks about the problem of finding different types of minimal representants of a pair of nonempty compact convex subsets of a locally convex vector space in the sense of the Radstrom-Hormander Theory.

Автор: Deschamps
Название: Guide to FPGA Implementation of Arithmetic Functions
ISBN: 9400729863 ISBN-13(EAN): 9789400729865
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is designed both for FPGA users interested in developing new, specific components - generally for reducing execution times –and IP core designers interested in extending their catalog of specific components.  The main focus is circuit synthesis and the discussion shows, for example, how a given algorithm executing some complex function can be translated to a synthesizable circuit description, as well as which are the best choices the designer can make to reduce the circuit cost, latency, or power consumption.  This is not a book on algorithms.  It is a book that shows how to translate efficiently an algorithm to a circuit, using techniques such as parallelism, pipeline, loop unrolling, and others.  Numerous examples of FPGA implementation are described throughout this book and the circuits are modeled in VHDL. Complete and synthesizable source files are available for download.