國立高雄大學圖資館 |

Language: English

Back

Computability in contextcomputation ...

Cooper, S. B.

Computability in contextcomputation and logic in the real world /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Computability in contexteditors, S. Barry Cooper, Andrea Sorbi.
Reminder of title:	computation and logic in the real world /
other author:	Cooper, S. B.
Published:	London :Imperial College Press ;c2011.
Description:	1 online resource (viii, 410 p.) :ill.
Subject:	Computable functions.
Online resource:	http://www.worldscientific.com/worldscibooks/10.1142/P577#t=toc
ISBN:	9781848162778 (electronic bk.)

Computability in contextcomputation and logic in the real world /
Computability in contextcomputation and logic in the real world /[electronic resource] :editors, S. Barry Cooper, Andrea Sorbi. - London :Imperial College Press ;c2011. - 1 online resource (viii, 410 p.) :ill.

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.

ISBN: 9781848162778 (electronic bk.)Subjects--Topical Terms:

190932
Computable functions.
Index Terms--Genre/Form:

214472
Electronic books.

LC Class. No.: QA9.59 / .C655 2011eb

Dewey Class. No.: 511.3/52

Computability in contextcomputation and logic in the real world /
LDR:01559cmm a2200253Ka 4500 001 405604
006 m o d
007 cr cnu---unuuu
008 140120s2011 enka ob 000 0 eng d
020 $a 9781848162778 (electronic bk.)
020 $a 1848162774 (electronic bk.)
020 $z 9781848162457
020 $z 1848162456
035 $a ocn733048100
040 $a N $b eng $c N $d EBLCP $d E7B $d MHW $d OCLCQ $d NJR $d OCLCQ $d YDXCP $d DEBSZ $d OCLCQ $d OCLCA
049 $a FISA
050 4 $a QA9.59 $b .C655 2011eb
082 0 4 $a 511.3/52 $2 22
245 0 0 $a Computability in context $h [electronic resource] : $b computation and logic in the real world / $c editors, S. Barry Cooper, Andrea Sorbi.
260 $a London : $b Imperial College Press ; $a Hackensack, NJ : $b Distributed by World Scientific, $c c2011.
300 $a 1 online resource (viii, 410 p.) : $b ill.
504 $a Includes bibliographical references.
520 $a 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.
588 $a Description based on print version record.
650 0 $a Computable functions. $3 190932
650 0 $a Computational intelligence. $3 210824
650 0 $a Set theory. $3 190892
650 0 $a Mathematics $x Philosophy. $3 187658
655 0 $a Electronic books. $2 local. $3 214472
700 1 $a Cooper, S. B. $3 284728
700 1 $a Sorbi, Andrea, $d 1956- $3 647993
856 4 0 $u http://www.worldscientific.com/worldscibooks/10.1142/P577#t=toc