Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Name: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Brand: Springer International Publishing AG
SKU: 12580425
Price: 151.37 EUR
Availability: InStock
Author: Eugenio G. Omodeo
ISBN: 9783319418414

Eugenio G. Omodeo

Alberto Policriti

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 12580425

Editoras Springer International Publishing AG, fevereiro 2017

This book presents a set of historical recollections on the work of Martin Davis and his role in adv... Descrição completa

Código Libristo: 12580425

368 b

151.37 €

Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Im Kopf von Sherlock Holmes Benoit Dahan

Livro de capa dura

24.98 €

Zugeflogen Alexandra Lünskens

Capa mole

9.67 €

Distances de sécurité et dépassement Gilliéron

Capa mole

22.97 €

Influencia del liderazgo directivo en la satisfaccion laboral docente Martha Cristina Zumaran Chiclayo

Capa mole

67.51 €

Douro-Tal Christopher Pfaff

Capa mole

13.39 €

Traite de Thermometrie Medicale Comprenant Les Abaissements de Temperature, Algidite Centrale Paul Redard

Capa mole

43.93 €

Spotify Jonas Leijonhufvud

Livro de capa dura

13.70 €

Cemile Ile Okuma Yazma Ögreniyorum Aline De Petingy

Capa mole

13.39 €

BABADADA, Afrikaans - Dansk, geillustreerde woordeboek - billedordbog Babadada Gmbh

Capa mole

28.21 €

Histoire de l'Empereur Napoleon Ier Bordot-J-G

Capa mole

25.19 €

Mission de Madagascar-Centre. Quinze jours a Alasoura Monseigneur De Saune

Capa mole

14.50 €

Cyrkiel GR-C101

Artigos de papelaria

2.91 €

Les tortugues de l'avia Pere Martí i Bertran

Capa mole

10.17 €

Atlas der Syphilis und der venerischen Krankheiten Franz Mracek

Capa mole

29.22 €

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem.??The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.?