The Calculus of Braids
Patrick Dehornoy
₹5,052
Complexité Et Décidabilité
₹4,569
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le premier théorème d'incomplétude de Gödel. En faisant reposer toutes les preuves sur le codage de l'arrêt d'une machine de Turing, on a souligné l'homogénéité et l'unité profonde des résultats presentés.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540568995
- ISBN-10
- 3540568999
- Author
- Patrick Dehornoy
- Publisher
- Springer
- Condition
- New
More by Patrick Dehornoy and related titles
Intermediate Dynamics
R. a. Howland
₹2,030
Public Goods
Raymond G. Batina, Toshihiro Ihori
₹4,335
Psychology of Liberation
Maritza Montero, Christopher C. Sonn
₹4,822
Optical Data Storage
Erwin R. Meinders, Andrei V. Mijiritskii, Liesbeth Van Pieterson
₹5,208
Schizophrene Verläufe
W. Janzarik
₹3,873
Mut Zur Typographie
Juergen Gulbins, Christine Kahrmann, Jurgen Gulbins
₹3,141
DNA Computing and Molecular Programming
Luca Cardelli, William Shih
₹5,483
Machine Learning Challenges
Joaquin Quinonero-Candela, Ido Dagan, Bernardo Magnini
₹5,615
Logic Programming '88
Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
₹5,506
Neural Information Processing
Chi-Sing Leung, Minho Lee, Jonathan H. Chan
₹4,835
Stanztechnik
Walter Sellin, H. Haake
₹3,508