Logic, Computation, Hierarchies

Logic, Computation, Hierarchies
Author :
Publisher : Walter de Gruyter GmbH & Co KG
Total Pages : 389
Release :
ISBN-10 : 9781614519409
ISBN-13 : 1614519404
Rating : 4/5 (404 Downloads)

Book Synopsis Logic, Computation, Hierarchies by : Vasco Brattka

Download or read book Logic, Computation, Hierarchies written by Vasco Brattka and published by Walter de Gruyter GmbH & Co KG. This book was released on 2014-09-04 with total page 389 pages. Available in PDF, EPUB and Kindle. Book excerpt: Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.

Logic, Computation, Hierarchies Related Books

Logic, Computation, Hierarchies
Language: en
Pages: 389
Authors: Vasco Brattka
Categories: Philosophy
Type: BOOK - Published: 2014-09-04 - Publisher: Walter de Gruyter GmbH & Co KG

GET EBOOK

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applicatio
The Cultural Logic of Computation
Language: en
Pages: 276
Authors: David Golumbia
Categories: Computers
Type: BOOK - Published: 2009-04-30 - Publisher: Harvard University Press

GET EBOOK

Advocates of computers make sweeping claims for their inherently transformative power: new and different from previous technologies, they are sure to resolve ma
A Computational Logic
Language: en
Pages: 414
Authors: Robert S. Boyer
Categories: Mathematics
Type: BOOK - Published: 2014-06-25 - Publisher: Academic Press

GET EBOOK

ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalit
Complexity of Constraints
Language: en
Pages: 326
Authors: Nadia Creignou
Categories: Computers
Type: BOOK - Published: 2008-12-23 - Publisher: Springer

GET EBOOK

Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems t
Classical and New Paradigms of Computation and their Complexity Hierarchies
Language: en
Pages: 266
Authors: Benedikt Löwe
Categories: Computers
Type: BOOK - Published: 2007-11-04 - Publisher: Springer Science & Business Media

GET EBOOK

The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a