Verfügbarkeit: Computability in context :

Computability in context :: computation and logic in the real world /

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Cooper, S. B. (S. Barry), Sorbi, Andrea, 1956-
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	London : Hackensack, NJ : Imperial College Press ; Distributed by World Scientific, ©2011.
Schlagworte:	Computable functions. Computational intelligence. Set theory. Mathematics > Philosophy. Fonctions calculables. Intelligence informatique. Théorie des ensembles. Mathématiques > Philosophie. COMPUTERS > Machine Theory. Computable functions Computational intelligence Mathematics > Philosophy Set theory
Online-Zugang:	Volltext
Zusammenfassung:	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.
Beschreibung:	1 online resource (viii, 410 pages) : illustrations
Bibliographie:	Includes bibliographical references.
ISBN:	9781848162778 1848162774

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocn733048100
003	OCoLC
005	20241004212047.0
006	m o d
007	cr cnu---unuuu
008	110627s2011 enka ob 000 0 eng d
040			\|a N$T \|b eng \|e pn \|c N$T \|d EBLCP \|d E7B \|d MHW \|d OCLCQ \|d NJR \|d OCLCQ \|d YDXCP \|d DEBSZ \|d OCLCQ \|d OCLCA \|d OCLCQ \|d OCLCF \|d OCLCQ \|d AZK \|d LOA \|d JBG \|d AGLDB \|d MOR \|d PIFAG \|d ZCU \|d MERUC \|d OCLCQ \|d U3W \|d OCLCQ \|d STF \|d WRM \|d OCLCQ \|d VTS \|d NRAMU \|d ICG \|d INT \|d VT2 \|d OCLCQ \|d REC \|d WYU \|d OCLCQ \|d DKC \|d AU@ \|d OCLCQ \|d M8D \|d OCLCQ \|d LEAUB \|d OCLCQ \|d UKCRE \|d OCLCQ \|d OCLCO \|d OCLCQ \|d OCLCO \|d OCLCL \|d SXB \|d OCLCQ
019			\|a 961567356 \|a 962686244 \|a 966198260 \|a 988430311 \|a 992072877 \|a 1037705514 \|a 1038617556 \|a 1045437745 \|a 1055338581 \|a 1063891443 \|a 1081219230 \|a 1086434227 \|a 1153468993 \|a 1228596014
020			\|a 9781848162778 \|q (electronic bk.)
020			\|a 1848162774 \|q (electronic bk.)
020			\|z 9781848162457
020			\|z 1848162456
035			\|a (OCoLC)733048100 \|z (OCoLC)961567356 \|z (OCoLC)962686244 \|z (OCoLC)966198260 \|z (OCoLC)988430311 \|z (OCoLC)992072877 \|z (OCoLC)1037705514 \|z (OCoLC)1038617556 \|z (OCoLC)1045437745 \|z (OCoLC)1055338581 \|z (OCoLC)1063891443 \|z (OCoLC)1081219230 \|z (OCoLC)1086434227 \|z (OCoLC)1153468993 \|z (OCoLC)1228596014
050		4	\|a QA9.59 \|b .C655 2011eb
072		7	\|a COM \|x 037000 \|2 bisacsh
082	7		\|a 511.3/52 \|2 22
049			\|a MAIN
245	0	0	\|a Computability in context : \|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 ©2011.
300			\|a 1 online resource (viii, 410 pages) : \|b illustrations
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
347			\|a data file
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	0		\|a Print version record.
505	0		\|a 1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M.M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonifaci, & B. Escoffier -- 5. Definability in the real universe / S.B. Cooper -- 6. HF-computability / Y.L. Ershov, V.G. Puzarenko, & A.I. Stukachev -- 7. The mathematics of computing between logic and physics / G. Longo & T. Paul -- 8. Liquid state machines : Motivation, theory, and applications / W. Maass -- 9. Experiments on an internal approach to typed algorithms in analysis / D. Normann -- 10. Recursive functions : An archeological look / P. Odifreddi -- 11. Reverse mathematics and well-ordering principles / M. Rathjen & A. Weiermann -- 12. Discrete transfinite computation models / P.D. Welch.
650		0	\|a Computable functions. \|0 http://id.loc.gov/authorities/subjects/sh85029469
650		0	\|a Computational intelligence. \|0 http://id.loc.gov/authorities/subjects/sh94004659
650		0	\|a Set theory. \|0 http://id.loc.gov/authorities/subjects/sh85120387
650		0	\|a Mathematics \|x Philosophy. \|0 http://id.loc.gov/authorities/subjects/sh85082153
650		6	\|a Fonctions calculables.
650		6	\|a Intelligence informatique.
650		6	\|a Théorie des ensembles.
650		6	\|a Mathématiques \|x Philosophie.
650		7	\|a COMPUTERS \|x Machine Theory. \|2 bisacsh
650		7	\|a Computable functions \|2 fast
650		7	\|a Computational intelligence \|2 fast
650		7	\|a Mathematics \|x Philosophy \|2 fast
650		7	\|a Set theory \|2 fast
700	1		\|a Cooper, S. B. \|q (S. Barry) \|1 https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq \|0 http://id.loc.gov/authorities/names/n95107558
700	1		\|a Sorbi, Andrea, \|d 1956- \|1 https://id.oclc.org/worldcat/entity/E39PCjD7tcpkttFYtT9qT7yyBP \|0 http://id.loc.gov/authorities/names/n96120050
776	0	8	\|i Print version: \|t Computability in context. \|d London : Imperial College Press ; Hackensack, NJ : Distributed by World Scientific, ©2011 \|z 9781848162457 \|w (DLC) 2010039227 \|w (OCoLC)668403417
856	4	0	\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=373232 \|3 Volltext
938			\|a ProQuest Ebook Central \|b EBLB \|n EBL737616
938			\|a ebrary \|b EBRY \|n ebr10480218
938			\|a EBSCOhost \|b EBSC \|n 373232
938			\|a YBP Library Services \|b YANK \|n 6958448
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA
049			\|a DE-863

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocn733048100
_version_	1816881763286253568
adam_text
any_adam_object
author2	Cooper, S. B. (S. Barry) Sorbi, Andrea, 1956-
author2_role
author2_variant	s b c sb sbc a s as
author_GND	http://id.loc.gov/authorities/names/n95107558 http://id.loc.gov/authorities/names/n96120050
author_facet	Cooper, S. B. (S. Barry) Sorbi, Andrea, 1956-
author_sort	Cooper, S. B.
building	Verbundindex
bvnumber	localFWS
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.59 .C655 2011eb
callnumber-search	QA9.59 .C655 2011eb
callnumber-sort	QA 19.59 C655 42011EB
callnumber-subject	QA - Mathematics
collection	ZDB-4-EBA
contents	1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M.M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonifaci, & B. Escoffier -- 5. Definability in the real universe / S.B. Cooper -- 6. HF-computability / Y.L. Ershov, V.G. Puzarenko, & A.I. Stukachev -- 7. The mathematics of computing between logic and physics / G. Longo & T. Paul -- 8. Liquid state machines : Motivation, theory, and applications / W. Maass -- 9. Experiments on an internal approach to typed algorithms in analysis / D. Normann -- 10. Recursive functions : An archeological look / P. Odifreddi -- 11. Reverse mathematics and well-ordering principles / M. Rathjen & A. Weiermann -- 12. Discrete transfinite computation models / P.D. Welch.
ctrlnum	(OCoLC)733048100
dewey-full	511.3/52
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3/52
dewey-search	511.3/52
dewey-sort	3511.3 252
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04914cam a2200625 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn733048100</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">110627s2011 enka ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">EBLCP</subfield><subfield code="d">E7B</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NJR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">REC</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LEAUB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKCRE</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">961567356</subfield><subfield code="a">962686244</subfield><subfield code="a">966198260</subfield><subfield code="a">988430311</subfield><subfield code="a">992072877</subfield><subfield code="a">1037705514</subfield><subfield code="a">1038617556</subfield><subfield code="a">1045437745</subfield><subfield code="a">1055338581</subfield><subfield code="a">1063891443</subfield><subfield code="a">1081219230</subfield><subfield code="a">1086434227</subfield><subfield code="a">1153468993</subfield><subfield code="a">1228596014</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848162778</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1848162774</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781848162457</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1848162456</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)733048100</subfield><subfield code="z">(OCoLC)961567356</subfield><subfield code="z">(OCoLC)962686244</subfield><subfield code="z">(OCoLC)966198260</subfield><subfield code="z">(OCoLC)988430311</subfield><subfield code="z">(OCoLC)992072877</subfield><subfield code="z">(OCoLC)1037705514</subfield><subfield code="z">(OCoLC)1038617556</subfield><subfield code="z">(OCoLC)1045437745</subfield><subfield code="z">(OCoLC)1055338581</subfield><subfield code="z">(OCoLC)1063891443</subfield><subfield code="z">(OCoLC)1081219230</subfield><subfield code="z">(OCoLC)1086434227</subfield><subfield code="z">(OCoLC)1153468993</subfield><subfield code="z">(OCoLC)1228596014</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.59</subfield><subfield code="b">.C655 2011eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">037000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3/52</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Computability in context :</subfield><subfield code="b">computation and logic in the real world /</subfield><subfield code="c">editors, S. Barry Cooper, Andrea Sorbi.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">London :</subfield><subfield code="b">Imperial College Press ;</subfield><subfield code="a">Hackensack, NJ :</subfield><subfield code="b">Distributed by World Scientific,</subfield><subfield code="c">©2011.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 410 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M.M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonifaci, & B. Escoffier -- 5. Definability in the real universe / S.B. Cooper -- 6. HF-computability / Y.L. Ershov, V.G. Puzarenko, & A.I. Stukachev -- 7. The mathematics of computing between logic and physics / G. Longo & T. Paul -- 8. Liquid state machines : Motivation, theory, and applications / W. Maass -- 9. Experiments on an internal approach to typed algorithms in analysis / D. Normann -- 10. Recursive functions : An archeological look / P. Odifreddi -- 11. Reverse mathematics and well-ordering principles / M. Rathjen & A. Weiermann -- 12. Discrete transfinite computation models / P.D. Welch.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computable functions.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029469</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computational intelligence.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh94004659</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Set theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85120387</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85082153</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Fonctions calculables.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Intelligence informatique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des ensembles.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiques</subfield><subfield code="x">Philosophie.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Machine Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computable functions</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computational intelligence</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Set theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cooper, S. B.</subfield><subfield code="q">(S. Barry)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n95107558</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sorbi, Andrea,</subfield><subfield code="d">1956-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjD7tcpkttFYtT9qT7yyBP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n96120050</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Computability in context.</subfield><subfield code="d">London : Imperial College Press ; Hackensack, NJ : Distributed by World Scientific, ©2011</subfield><subfield code="z">9781848162457</subfield><subfield code="w">(DLC) 2010039227</subfield><subfield code="w">(OCoLC)668403417</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=373232</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL737616</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10480218</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">373232</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">6958448</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection>
id	ZDB-4-EBA-ocn733048100
illustrated	Illustrated
indexdate	2024-11-27T13:17:53Z
institution	BVB
isbn	9781848162778 1848162774
language	English
oclc_num	733048100
open_access_boolean
owner	MAIN DE-863 DE-BY-FWS
owner_facet	MAIN DE-863 DE-BY-FWS
physical	1 online resource (viii, 410 pages) : illustrations
psigel	ZDB-4-EBA
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Imperial College Press ; Distributed by World Scientific,
record_format	marc
spelling	Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi. London : Imperial College Press ; Hackensack, NJ : Distributed by World Scientific, ©2011. 1 online resource (viii, 410 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file 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. Print version record. 1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M.M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonifaci, & B. Escoffier -- 5. Definability in the real universe / S.B. Cooper -- 6. HF-computability / Y.L. Ershov, V.G. Puzarenko, & A.I. Stukachev -- 7. The mathematics of computing between logic and physics / G. Longo & T. Paul -- 8. Liquid state machines : Motivation, theory, and applications / W. Maass -- 9. Experiments on an internal approach to typed algorithms in analysis / D. Normann -- 10. Recursive functions : An archeological look / P. Odifreddi -- 11. Reverse mathematics and well-ordering principles / M. Rathjen & A. Weiermann -- 12. Discrete transfinite computation models / P.D. Welch. Computable functions. http://id.loc.gov/authorities/subjects/sh85029469 Computational intelligence. http://id.loc.gov/authorities/subjects/sh94004659 Set theory. http://id.loc.gov/authorities/subjects/sh85120387 Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Fonctions calculables. Intelligence informatique. Théorie des ensembles. Mathématiques Philosophie. COMPUTERS Machine Theory. bisacsh Computable functions fast Computational intelligence fast Mathematics Philosophy fast Set theory fast Cooper, S. B. (S. Barry) https://id.oclc.org/worldcat/entity/E39PBJdcwwDHpCWXQw9t3P3JDq http://id.loc.gov/authorities/names/n95107558 Sorbi, Andrea, 1956- https://id.oclc.org/worldcat/entity/E39PCjD7tcpkttFYtT9qT7yyBP http://id.loc.gov/authorities/names/n96120050 Print version: Computability in context. London : Imperial College Press ; Hackensack, NJ : Distributed by World Scientific, ©2011 9781848162457 (DLC) 2010039227 (OCoLC)668403417 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=373232 Volltext
spellingShingle	Computability in context : computation and logic in the real world / 1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M.M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonifaci, & B. Escoffier -- 5. Definability in the real universe / S.B. Cooper -- 6. HF-computability / Y.L. Ershov, V.G. Puzarenko, & A.I. Stukachev -- 7. The mathematics of computing between logic and physics / G. Longo & T. Paul -- 8. Liquid state machines : Motivation, theory, and applications / W. Maass -- 9. Experiments on an internal approach to typed algorithms in analysis / D. Normann -- 10. Recursive functions : An archeological look / P. Odifreddi -- 11. Reverse mathematics and well-ordering principles / M. Rathjen & A. Weiermann -- 12. Discrete transfinite computation models / P.D. Welch. Computable functions. http://id.loc.gov/authorities/subjects/sh85029469 Computational intelligence. http://id.loc.gov/authorities/subjects/sh94004659 Set theory. http://id.loc.gov/authorities/subjects/sh85120387 Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Fonctions calculables. Intelligence informatique. Théorie des ensembles. Mathématiques Philosophie. COMPUTERS Machine Theory. bisacsh Computable functions fast Computational intelligence fast Mathematics Philosophy fast Set theory fast
subject_GND	http://id.loc.gov/authorities/subjects/sh85029469 http://id.loc.gov/authorities/subjects/sh94004659 http://id.loc.gov/authorities/subjects/sh85120387 http://id.loc.gov/authorities/subjects/sh85082153
title	Computability in context : computation and logic in the real world /
title_auth	Computability in context : computation and logic in the real world /
title_exact_search	Computability in context : computation and logic in the real world /
title_full	Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi.
title_fullStr	Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi.
title_full_unstemmed	Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi.
title_short	Computability in context :
title_sort	computability in context computation and logic in the real world
title_sub	computation and logic in the real world /
topic	Computable functions. http://id.loc.gov/authorities/subjects/sh85029469 Computational intelligence. http://id.loc.gov/authorities/subjects/sh94004659 Set theory. http://id.loc.gov/authorities/subjects/sh85120387 Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Fonctions calculables. Intelligence informatique. Théorie des ensembles. Mathématiques Philosophie. COMPUTERS Machine Theory. bisacsh Computable functions fast Computational intelligence fast Mathematics Philosophy fast Set theory fast
topic_facet	Computable functions. Computational intelligence. Set theory. Mathematics Philosophy. Fonctions calculables. Intelligence informatique. Théorie des ensembles. Mathématiques Philosophie. COMPUTERS Machine Theory. Computable functions Computational intelligence Mathematics Philosophy Set theory
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=373232
work_keys_str_mv	AT coopersb computabilityincontextcomputationandlogicintherealworld AT sorbiandrea computabilityincontextcomputationandlogicintherealworld

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge