Cantitate/Preț
Produs

Handbook of Computability Theory: Studies in Logic and the Foundations of Mathematics, cartea 140

Editat de E.R. Griffor
en Limba Engleză Hardback – oct 1999
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.
Citește tot Restrânge

Din seria Studies in Logic and the Foundations of Mathematics

Preț: 121166 lei

Preț vechi: 151457 lei
-20% Nou

Puncte Express: 1817

Preț estimativ în valută:
23187 24061$ 19381£

Carte tipărită la comandă

Livrare economică 15-29 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780444898821
ISBN-10: 0444898824
Pagini: 724
Dimensiuni: 156 x 234 x 40 mm
Greutate: 1.2 kg
Editura: ELSEVIER SCIENCE
Seria Studies in Logic and the Foundations of Mathematics


Cuprins

Part 1: Fundamentals of Computability Theory
Part 2: Reducibilities and Degrees
Part 3: Generalized Computability Theory
Part 4: Mathematics and Computability Theory
Part 5: Logic and Computability Theory
Part 6: Computer Science and Computability Theory