Автор: Mertens Stephan, Moore Cristopher Название: The Nature of Computation ISBN: 0199233217 ISBN-13(EAN): 9780199233212 Издательство: Oxford Academ Рейтинг: Цена: 86590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 141510.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
