Ancien livre de biblioth�que. Tome 1. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations.

N� de r�f. du vendeur E-554-939

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Recursion Theory
�diteur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date de parution: 2013
Langue: anglais
ISBN � 10 chiffres: 3540570934
ISBN � 13 chiffres: 9783540570936
Reliure: Softcover
�tat de l'article: Tr�s bon

A propos de ce titre

Synopsis

These notes originated in a one semester course given several times at Duke University. Students were generally graduate students in mathematics or computer science. They were expected to have a considerable degree of mathematical maturity. While there were no specific prerequisites, it was desirable that the student has some knowledge of elementary logic and computer programming. To appreciate some of the applications, it was desirable to have at least a slight acquaintance with some other mathematical topics, such as group theory and Borel sets. My main object was to prepare the student for studying advanced books and journal articles in recursion theory. I therefore attempted to introduce as many as possible of the topics which are of interest in contemporary research without going deeply into any of them. One topic usually treated in the course which did not make its way into these notes is complexity theory; I hope that someone more competent than I will write an introduction to this topic suitable for serious mathematicians. CONTENTS 1. Computability...* 1 2. Functions and Relations * 2 .3 3. The Basic Machine . 4. Macros ...* 5 5. Closure Properties ...

Pr�sentation de l'�diteur

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. The clarity and focus of this text have established it as a classic instrument for teaching and self-study that prepares its readers for the study of advanced monographs and the current literature on recursion theory.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

English below. Ammareal est une librairie professionnelle sp�cialis�e dans le livre d?occasion. Nous exp�dions partout dans le monde. Nous avons plus de 250 000 ouvrages en stock dont un grand nombre de livres techniques et acad�miques. Nous reversons jusqu?� 15% du prix de vente de chaque livre � des organisations caritatives, des biblioth�ques et des associations luttant contre l?illettrisme. Ce que nous ne vendons pas nous le donnons, ce que nous ne donnons pas nous le recyclons. Ammareal is a professional bookseller speciliazed in used books. We ship worldwide. We have more than 250 000 books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give, what we do not give we recycle.

Visitez la page d�accueil du vendeur