Computable models:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London
Springer
2009
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 240 S. |
| ISBN: | 9781848820517 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035633027 | ||
| 003 | DE-604 | ||
| 005 | 20091103 | ||
| 007 | t | ||
| 008 | 090717s2009 |||| 00||| eng d | ||
| 015 | |a 08,N37,0071 |2 dnb | ||
| 016 | 7 | |a 990121798 |2 DE-101 | |
| 020 | |a 9781848820517 |c Gb. : ca. EUR 74.85 (freier Pr.), ca. sfr 116.50 (freier Pr.) |9 978-1-84882-051-7 | ||
| 024 | 3 | |a 9781848820517 | |
| 028 | 5 | 2 | |a 12168965 |
| 035 | |a (OCoLC)268931377 | ||
| 035 | |a (DE-599)DNB990121798 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-11 | ||
| 050 | 0 | |a QA9.59 | |
| 082 | 0 | |a 003.3 |2 22 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Turner, Raymond |d 1947- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computable models |c Raymond Turner |
| 264 | 1 | |a London |b Springer |c 2009 | |
| 300 | |a XI, 240 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Computable functions | |
| 650 | 4 | |a Model theory | |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematisches Modell |0 (DE-588)4114528-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematisches Modell |0 (DE-588)4114528-8 |D s |
| 689 | 0 | 1 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 1 | 1 | |a Mathematisches Modell |0 (DE-588)4114528-8 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017687927&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017687927 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804139309971800064 |
|---|---|
| adam_text | Contents
1
What is a Computable Model?
.................................. 1
1.1
Mathematical Models
..................................... 1
1.2
Specifications, Programs, and Models
....................... 2
1.3
Data Types and Programming Languages
..................... 3
1.4
Theories of Data
......................................... 4
1.5
Recursive Models
........................................ 5
1.6
Intensional Models
....................................... 6
1.7
A Logical Foundation for Specification
...................... 7
1.8
Implementable Models
.................................... 7
1.9
The Logical Setting
....................................... 8
References
.................................................... 9
2
Typed Predicate Logic
.......................................... 11
2.1
Judgments and Contexts
................................... 11
2.2
Structural Rules
.......................................... 13
2.3
Types
................................................... 13
2.4
Relations and Functions
................................... 15
2.5
Equality
................................................ 15
2.6
Prepositional Rules
....................................... 16
2.7
Quantifier Rules
.......................................... 17
2.8
TPL Derivations
......................................... 18
2.9
Type Inference
........................................... 20
References
.................................................... 23
3
Data Types
.................................................... 25
3.1
Booleans
................................................ 25
3.2
Products
................................................ 27
3.3
Stacks
.................................................. 29
3.4
Terms
.................................................. 30
3.5
Numbers
................................................ 30
3.6
Lists
................................................... 32
3.7
A Type of Types
......................................... 33
iii
Contents
3.8
Theories of Data Types
.................................... 33
References
.................................................... 35
4
Definability
................................................... 37
4.1
Semidecidable Relations
................................... 38
4.2
Decidable Relations
...................................... 39
References
.................................................... 41
5
Specification
.................................................. 43
5.1
A Logical Perspective
..................................... 44
5.2
Some Specifications
...................................... 45
5.3
Operations on Schema
.................................... 48
5.4
Conservative Extensions
................................... 51
References
.................................................... 52
6
Functions
..................................................... 53
6.1
Totality and Functionality
.................................. 53
6.2
Functional Application
.................................... 54
6.3
Explicit Functions
........................................ 57
6.4
The Elimination of Application
............................. 59
References
.................................................... 62
7
Preconditions
................................................. 63
7.1
Specifications with Preconditions
........................... 63
7.2
Totality and Functionality
.................................. 65
7.3
Functional Application
.................................... 67
7.4
Application Elimination
................................... 69
7.5
Partial Functions
......................................... 69
References
.................................................... 70
8
Natural Numbers
.............................................. 71
8.1
A Theory of Numbers
..................................... 71
8.2
Numerical Specification
................................... 74
8.3
Recursive Specifications
................................... 79
8.4
Enriched Arithmetic
...................................... 82
8.5
Arithmetic Interpretation
.................................. 83
References
.................................................... 84
9
Typed Set Theory
.............................................. 85
9.1
CST
.................................................... 85
9.2
Elementary Properties
..................................... 88
9.3
Subsets and Extensionality
................................. 89
9.4
New Sets from Old
....................................... 90
9.5
Set-Theoretic Relations
................................... 97
Contents jx
9.6
Arithmetic
Interpretation..................................100
References
................................................... 102
10 Systems
Modeling
.............................................1
03
10.1
The Requirements
........................................
ЮЗ
10.2
The State
...............................................104
10.3
Operations
..............................................107
10.4
A Mathematical Model
....................................108
References
....................................................
Ill
11
A Type of Types
...............................................113
11.1
The Type type
...........................................114
11.2
Dependent Types
.........................................115
11.3
Dependent Specifications
..................................116
11.4
Polymorphic Specifications
................................117
11.5
Polymorphic Set Theory
...................................
1
20
11.6
Specifications and Types
...................................122
11.7
Arithmetic Interpretation
..................................124
References
....................................................125
12
Schemata
.....................................................127
12.1
A Theory of Relations
.....................................127
12.2
A Minimal Theory
........................................130
12.3
Operations on Schemata
...................................132
12.4
Arithmetic Interpretation
..................................139
References
....................................................140
13
Separation Types
..............................................143
13.1
Theories with Separation
..................................143
13.2
Subtypes in Specification
..................................145
13.3
Preconditions and Functions
...............................146
13.4
Polymorphism and Subtypes
...............................148
13.5
The Elimination of Subtypes
...............................149
References
....................................................153
14
Recursive Schemata
............................................155
14.1
Closure and Induction
..................................... 55
14.2
Simultaneous Recursion
...................................158
14.3
Arithmetic Interpretation
..................................162
14.4
Sets and Schemata
........................................
162
References
....................................................
166
15
Inductive Types
................................................
167
15.1
The General Form
........................................
167
x
Contents
15.2
Some Inductive Types
.....................................168
15.3
Conservative Extensions
...................................170
15.4
Finite Schemata
..........................................171
References
....................................................175
16
Recursive Functions
...........................................177
16.1
General Form
............................................177
16.2
Numerical Recursion
.....................................180
16.3
Recursive Functions and Inductive Types
.....................181
References
....................................................183
17
Schema Definitions
............................................185
17.1
Schema Definitions
.......................................185
17.2
Refinement
..............................................188
17.3
Implementable Definitions
.................................191
17.4
The Limits of Refinement
..................................192
17.5
Properties of Schemata
....................................193
References
....................................................194
18
Computable Ontology
..........................................195
18.1
Implementable Models
.................................... 195
18.2
A Type of Events
......................................... 196
18.3
Arithmetic Interpretation
.................................. 197
18.4
Instants
................................................. 198
18.5
Implementation
.......................................... 199
References
.................................................... 199
19
Classes
.......................................................201
19.1
Classes and Judgments
....................................201
19.2
Class Elimination
........................................204
References
....................................................205
20
Classes of Functions
...........................................207
20.1
Function Application
.....................................207
20.2
Specifications and Function Classes
.........................209
20.3
Partial Functions
.........................................212
20.4
Polymorphism
...........................................213
References
....................................................215
21
Computable Analysis
..........................................217
21.1
Cauchy Sequences
........................................217
21.2
Operations on the Real Numbers
............................219
21.3
Implementation
..........................................220
References
....................................................222
Contents xi
22 Programming
Language Specification
............................223
22.1
The Abstract Machine
.....................................223
22.2
A Programming Language and Its Specification
...............226
22.3
Implementation
..........................................228
References
....................................................229
23
Abstract Types
................................................231
23.1
Axiomatic Specifications
..................................231
23.2
Polymorphism and Data Abstraction
.........................234
References
....................................................236
24
Conclusion
....................................................237
Index
.............................................................239
|
| any_adam_object | 1 |
| author | Turner, Raymond 1947- |
| author_facet | Turner, Raymond 1947- |
| author_role | aut |
| author_sort | Turner, Raymond 1947- |
| author_variant | r t rt |
| building | Verbundindex |
| bvnumber | BV035633027 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.59 |
| callnumber-search | QA9.59 |
| callnumber-sort | QA 19.59 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)268931377 (DE-599)DNB990121798 |
| dewey-full | 003.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003.3 |
| dewey-search | 003.3 |
| dewey-sort | 13.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01885nam a2200505 c 4500</leader><controlfield tag="001">BV035633027</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091103 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090717s2009 |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N37,0071</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">990121798</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848820517</subfield><subfield code="c">Gb. : ca. EUR 74.85 (freier Pr.), ca. sfr 116.50 (freier Pr.)</subfield><subfield code="9">978-1-84882-051-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781848820517</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12168965</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)268931377</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB990121798</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-703</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.59</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.3</subfield><subfield code="2">22</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Turner, Raymond</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computable models</subfield><subfield code="c">Raymond Turner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 240 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="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</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">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</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">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</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=017687927&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-017687927</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV035633027 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T21:42:03Z |
| institution | BVB |
| isbn | 9781848820517 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017687927 |
| oclc_num | 268931377 |
| open_access_boolean | |
| owner | DE-703 DE-11 |
| owner_facet | DE-703 DE-11 |
| physical | XI, 240 S. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| spelling | Turner, Raymond 1947- Verfasser aut Computable models Raymond Turner London Springer 2009 XI, 240 S. txt rdacontent n rdamedia nc rdacarrier Computable functions Model theory Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Mathematisches Modell (DE-588)4114528-8 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Mathematisches Modell (DE-588)4114528-8 s Berechenbarkeit (DE-588)4138368-0 s DE-604 Berechnungstheorie (DE-588)4005581-4 s 1\p DE-604 Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017687927&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Turner, Raymond 1947- Computable models Computable functions Model theory Berechenbarkeit (DE-588)4138368-0 gnd Mathematisches Modell (DE-588)4114528-8 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)4114528-8 (DE-588)4005581-4 |
| title | Computable models |
| title_auth | Computable models |
| title_exact_search | Computable models |
| title_full | Computable models Raymond Turner |
| title_fullStr | Computable models Raymond Turner |
| title_full_unstemmed | Computable models Raymond Turner |
| title_short | Computable models |
| title_sort | computable models |
| topic | Computable functions Model theory Berechenbarkeit (DE-588)4138368-0 gnd Mathematisches Modell (DE-588)4114528-8 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Computable functions Model theory Berechenbarkeit Mathematisches Modell Berechnungstheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017687927&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT turnerraymond computablemodels |