Cantitate/Preț
Produs

Computations in Higher Types: Lecture Notes in Mathematics, cartea 574

Autor J. Moldestad
en Limba Engleză Paperback – mar 1977

Din seria Lecture Notes in Mathematics

Preț: 31160 lei

Puncte Express: 467

Carte tipărită la comandă

Livrare economică 15-29 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9783540081326
ISBN-10: 3540081321
Pagini: 216
Ilustrații: VIII, 208 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.31 kg
Ediția:1977
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Abstract.- The computation domain.- Recursion on ?.- Connection with Kleene recursion in higher types.- Recursion in normal lists on ?.- Kleene recursion in normal objects of type n+2, n>0.- Computation theories on ?.- Abstract Kleene theories.- Normal computation theories on ?.- More about Mahloness.- Calculation of the lengths of some computations.- Gaps.- On platek: “Foundations of recursion theory”.- A final comment concerning the two types.