Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

EUGENIO G. OMODEO

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 19534683

Nakladatelství Springer International Publishing AG, květen 2018

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

Libristo kód: 19534683

265 b

2 646 Kč

Skladem u dodavatele v malém množství Odesíláme za 11-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Kampf um die Herrschaft des Rechts in den internationalen Beziehungen - Dag Hammarskjoelds Vermachtnis Erich Kussbach

Pevná

615 Kč

Making Radical Disciples - Participant - Tamil Edition: A Manual to Facilitate Training Disciples in House Churches, Small Groups, and Discipleship Gr Daniel B Lancaster

Brožovaná

154 Kč

Ich war selbst fast noch ein Kind Dorothe Reichling

Brožovaná

334 Kč

Tableaux Anciens Et Modernes de Diverses Ecoles, Sa Majeste Guillaume II (Ed.1850) W Willems

Brožovaná

445 Kč

La mélancolie de celui qui vise juste Lewis NORDAN

Pevná

612 Kč

Todo lo que no te dije Cortés Muriel

Brožovaná

432 Kč

Un instant sur la terre SEOHA LIM

Pevná

472 Kč

World of Warcraft Nové příchutě Azerothu Chelsea Monroe Cassel

Pevná

480 Kč

Terminologie (II): Comparaisons, Transferts, (In)Traductions Jean-Jacques Briu

Brožovaná

1 464 Kč

Zeitaufwand für Verbesserungen in der Bauindustrie Kamyar Kabirifar

Brožovaná

1 339 Kč

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.