ホーム > 商品詳細

Recursion Theory(Lecture Notes in Logic Vol.1) P VII, 84 S. 93

Shoenfield, Joseph R.  著

 絶版
       
価格 \22,639(税込)         

発行年月 1993年11月
出版社/提供元
出版国 ドイツ
言語 英語
媒体 冊子
装丁 paper
ページ数/巻数 VII, 84 S.
ジャンル 洋書
ISBN 9783540570936
商品コード 0209337121
本の性格 学術書
商品URL
参照
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209337121

内容

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

目次

カート

カートに商品は入っていません。