Linking Game-Theoretical Approaches with Constructive Type Theory, Nicolas Clerbout; Shahid Rahman

Автор: E. Bishop; Douglas Bridges
Название: Constructive Analysis
ISBN: 364264905X ISBN-13(EAN): 9783642649059
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work grew out of Errett Bishop`s fundamental treatise `Founda- tions of Constructive Analysis` (FCA), which appeared in 1967 and which contained the bountiful harvest of a remarkably short period of research by its author.

Автор: F.L. Bauer; Manfred Broy; M. Broy; E.W. Dijkstra;
Название: Constructive Methods in Computing Science
ISBN: 3642748864 ISBN-13(EAN): 9783642748868
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988

Автор: Harold M. Edwards
Название: Essays in Constructive Mathematics
ISBN: 1489990186 ISBN-13(EAN): 9781489990181
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contents and treatment are fresh and very different from the standard treatmentsPresents a fully constructive version of what it means to do algebraThe exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader

Автор: Anna Horsk?
Название: Where is the G?del-point hiding: Gentzen`s Consistency Proof of 1936 and His Representation of Constructive Ordinals
ISBN: 3319021702 ISBN-13(EAN): 9783319021706
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains the first published consistency proof of PA. A notable aspect of the proof is the representation of ordinal numbers that was developed by Gentzen. The topic should interest researchers and students who work on proof theory, history of proof theory or Hilbert`s program and who do not mind reading mathematical texts.ГЇВїВЅ

Автор: F. Richman
Название: Constructive Mathematics
ISBN: 3540108505 ISBN-13(EAN): 9783540108504
Издательство: Springer
Рейтинг:
Цена: 5583.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Giovanni Sommaruga
Название: Foundational Theories of Classical and Constructive Mathematics
ISBN: 9400735618 ISBN-13(EAN): 9789400735613
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.

Автор: Quan-Lin Li
Название: Constructive Computation in Stochastic Models with Applications
ISBN: 3642114911 ISBN-13(EAN): 9783642114915
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides an algorithmic framework for numerical computation of many practical stochastic systems. This title summarizes important advances in computational study of stochastic models from several crucial directions, such as stationary computation, transient solution, asymptotic analysis, reward processes, decision processes, sensitivity analysis.

Автор: Vladimir F. Demyanov; Panos M. Pardalos; Mikhail B
Название: Constructive Nonsmooth Analysis and Related Topics
ISBN: 1461486149 ISBN-13(EAN): 9781461486145
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains papers from the International Conference on Constructive Nonsmooth Analysis (CNSA) held in St. Petersburg, Russia, June 2012. It explores this powerful instrument in applied mathematics.

Автор: Peter Schuster; Ulrich Berger; Horst Osswald
Название: Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
ISBN: 9048158850 ISBN-13(EAN): 9789048158850
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999

Автор: Ershov, I?U?rii? Leonidovich.
Название: Constructive models /
ISBN: 0306110660 ISBN-13(EAN): 9780306110665
Издательство: Springer
Рейтинг:
Цена: 45979.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work gives an exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some other researchers (in particular, Nerode and his colleagues).

Автор: Vladimir F. Demyanov; Panos M. Pardalos; Mikhail B
Название: Constructive Nonsmooth Analysis and Related Topics
ISBN: 1493946315 ISBN-13(EAN): 9781493946310
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains papers from the International Conference on Constructive Nonsmooth Analysis (CNSA) held in St. Petersburg, Russia, June 2012. It explores this powerful instrument in applied mathematics.

Автор: Buragga & Zaman
Название: Software Development Techniques For Constructive Information Systems Desig
ISBN: 1466636793 ISBN-13(EAN): 9781466636798
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 28413.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Software development and information systems design have a unique relationship, but are often discussed and studied independently. However, meticulous software development is vital for the success of an information system.<br><br><em>Software Development Techniques for Constructive Information Systems Design</em> focuses the aspects of information systems and software development as a merging process. This reference source pays special attention to the emerging research, trends, and experiences in this area which is bound to enhance the reader’s understanding of the growing and ever-adapting field. Academics, researchers, students, and working professionals in this field will benefit from this publication’s unique perspective.