Verfügbarkeit: Elementare Berechenbarkeitstheorie

Elementare Berechenbarkeitstheorie:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Smith, Einar (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Berlin [u.a.] Springer 1996
Schriftenreihe:	Springer-Lehrbuch
Schlagworte:	Berechnungstheorie Lehrbuch
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	X, 166 S.
ISBN:	354060667X

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV010682640
003	DE-604
005	20020813
007	t
008	960318s1996 gw \|\|\|\| 00\|\|\| ger d
016	7		\|a 947059016 \|2 DE-101
020			\|a 354060667X \|c kart. : DM 28.00 \|9 3-540-60667-X
035			\|a (OCoLC)75675300
035			\|a (DE-599)BVBBV010682640
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-91G \|a DE-739 \|a DE-384 \|a DE-824 \|a DE-521 \|a DE-526 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-188
084			\|a QH 120 \|0 (DE-625)141532: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a SK 900 \|0 (DE-625)143268: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 134 \|0 (DE-625)143590: \|2 rvk
084			\|a 27 \|2 sdnb
084			\|a 28 \|2 sdnb
084			\|a DAT 542f \|2 stub
100	1		\|a Smith, Einar \|e Verfasser \|4 aut
245	1	0	\|a Elementare Berechenbarkeitstheorie \|c Einar Smith
264		1	\|a Berlin [u.a.] \|b Springer \|c 1996
300			\|a X, 166 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Springer-Lehrbuch
650	0	7	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|D s
689	0		\|5 DE-604
856	4	2	\|m OEBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007130323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-007130323

Datensatz im Suchindex

_version_	1804125160526053376
adam_text	INHALTSVERZEICHNIS 1 EINLEITUNG 1 UEBERSICHT 3 MATHEMATISCHE GRUNDLAGEN 5 2 REGISTERMASCHINEN 9 3 BERECHENBARE FUNKTIONEN 17 3.1 PROGRAMM-MAKROS 18 3.2 WEITERE BERECHENBARE FUNKTIONEN 26 4 ZEICHENKETTEN UND GOEDELNUMMERN 31 5 UNIVERSELLE PROGRAMME 39 5.1 DAS AUFZAEHLUNGSTHEOREM 39 5.2 REKURSION 42 5.3 INDIREKTE ADRESSIERUNG 47 6 BESCHRAENKTE UND UNBESCHRAENKTE SCHLEIFEN 53 6.1 FOR-BERECHENBARE FUNKTIONEN 54 6.2 NICHT-FOR-BERECHENBARE FUNKTIONEN 56 6.3 DIE KLEENESCHE NORMALFORM 65 7 DAS HALTEPROBLEM UND DER SATZ VON RICE 67 7.1 EINFUEHRUNG: DAS HALTEPROBLEM IN MODULA 67 7.2 DAS HALTEPROBLEM DER REGISTERMASCHINE 69 7.3 DER SATZ VON RICE 72 8 REKURSIVE FUNKTIONEN 77 8.1 PRIMITIV-REKURSIVE FUNKTIONEN 77 8.2 *-REKURSIVE FUNKTIONEN 91 9 TURING-MASCHINEN 97 9.1 GRUNDLEGENDE DEFINITIONEN 98 9.2 AEQUIVALENZ VON TURING- UND REGISTERMASCHINEN .... 102 9.3 ALLGEMEINE TURING-MASCHINEN 110 10 BERECHENBARKEIT, ENTSCHEIDBARKEIT, AUFZAEHLBARKEIT 113 10.1 BERECHENBARKEIT UND DIE CHURCHSCHE THESE 113 10.2 ENTSCHEIDBARKEIT 118 10.3 SEMI-ENTSCHEIDBARKEIT UND AUFZAEHLBARKEIT 121 11 DAS POSTSCHE KORRESPONDENZPROBLEM 131 12 UNENTSCHEIDBARKEIT DER PRAEDIKATENLOGIK 141 13 UNENTSCHEIDBARE PROBLEME IN DEN FORMALEN SPRACHEN .... 149 13.1 KONTEXTFREIE SPRACHEN 149 13.2 ALLGEMEINE REGELGRAMMATIKEN 156 LITERATUR 161 SACHVERZEICHNIS 163
any_adam_object	1
author	Smith, Einar
author_facet	Smith, Einar
author_role	aut
author_sort	Smith, Einar
author_variant	e s es
building	Verbundindex
bvnumber	BV010682640
classification_rvk	QH 120 SK 130 SK 900 ST 130 ST 134
classification_tum	DAT 542f
ctrlnum	(OCoLC)75675300 (DE-599)BVBBV010682640
discipline	Informatik Mathematik Wirtschaftswissenschaften
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01641nam a2200445 c 4500</leader><controlfield tag="001">BV010682640</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020813 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960318s1996 gw \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947059016</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354060667X</subfield><subfield code="c">kart. : DM 28.00</subfield><subfield code="9">3-540-60667-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75675300</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010682640</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 120</subfield><subfield code="0">(DE-625)141532:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 900</subfield><subfield code="0">(DE-625)143268:</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">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smith, Einar</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elementare Berechenbarkeitstheorie</subfield><subfield code="c">Einar Smith</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 166 S.</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="0" ind2=" "><subfield code="a">Springer-Lehrbuch</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">OEBV Datenaustausch</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=007130323&sequence=000001&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-007130323</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV010682640
illustrated	Not Illustrated
indexdate	2024-07-09T17:57:09Z
institution	BVB
isbn	354060667X
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007130323
oclc_num	75675300
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-384 DE-824 DE-521 DE-526 DE-634 DE-83 DE-11 DE-188
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-384 DE-824 DE-521 DE-526 DE-634 DE-83 DE-11 DE-188
physical	X, 166 S.
publishDate	1996
publishDateSearch	1996
publishDateSort	1996
publisher	Springer
record_format	marc
series2	Springer-Lehrbuch
spelling	Smith, Einar Verfasser aut Elementare Berechenbarkeitstheorie Einar Smith Berlin [u.a.] Springer 1996 X, 166 S. txt rdacontent n rdamedia nc rdacarrier Springer-Lehrbuch Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Berechnungstheorie (DE-588)4005581-4 s DE-604 OEBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007130323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Smith, Einar Elementare Berechenbarkeitstheorie Berechnungstheorie (DE-588)4005581-4 gnd
subject_GND	(DE-588)4005581-4 (DE-588)4123623-3
title	Elementare Berechenbarkeitstheorie
title_auth	Elementare Berechenbarkeitstheorie
title_exact_search	Elementare Berechenbarkeitstheorie
title_full	Elementare Berechenbarkeitstheorie Einar Smith
title_fullStr	Elementare Berechenbarkeitstheorie Einar Smith
title_full_unstemmed	Elementare Berechenbarkeitstheorie Einar Smith
title_short	Elementare Berechenbarkeitstheorie
title_sort	elementare berechenbarkeitstheorie
topic	Berechnungstheorie (DE-588)4005581-4 gnd
topic_facet	Berechnungstheorie Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007130323&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT smitheinar elementareberechenbarkeitstheorie

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