Computability and decidability: an introduction for students of computer science
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1972
|
| Series: | Lecture notes in economics and mathematical systems
68 |
| Subjects: | |
| Physical Description: | VI, 76 S. graph. Darst. |
| ISBN: | 3540058699 0387058699 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005709279 | ||
| 003 | DE-604 | ||
| 005 | 20180921 | ||
| 007 | t | ||
| 008 | 921028s1972 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003566515 | ||
| 980 | 4 | |a (DE-12)AK13490418 | |
Record in the Search Index
| _version_ | 1804119895584014336 |
|---|---|
| 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>02642nam 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 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="999" ind1=" " 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-07-09T16:33:28Z |
| 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 |
| spelling | Loeckx, Jacques Verfasser aut Computability and decidability an introduction for students of computer science J. Loeckx Berlin [u.a.] Springer 1972 VI, 76 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in economics and mathematical systems 68 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 rswk-swf Turing-Maschine (DE-588)4203525-9 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Entscheidbarkeit (DE-588)4152398-2 s Berechenbarkeit (DE-588)4138368-0 s DE-604 Turing-Maschine (DE-588)4203525-9 s Lecture notes in economics and mathematical systems 68 (DE-604)BV000000036 68 |
| 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 |