Physical Computation, Piccinini Gualtiero

Автор: Mertens Stephan, Moore Cristopher
Название: The Nature of Computation
ISBN: 0199233217 ISBN-13(EAN): 9780199233212
Издательство: Oxford Academ
Рейтинг:
Цена: 12989.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount of time or memory, and what cannot be computed at all? How will quantum physics change the landscape of computation? This book gives a playful and accessible introduction to the deep ideas of theoretical computer science.

Автор: Simmons
Название: Derivation and Computation
ISBN: 0521771730 ISBN-13(EAN): 9780521771733
Издательство: Cambridge Academ
Рейтинг:
Цена: 21226.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.

Автор: Johan van Benthem; Amitabha Gupta; Rohit Parikh
Название: Proof, Computation and Agency
ISBN: 9400735812 ISBN-13(EAN): 9789400735811
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called `social software`, which studies patterns of social interaction using techniques from logic and computer science.