Verfügbarkeit: The universal Turing machine

The universal Turing machine: a half-century survey

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	English
Veröffentlicht:	Wien [u.a.] Springer 1995
Ausgabe:	2. ed.
Schriftenreihe:	Computerkultur 2
Schlagworte:	Turing machines Universelle Turing-Maschine Turing-Maschine Aufgabensammlung Aufsatzsammlung
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XVI, 611 S. graph. Darst.
ISBN:	3211826378

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV010408330
003	DE-604
005	20061219
007	t
008	951005s1995 d\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 3211826378 \|9 3-211-82637-8
035			\|a (OCoLC)299812861
035			\|a (DE-599)BVBBV010408330
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91 \|a DE-384 \|a DE-703 \|a DE-355 \|a DE-706 \|a DE-522 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-525 \|a DE-188
050		0	\|a QA267
082	0		\|a 511.3 \|2 20
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SR 800 \|0 (DE-625)143365: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a DAT 552f \|2 stub
245	1	0	\|a The universal Turing machine \|b a half-century survey \|c Rolf Herken (ed.)
250			\|a 2. ed.
264		1	\|a Wien [u.a.] \|b Springer \|c 1995
300			\|a XVI, 611 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Computerkultur \|v 2
650		4	\|a Turing machines
650	0	7	\|a Universelle Turing-Maschine \|0 (DE-588)4203523-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Turing-Maschine \|0 (DE-588)4203525-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4143389-0 \|a Aufgabensammlung \|2 gnd-content
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
689	0	0	\|a Turing-Maschine \|0 (DE-588)4203525-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Universelle Turing-Maschine \|0 (DE-588)4203523-5 \|D s
689	1		\|5 DE-604
700	1		\|a Herken, Rolf \|e Sonstige \|4 oth
830		0	\|a Computerkultur \|v 2 \|w (DE-604)BV001898197 \|9 2
856	4	2	\|m Digitalisierung UB Regensburg \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006931466&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-006931466

Datensatz im Suchindex

_version_	1804124836493000704
adam_text	Contents List of Contributors Preface Parti Alan Turing and the Turing Machine Andrew Hodges Turing s Analysis of Computability, and Major Applications of It Stephen The Confluence of Ideas in Robin Gandy Turing in the Land of O(z) Solomon Feferman Mathematical Logic and the Origin of Modern Computing Martin Davis Partii From Universal Turing Machines to Self-Reproduction Michael A. Arbib Computerizing Mathematics: Logic and Computation Michael J. Beeson Contents Logical Depth and Physical Complexity Charles H. Bennett The Busy Beaver Game and the Meaning of Life Allen H. Brady An Algebraic Equation for the Halting Probability Gregory J. Chaitin The Price of Programmability Michael Conrad Gandy s Principles for Mechanisms as a Model of Parallel Computation Elias Dahlhaus Influences of Mathematical Logic on Computer Science Martin Davis Language and Computations Jens Erik Fenstad Finite Physics David Finkelstein Randomness, Interactive Proofs, and Zero-Knowledge A Survey Oded Algorithms in the World of Bounded Resources Yuri Gurevich Beyond the Turing Machine Brost Hasslacher 387 Structure Moshe Koppel 403 Mental Images and the Architecture of Concepts Johann Contents The Fifth Generation s Unbridged Gap Donald Michie On the Physics and Mathematics of Thought Roger Penrose Effective Processes and Natural Law Robert Rosen Turing Naturalized: Helmut Complexity Theory and Interaction Uwe Schöning 519 Mechanisms for Computing Over Arbitrary Structures John Comparing the Church and Turing Approaches: Two Prophetical Messages Boris A. Trakhtenbrot Form and Content in Thinking Turing Machines Oswald Wiener Appendix
any_adam_object	1
building	Verbundindex
bvnumber	BV010408330
callnumber-first	Q - Science
callnumber-label	QA267
callnumber-raw	QA267
callnumber-search	QA267
callnumber-sort	QA 3267
callnumber-subject	QA - Mathematics
classification_rvk	CC 2600 SR 800 ST 130
classification_tum	DAT 552f
ctrlnum	(OCoLC)299812861 (DE-599)BVBBV010408330
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik Philosophie
edition	2. ed.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01857nam a2200481 cb4500</leader><controlfield tag="001">BV010408330</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20061219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951005s1995 d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3211826378</subfield><subfield code="9">3-211-82637-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)299812861</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010408330</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SR 800</subfield><subfield code="0">(DE-625)143365:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 552f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The universal Turing machine</subfield><subfield code="b">a half-century survey</subfield><subfield code="c">Rolf Herken (ed.)</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wien [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 611 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Computerkultur</subfield><subfield code="v">2</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Turing machines</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Universelle Turing-Maschine</subfield><subfield code="0">(DE-588)4203523-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Turing-Maschine</subfield><subfield code="0">(DE-588)4203525-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143389-0</subfield><subfield code="a">Aufgabensammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Turing-Maschine</subfield><subfield code="0">(DE-588)4203525-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Universelle Turing-Maschine</subfield><subfield code="0">(DE-588)4203523-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Herken, Rolf</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Computerkultur</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV001898197</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006931466&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006931466</subfield></datafield></record></collection>
genre	(DE-588)4143389-0 Aufgabensammlung gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Aufgabensammlung Aufsatzsammlung
id	DE-604.BV010408330
illustrated	Illustrated
indexdate	2024-07-09T17:52:00Z
institution	BVB
isbn	3211826378
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006931466
oclc_num	299812861
open_access_boolean
owner	DE-91 DE-BY-TUM DE-384 DE-703 DE-355 DE-BY-UBR DE-706 DE-522 DE-634 DE-83 DE-11 DE-525 DE-188
owner_facet	DE-91 DE-BY-TUM DE-384 DE-703 DE-355 DE-BY-UBR DE-706 DE-522 DE-634 DE-83 DE-11 DE-525 DE-188
physical	XVI, 611 S. graph. Darst.
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
publisher	Springer
record_format	marc
series	Computerkultur
series2	Computerkultur
spelling	The universal Turing machine a half-century survey Rolf Herken (ed.) 2. ed. Wien [u.a.] Springer 1995 XVI, 611 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computerkultur 2 Turing machines Universelle Turing-Maschine (DE-588)4203523-5 gnd rswk-swf Turing-Maschine (DE-588)4203525-9 gnd rswk-swf (DE-588)4143389-0 Aufgabensammlung gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content Turing-Maschine (DE-588)4203525-9 s DE-604 Universelle Turing-Maschine (DE-588)4203523-5 s Herken, Rolf Sonstige oth Computerkultur 2 (DE-604)BV001898197 2 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006931466&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	The universal Turing machine a half-century survey Computerkultur Turing machines Universelle Turing-Maschine (DE-588)4203523-5 gnd Turing-Maschine (DE-588)4203525-9 gnd
subject_GND	(DE-588)4203523-5 (DE-588)4203525-9 (DE-588)4143389-0 (DE-588)4143413-4
title	The universal Turing machine a half-century survey
title_auth	The universal Turing machine a half-century survey
title_exact_search	The universal Turing machine a half-century survey
title_full	The universal Turing machine a half-century survey Rolf Herken (ed.)
title_fullStr	The universal Turing machine a half-century survey Rolf Herken (ed.)
title_full_unstemmed	The universal Turing machine a half-century survey Rolf Herken (ed.)
title_short	The universal Turing machine
title_sort	the universal turing machine a half century survey
title_sub	a half-century survey
topic	Turing machines Universelle Turing-Maschine (DE-588)4203523-5 gnd Turing-Maschine (DE-588)4203525-9 gnd
topic_facet	Turing machines Universelle Turing-Maschine Turing-Maschine Aufgabensammlung Aufsatzsammlung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006931466&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV001898197
work_keys_str_mv	AT herkenrolf theuniversalturingmachineahalfcenturysurvey

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge