<電子ブック>
Recursive function theory / [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society]
(Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 5)
出版者 | Providence : American Mathematical Society |
---|---|
出版年 | 1962 |
大きさ | 1 online resource (1 online resource (vii, 247 p. : illus., port.)) |
著者標目 | *Symposium in Pure Mathematics (5th 1961 New York) |
件 名 | LCSH:Recursive functions LCSH:Recursive functions -- Congresses 全ての件名で検索 LCSH:American Mathematical Society |
内容注記 | Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics / Clifford Spector Representability of sets in formal systems / Andrzej Mostowski Herbrand-Gödel-style recursive functionals of finite types / S. C. Kleene Infinite series of isols / J. C. E. Dekker $\Omega -\Lambda $ / John Myhill Arithmetically isolated and nonstandard models / A. Nerode Algebras of sets binumerable in complete extensions of arithmetic / Dana Scott Some problems in hierarchy theory / J. W. Addison The form of the negation of a predicate / J. R. Shoenfield Applications of recursive function theory to number theory / Martin Davis Sequence generators and digital computers / A. W. Burks and J. B. Wright The treatment of ambiguity and paradox in mechanical languages / Saul Gorn Computer programs for checking mathematical proofs / John McCarthy Size and structure of universal Turing machines using tag systems / M. L. Minsky |
一般注記 | "Sponsored by the American Mathematical Society, the Association for Computing Machinery, and the Association for Symbolic Logic." Includes bibliographies http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0154801 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142458 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0141594 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142447 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142446 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0143698 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0141595 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0141599 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142449 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0151380 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/9999 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142462 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/9998 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142452 Access is restricted to licensed institutions Electronic reproduction Providence, Rhode Island American Mathematical Society 2012 Mode of access : World Wide Web Description based on print version record HTTP:URL=http://www.ams.org/pspum/005 Information=Contents HTTP:URL=http://dx.doi.org/10.1090/pspum/005 Information=Contents |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Proceedings in Symposia in Pure Mathematics | 9780821892909 |
|
電子リソース |
|
EB00015950 |
類似資料
この資料の利用統計
このページへのアクセス回数:8回
※2017年9月4日以降