Computability in context[electronic ...
Cooper, S. B.

 

  • Computability in context[electronic resource] :computation and logic in the real world /
  • 紀錄類型: 書目-語言資料,印刷品 : Monograph/item
    杜威分類號: 511.3/52
    書名/作者: Computability in context : computation and logic in the real world // editors, S. Barry Cooper, Andrea Sorbi.
    其他作者: Cooper, S. B.
    出版者: London : : Imperial College Press ;, c2011.
    面頁冊數: 1 online resource (viii, 410 p.) : : ill.
    標題: Computable functions.
    標題: Computational intelligence.
    標題: Set theory.
    標題: Mathematics - Philosophy.
    ISBN: 9781848162778 (electronic bk.)
    ISBN: 1848162774 (electronic bk.)
    書目註: Includes bibliographical references.
    摘要、提要註: Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with m.
    電子資源: http://www.worldscientific.com/worldscibooks/10.1142/P577#t=toc
Export
取書館別
 
 
變更密碼
登入