Recursive procedures:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Mathematisch Centrum
1973
|
| Ausgabe: | 2. print. |
| Schriftenreihe: | Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts.
24. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 108 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV003662888 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 900725s1973 |||| 00||| eng d | ||
| 035 | |a (OCoLC)313355180 | ||
| 035 | |a (DE-599)BVBBV003662888 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-83 | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a 68A05 |2 msc | ||
| 100 | 1 | |a Bakker, Jacobus W. de |d 1939-2012 |e Verfasser |0 (DE-588)1047965461 |4 aut | |
| 245 | 1 | 0 | |a Recursive procedures |
| 250 | |a 2. print. | ||
| 264 | 1 | |a Amsterdam |b Mathematisch Centrum |c 1973 | |
| 300 | |a 108 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts. |v 24. | |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 830 | 0 | |a Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts. |v 24. |w (DE-604)BV000893527 |9 24. | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002331751&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002331751 | ||
Datensatz im Suchindex
| _version_ | 1804118009624657920 |
|---|---|
| adam_text | CONTENTS
1. INTRODUCTION 1
1.1. General 1
1.2. Related work 3
2. RECURSIVE PROCEDURES 5
3. THE u CALCULUS 16
3.1. Language
20
3.2. Interpretation
21
3.3. Axioms and rules
23
3.1*. Justification
3.5. First applications
4. EXAMPLES 32
32
4.1. While statements
It.2. A while statement example from Dijkstra 38
4.3. A while statement example from Cooper 41
4.4. Reduction of flow charts to while statements 45
48
4.5. McCarthy s 91 function
59
5. REGULAR TERMS AND THEIR NORMAL FORM
80
6. COMPLETENESS PROOF
80
6.1. Outline of the proof
82
6.2. Normal assertions
88
6.3. Complexity of normal assertions
91
6.4. Auxiliary lemmas
95
6.5. Case analysis
104
7. CONCLUSIONS
106
BIBLIOGRAPHY
|
| any_adam_object | 1 |
| author | Bakker, Jacobus W. de 1939-2012 |
| author_GND | (DE-588)1047965461 |
| author_facet | Bakker, Jacobus W. de 1939-2012 |
| author_role | aut |
| author_sort | Bakker, Jacobus W. de 1939-2012 |
| author_variant | j w d b jwd jwdb |
| building | Verbundindex |
| bvnumber | BV003662888 |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)313355180 (DE-599)BVBBV003662888 |
| discipline | Informatik |
| edition | 2. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01636nam a2200421 cb4500</leader><controlfield tag="001">BV003662888</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1973 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)313355180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003662888</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-384</subfield><subfield code="a">DE-83</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">68A05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bakker, Jacobus W. de</subfield><subfield code="d">1939-2012</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047965461</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recursive procedures</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Mathematisch Centrum</subfield><subfield code="c">1973</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">108 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="1" ind2=" "><subfield code="a">Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts.</subfield><subfield code="v">24.</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="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts.</subfield><subfield code="v">24.</subfield><subfield code="w">(DE-604)BV000893527</subfield><subfield code="9">24.</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=002331751&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-002331751</subfield></datafield></record></collection> |
| id | DE-604.BV003662888 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:03:29Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002331751 |
| oclc_num | 313355180 |
| open_access_boolean | |
| owner | DE-384 DE-83 |
| owner_facet | DE-384 DE-83 |
| physical | 108 S. |
| publishDate | 1973 |
| publishDateSearch | 1973 |
| publishDateSort | 1973 |
| publisher | Mathematisch Centrum |
| record_format | marc |
| series | Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts. |
| series2 | Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts. |
| spelling | Bakker, Jacobus W. de 1939-2012 Verfasser (DE-588)1047965461 aut Recursive procedures 2. print. Amsterdam Mathematisch Centrum 1973 108 S. txt rdacontent n rdamedia nc rdacarrier Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts. 24. Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 s DE-604 Programmierung (DE-588)4076370-5 s Mathematische Logik (DE-588)4037951-6 s Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts. 24. (DE-604)BV000893527 24. HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002331751&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bakker, Jacobus W. de 1939-2012 Recursive procedures Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts. Berechenbarkeit (DE-588)4138368-0 gnd Mathematische Logik (DE-588)4037951-6 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)4037951-6 (DE-588)4076370-5 |
| title | Recursive procedures |
| title_auth | Recursive procedures |
| title_exact_search | Recursive procedures |
| title_full | Recursive procedures |
| title_fullStr | Recursive procedures |
| title_full_unstemmed | Recursive procedures |
| title_short | Recursive procedures |
| title_sort | recursive procedures |
| topic | Berechenbarkeit (DE-588)4138368-0 gnd Mathematische Logik (DE-588)4037951-6 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Berechenbarkeit Mathematische Logik Programmierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002331751&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893527 |
| work_keys_str_mv | AT bakkerjacobuswde recursiveprocedures |