Computability and decidability: an introduction for students of computer science
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1972
|
| Schriftenreihe: | Lecture notes in economics and mathematical systems
68 |
| Schlagwörter: | |
| Umfang: | VI, 76 S. graph. Darst. |
| ISBN: | 3540058699 0387058699 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005709279 | ||
| 003 | DE-604 | ||
| 005 | 20180921 | ||
| 007 | t| | ||
| 008 | 921028s1972 xx d||| |||| 00||| eng d | ||
| 020 | |a 3540058699 |9 3-540-05869-9 | ||
| 020 | |a 0387058699 |9 0-387-05869-9 | ||
| 035 | |a (OCoLC)402547 | ||
| 035 | |a (DE-599)BVBBV005709279 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-20 |a DE-703 |a DE-384 |a DE-91 |a DE-91G |a DE-739 |a DE-355 |a DE-29T |a DE-19 |a DE-83 |a DE-11 |a DE-188 |a DE-210 |a DE-706 | ||
| 050 | 0 | |a QA267.5.S4 | |
| 082 | 0 | |a 629.8/91 | |
| 084 | |a ES 920 |0 (DE-625)27929: |2 rvk | ||
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 084 | |a SI 853 |0 (DE-625)143200: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 100 | 1 | |a Loeckx, Jacques |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computability and decidability |b an introduction for students of computer science |c J. Loeckx |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1972 | |
| 300 | |a VI, 76 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in economics and mathematical systems |v 68 | |
| 650 | 7 | |a DESCRIPTION INSTANTANEE |2 inriac | |
| 650 | 7 | |a DOMAINE FONCTION CALCULABLE |2 inriac | |
| 650 | 7 | |a ENSEMBLE DECIDABLE |2 inriac | |
| 650 | 7 | |a ENSEMBLE ENUMERABLE |2 inriac | |
| 650 | 7 | |a ENSEMBLE |2 inriac | |
| 650 | 7 | |a FONCTION CHAINE |2 inriac | |
| 650 | 4 | |a Machines Turing | |
| 650 | 4 | |a Machines séquentielles (Théorie) | |
| 650 | 7 | |a PROBLEME EQUIVALENCE |2 inriac | |
| 650 | 7 | |a SUITE ORDONNEE |2 inriac | |
| 650 | 7 | |a calculabilité |2 inriac | |
| 650 | 7 | |a décidabilité |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a machine Turing |2 inriac | |
| 650 | 7 | |a théorie automate |2 inriac | |
| 650 | 4 | |a Sequential machine theory | |
| 650 | 4 | |a Turing machines | |
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Turing-Maschine |0 (DE-588)4203525-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 0 | 1 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Turing-Maschine |0 (DE-588)4203525-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in economics and mathematical systems |v 68 |w (DE-604)BV000000036 |9 68 | |
| 940 | 1 | |q TUB-nveb | |
| 940 | 1 | |q HUB-ZB011201006 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003566515 | |
| 980 | 4 | |a (DE-12)AK13490418 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0024 68 B 549-68 0102 MAT 900z 2001 A 986-68 |
|---|---|
| DE-BY-TUM_katkey | 1213381 |
| DE-BY-TUM_location | Mag 01 |
| DE-BY-TUM_media_number | TEMP2695076 040020522363 |
| _version_ | 1821932499846037504 |
| any_adam_object | |
| author | Loeckx, Jacques |
| author_facet | Loeckx, Jacques |
| author_role | aut |
| author_sort | Loeckx, Jacques |
| author_variant | j l jl |
| building | Verbundindex |
| bvnumber | BV005709279 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.5.S4 |
| callnumber-search | QA267.5.S4 |
| callnumber-sort | QA 3267.5 S4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ES 920 QH 500 SI 853 ST 120 |
| ctrlnum | (OCoLC)402547 (DE-599)BVBBV005709279 |
| dewey-full | 629.8/91 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.8/91 |
| dewey-search | 629.8/91 |
| dewey-sort | 3629.8 291 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Sprachwissenschaft Informatik Mathematik Literaturwissenschaft Wirtschaftswissenschaften Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02643nam a2200745 cb4500</leader><controlfield tag="001">BV005709279</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180921 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">921028s1972 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540058699</subfield><subfield code="9">3-540-05869-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387058699</subfield><subfield code="9">0-387-05869-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)402547</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005709279</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.5.S4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8/91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 920</subfield><subfield code="0">(DE-625)27929:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 853</subfield><subfield code="0">(DE-625)143200:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Loeckx, Jacques</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computability and decidability</subfield><subfield code="b">an introduction for students of computer science</subfield><subfield code="c">J. Loeckx</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 76 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">Lecture notes in economics and mathematical systems</subfield><subfield code="v">68</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">DESCRIPTION INSTANTANEE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">DOMAINE FONCTION CALCULABLE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ENSEMBLE DECIDABLE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ENSEMBLE ENUMERABLE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ENSEMBLE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">FONCTION CHAINE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machines Turing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machines séquentielles (Théorie)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROBLEME EQUIVALENCE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SUITE ORDONNEE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calculabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">décidabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">machine Turing</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie automate</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sequential machine theory</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">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</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="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</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">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in economics and mathematical systems</subfield><subfield code="v">68</subfield><subfield code="w">(DE-604)BV000000036</subfield><subfield code="9">68</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">HUB-ZB011201006</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003566515</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK13490418</subfield></datafield></record></collection> |
| id | DE-604.BV005709279 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T08:37:04Z |
| institution | BVB |
| isbn | 3540058699 0387058699 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003566515 |
| oclc_num | 402547 |
| open_access_boolean | |
| owner | DE-12 DE-20 DE-703 DE-384 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-83 DE-11 DE-188 DE-210 DE-706 |
| owner_facet | DE-12 DE-20 DE-703 DE-384 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-83 DE-11 DE-188 DE-210 DE-706 |
| physical | VI, 76 S. graph. Darst. |
| psigel | TUB-nveb HUB-ZB011201006 |
| publishDate | 1972 |
| publishDateSearch | 1972 |
| publishDateSort | 1972 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in economics and mathematical systems |
| series2 | Lecture notes in economics and mathematical systems |
| spellingShingle | Loeckx, Jacques Computability and decidability an introduction for students of computer science Lecture notes in economics and mathematical systems DESCRIPTION INSTANTANEE inriac DOMAINE FONCTION CALCULABLE inriac ENSEMBLE DECIDABLE inriac ENSEMBLE ENUMERABLE inriac ENSEMBLE inriac FONCTION CHAINE inriac Machines Turing Machines séquentielles (Théorie) PROBLEME EQUIVALENCE inriac SUITE ORDONNEE inriac calculabilité inriac décidabilité inriac langage formel inriac machine Turing inriac théorie automate inriac Sequential machine theory Turing machines Entscheidbarkeit (DE-588)4152398-2 gnd Turing-Maschine (DE-588)4203525-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4152398-2 (DE-588)4203525-9 (DE-588)4138368-0 |
| title | Computability and decidability an introduction for students of computer science |
| title_auth | Computability and decidability an introduction for students of computer science |
| title_exact_search | Computability and decidability an introduction for students of computer science |
| title_full | Computability and decidability an introduction for students of computer science J. Loeckx |
| title_fullStr | Computability and decidability an introduction for students of computer science J. Loeckx |
| title_full_unstemmed | Computability and decidability an introduction for students of computer science J. Loeckx |
| title_short | Computability and decidability |
| title_sort | computability and decidability an introduction for students of computer science |
| title_sub | an introduction for students of computer science |
| topic | DESCRIPTION INSTANTANEE inriac DOMAINE FONCTION CALCULABLE inriac ENSEMBLE DECIDABLE inriac ENSEMBLE ENUMERABLE inriac ENSEMBLE inriac FONCTION CHAINE inriac Machines Turing Machines séquentielles (Théorie) PROBLEME EQUIVALENCE inriac SUITE ORDONNEE inriac calculabilité inriac décidabilité inriac langage formel inriac machine Turing inriac théorie automate inriac Sequential machine theory Turing machines Entscheidbarkeit (DE-588)4152398-2 gnd Turing-Maschine (DE-588)4203525-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | DESCRIPTION INSTANTANEE DOMAINE FONCTION CALCULABLE ENSEMBLE DECIDABLE ENSEMBLE ENUMERABLE ENSEMBLE FONCTION CHAINE Machines Turing Machines séquentielles (Théorie) PROBLEME EQUIVALENCE SUITE ORDONNEE calculabilité décidabilité langage formel machine Turing théorie automate Sequential machine theory Turing machines Entscheidbarkeit Turing-Maschine Berechenbarkeit |
| volume_link | (DE-604)BV000000036 |
| work_keys_str_mv | AT loeckxjacques computabilityanddecidabilityanintroductionforstudentsofcomputerscience |
Paper/Kapitel scannen lassen
Bibliotheksmagazin
| Signatur: |
0024 68 B 549-68 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 MAT 900z 2001 A 986-68 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |