このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
The universal Turing machine : a half-century survey

責任表示 Rolf Herken (ed.)
シリーズ Computerkultur ; v. 2
データ種別 図書
2nd ed
出版者 Wien : Springer-Verlag
出版年 c1995
本文言語 英語
大きさ xvi, 611 p. : ill. ; 24 cm
概要 "On Computable Numbers, with an Application to the Entscheidungsproblem, Alan Turing 's paper of 1937, contained his thesis that every effective computation can be programmed on such an automation as...that called Turing machine. Furthermore it proved the unsolvability of the halting problem and of the decision problem for first order logic, and it presented the invention of the universal Turing machine. It is that publication that will presumably be acknowledged as marking sub specie aeternitatis the beginning of the "computer age .This volume recognizes the still continuing influence of the Turing machine concept by collecting contributions from international specialists in logic, computability, mathematics, biology, physics, linguistics, and cognitive science, thus signalling the exceptionally wide scope of that concept. 続きを見る

所蔵情報


理系図 自動書庫 031212006506035 007.63/H 53 1995

書誌詳細

一般注記 Includes bibliographical references
著者標目 Herken, Rolf
件 名 LCSH:Turing machines
分 類 LCC:QA267
DC20:511.3
書誌ID 1001064028
ISBN 3211826378
NCID BA25232597
巻冊次 ISBN:3211826378
登録日 2009.09.17
更新日 2009.09.17

類似資料