Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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: 143.95 EUR
Availability: InStock
Author: Eugenio G. Omodeo
ISBN: 9783319418414

Eugenio G. Omodeo

Alberto Policriti

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 12580425

Nakladateľstvo Springer International Publishing AG, február 2017

This book presents a set of historical recollections on the work of Martin Davis and his role in adv... Celý popis

Libristo kód: 12580425

349 b

143.95 €

Skladom u dodávateľa Odosielame za 10-13 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Im Kopf von Sherlock Holmes Benoit Dahan

Pevná

23.65 €

Zugeflogen Alexandra Lünskens

Brožovaná

9.09 €

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

Brožovaná

23.85 €

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

Brožovaná

63.98 €

Douro-Tal Christopher Pfaff

Brožovaná

12.63 €

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

Brožovaná

42.05 €

Spotify Jonas Leijonhufvud

Pevná

11.41 €

Cemile Ile Okuma Yazma Ögreniyorum Aline De Petingy

Brožovaná

14.14 €

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

Brožovaná

26.88 €

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

Brožovaná

24.05 €

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

Brožovaná

13.84 €

Cyrkiel GR-C101

Papierenský tovar

3.12 €

Les tortugues de l'avia Pere Martí i Bertran

Brožovaná

9.59 €

Atlas der Syphilis und der venerischen Krankheiten Franz Mracek

Brožovaná

27.69 €

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.?