Автор: 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.
Автор: Shapiro, Stewart Название: The Oxford Handbook of Philosophy of Mathematics and Logic ISBN: 0195325923 ISBN-13(EAN): 9780195325928 Издательство: Oxford Academ Рейтинг: Цена: 7681.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Philosophy of mathematics and logic remain central disciplines in contemporary philosophy. This volume covers these disciplines, giving the reader an overview of the major problems, positions, and battle lines. It is aimed at those wishing to learn about the philosophy of mathematics and the philosophy of logic.
Автор: D. Prawitz; Dag Westerst?hl Название: Logic and Philosophy of Science in Uppsala ISBN: 9048143659 ISBN-13(EAN): 9789048143658 Издательство: Springer Рейтинг: Цена: 43184.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science
Автор: Paulson Название: Logic and Computation ISBN: 0521395607 ISBN-13(EAN): 9780521395601 Издательство: Cambridge Academ Рейтинг: Цена: 8237.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
Автор: V??n?nen Название: Logic, Language, Information, and Computation ISBN: 3662529203 ISBN-13(EAN): 9783662529201 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.
The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
Автор: Margot Colinet; Sophia Katrenko; Rasmus K. Rendsvi Название: Pristine Perspectives on Logic, Language and Computation ISBN: 3662441152 ISBN-13(EAN): 9783662441152 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe.
Автор: Lev D. Beklemishev; Andreas Blass; Nachum Dershowi Название: Fields of Logic and Computation II ISBN: 3319235338 ISBN-13(EAN): 9783319235332 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.
Автор: Guo-Qiang Zhang; J. Lawson; Ying Ming Liu; M.K. Lu Название: Domain Theory, Logic and Computation ISBN: 1402018320 ISBN-13(EAN): 9781402018329 Издательство: Springer Рейтинг: Цена: 26552.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Domains are mathematical structures for information and approximation. This volume includes selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. The papers cover research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and more.
Автор: C. Anthony Anderson; Michael Zel?ny Название: Logic, Meaning and Computation ISBN: 9401038910 ISBN-13(EAN): 9789401038911 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Published in honor of the 60th birthday of Samson Abramsky, this book offers contributions by some of his colleagues, former students and friends, representing his manifold contributions to the disciplines of semantics, logic, games and quantum mechanics.
Автор: Paola Bonizzoni; Vasco Brattka; Benedikt L?we Название: The Nature of Computation: Logic, Algorithms, Applications ISBN: 3642390528 ISBN-13(EAN): 9783642390524 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013.
Описание: Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the twentieth century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
