Recursion Theory: No. 1 (Lecture Notes in Logic) - Softcover

Shoenfield, Joseph R.

 
9783540570936: Recursion Theory: No. 1 (Lecture Notes in Logic)
Softcover
ISBN 10: 3540570934 ISBN 13: 9783540570936
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2013

Inhaltsangabe

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 ...

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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 . . .

Reseña del editor

This is an introduction to recursive functions intended for graduate students. It presupposes some mathematical maturity and a slight aquaintancewith some important topics, such as group theory and topology. Some acquaintance with logic is desirable but not essential. It introduces the main topics of recusion theory, such as hierarchy theory, RE sets, and undecidable theories, without going very deeply into any of them.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3540570934
ISBN 13 
9783540570936
Einband
Tapa blanda
Anzahl der Seiten
91
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland