Mathematical logic: foundations for information science
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Basel [u.a.]
Birkhäuser
2010
|
| Schriftenreihe: | Progress in computer science and applied logic
25 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017699138&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XII, 261 S. |
| ISBN: | 9783764399764 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035644403 | ||
| 003 | DE-604 | ||
| 005 | 20141201 | ||
| 007 | t| | ||
| 008 | 090724s2010 xx |||| 00||| eng d | ||
| 015 | |a 08,N49,0633 |2 dnb | ||
| 016 | 7 | |a 991246128 |2 DE-101 | |
| 020 | |a 9783764399764 |c Gb. : EUR 53.39 (freier Pr.), sfr 89.90 (freier Pr.) |9 978-3-7643-9976-4 | ||
| 024 | 3 | |a 9783764399764 | |
| 028 | 5 | 2 | |a 12538386 |
| 035 | |a (OCoLC)496229267 | ||
| 035 | |a (DE-599)DNB991246128 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-19 |a DE-91G |a DE-634 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Li, Wei |d 1943- |e Verfasser |0 (DE-588)1062904451 |4 aut | |
| 240 | 1 | 0 | |a Mathematical logic - basic principles and formal calculus |
| 245 | 1 | 0 | |a Mathematical logic |b foundations for information science |c Wei Li |
| 264 | 1 | |a Basel [u.a.] |b Birkhäuser |c 2010 | |
| 300 | |a XII, 261 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Progress in computer science and applied logic |v 25 | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-7643-9977-1 |
| 830 | 0 | |a Progress in computer science and applied logic |v 25 |w (DE-604)BV004157568 |9 25 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017699138&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017699138 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 540f 2010 A 1473 |
|---|---|
| DE-BY-TUM_katkey | 1720520 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010184839 |
| _version_ | 1821933824472252416 |
| adam_text |
4.5 PROBLEM OF REPRESENTABILITY 81 CONTENTS PREFACE IX CHAPTER 1 SYNTAX
OF FIRST-ORDER LANGUAGES 1 1.1 SYMBOLS OF FIRST-ORDER LANGUAGES 4 1.2
TERMS 6 1.3 LOGICAL FORMULAS 8 1.4 FREE VARIABLES AND SUBSTITUTIONS 9
1.5 GODEI TERMS OF FORMULAS 13 1.6 PROOF BY STRUCTURAL INDUCTION 15
CHAPTER 2 MODELS OF FIRST-ORDER LANGUAGES 19 2.1 DOMAINS AND
INTERPRETATIONS 22 2.2 ASSIGNMENTS AND MODELS 24 2.3 SEMANTICS OF TERMS
24 2.4 SEMANTICS OF LOGICAL CONNECTIVE SYMBOLS 25 2.5 SEMANTICS OF
FORMULAS 27 2.6 SATISFIABILITY AND VALIDITY 30 2.7 VALID FORMULAS WITH
- 31 2.8 HINTIKKASET 33 2.9 HERBRAND MODEL 35 2.10 HERBRAND MODEL WITH
VARIABLES 38 2.11 SUBSTITUTION LEMMA 41 2.12 THEOREM OF ISOMORPHISM 42
CHAPTER 3 FORMAL INFERENCE SYSTEMS 45 3.1 G INFERENCE SYSTEM 49 3.2
INFERENCE TREES, PROOF TREES AND PROVABLE SEQUENTS 52 3.3 SOUNDNESS OF
THE G INFERENCE SYSTEM 57 3.4 COMPACTNESS AND CONSISTENCY 61 3.5
COMPLETENESS OF THE G INFERENCE SYSTEM 63 3.6 SOME COMMONLY USED
INFERENCE RALES 66 3.7 PROOF THEORY AND MODEL THEORY 68 CHAPTER 4
COMPUTABILITY & REPRESENTABILITY 71 4.1 FORMAL THEORY 72 4.2 ELEMENTARY
ARITHMETIC THEORY 74 4.3 P-KERNELONN 76 4.4 CHURCH-TURING THESIS 80
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/991246128 DIGITALISIERT
DURCH VI CONTENTS 4.6 STATES OF P-KERNEL 82 4.7 OPERATIONAL CALCULUS OF
P-KERNEL 84 4.8 REPRESENTATIONS OF STATEMENTS 86 4.9 REPRESENTABILITY
THEOREM 95 CHAPTER 5 GODEI THEOREMS 97 5.1 SELF-REFERENTIAL PROPOSITION
98 5.2 DECIDABLE SETS 100 5.3 FIXED POINT EQUATION IN * 104 5.4 GOEDEL'S
INCOMPLETENESS THEOREM 107 5.5 GOEDEL'S CONSISTENCY THEOREM 109 5.6
HALTING PROBLEM 112 CHAPTER 6 SEQUENCES OF FORMAL THEORIES 117 6.1 TWO
EXAMPLES 118 6.2 SEQUENCES OF FORMAL THEORIES 122 6.3 PROSCHEMES 125 6.4
RESOLVENT SEQUENCES 128 6.5 DEFAULT EXPANSION SEQUENCES 130 6.6 FORCING
SEQUENCES 133 6.7 DISCUSSIONS ON PROSCHEMES 136 CHAPTER 7 REVISION
CALCULUS 139 7.1 NECESSARY ANTECEDENTS OF FORMAL CONSEQUENCES 140 7.2
NEW CONJECTURES AND NEW AXIOMS 143 7.3 REFUTATION BY FACTS AND MAXIMAL
CONTRACTION 144 7.4 R-CALCULUS 146 7.5 SOME EXAMPLES 153 7.6 SPECIAL
THEORY OF RELATIVITY 155 7.7 DARWIN'S THEORY OF EVOLUTION 156 7.8
REACHABILITY OF R-CALCULUS 160 7.9 SOUNDNESS AND COMPLETENESS OF
R-CALCULUS 163 7.10 BASIC THEOREM OF TESTING 164 CHAPTER 8 VERSION
SEQUENCES 169 8.1 VERSIONS AND VERSION SEQUENCES 171 8.2 THE PROSCHEME
OPEN 172 8.3 CONVERGENCE OF THE PROSCHEME 176 8.4 COMMUTATIVITY OF THE
PROSCHEME 178 8. CONTENTS VII CHAPTER 9 INDUCTIVE INFERENCE 187 9.1
GROUND TERMS, BASIC SENTENCES, AND BASIC INSTANCES 190 9.2 INDUCTIVE
INFERENCE SYSTEM A 192 9.3 INDUCTIVE VERSIONS AND INDUCTIVE PROCESS 197
9.4 THE PROSCHEME GUINA 197 9.5 CONVERGENCE OF THE PROSCHEME GUINA 204
9.6 COMMUTATIVITY OF THE PROSCHEME GUINA 206 9.7 INDEPENDENCE OF THE
PROSCHEME GUINA 207 CHAPTER 10 WORKFLOWS FOR SCIENTIFIC DISCOVERY 209
10.1 THREE LANGUAGE ENVIRONMENTS 209 10.2 BASIC PRINCIPLES OF THE
META-LANGUAGE ENVIRONMENT 213 10.3 AXIOMATIZATION 217 10.4 FORMAL
METHODS 219 10.5 WORKFLOW OF SCIENTIFIC RESEARCH 225 APPENDIX 1 SETS AND
MAPS 229 APPENDIX 2 SUBSTITUTION LEMMA AND ITS PROOF 233 APPENDIX 3
PROOF OF THE REPRESENTABILITY THEOREM 237 A3.1 REPRESENTATION OF THE
WHILE STATEMENT IN * 237 A3.2 REPRESENTABILITY OF THE P-PROCEDURE BODY
244 BIBLIOGRAPHY 253 INDEX 257 |
| any_adam_object | 1 |
| author | Li, Wei 1943- |
| author_GND | (DE-588)1062904451 |
| author_facet | Li, Wei 1943- |
| author_role | aut |
| author_sort | Li, Wei 1943- |
| author_variant | w l wl |
| building | Verbundindex |
| bvnumber | BV035644403 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 ST 125 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)496229267 (DE-599)DNB991246128 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035644403</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141201</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090724s2010 xx |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N49,0633</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">991246128</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783764399764</subfield><subfield code="c">Gb. : EUR 53.39 (freier Pr.), sfr 89.90 (freier Pr.)</subfield><subfield code="9">978-3-7643-9976-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783764399764</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12538386</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)496229267</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB991246128</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-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</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">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Li, Wei</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1062904451</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Mathematical logic - basic principles and formal calculus</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical logic</subfield><subfield code="b">foundations for information science</subfield><subfield code="c">Wei Li</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel [u.a.]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 261 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">Progress in computer science and applied logic</subfield><subfield code="v">25</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-7643-9977-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">25</subfield><subfield code="w">(DE-604)BV004157568</subfield><subfield code="9">25</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=017699138&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017699138</subfield></datafield></record></collection> |
| id | DE-604.BV035644403 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-11T14:29:40Z |
| institution | BVB |
| isbn | 9783764399764 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017699138 |
| oclc_num | 496229267 |
| open_access_boolean | |
| owner | DE-703 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-634 DE-11 DE-188 |
| owner_facet | DE-703 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-634 DE-11 DE-188 |
| physical | XII, 261 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Birkhäuser |
| record_format | marc |
| series | Progress in computer science and applied logic |
| series2 | Progress in computer science and applied logic |
| spellingShingle | Li, Wei 1943- Mathematical logic foundations for information science Progress in computer science and applied logic Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Mathematical logic foundations for information science |
| title_alt | Mathematical logic - basic principles and formal calculus |
| title_auth | Mathematical logic foundations for information science |
| title_exact_search | Mathematical logic foundations for information science |
| title_full | Mathematical logic foundations for information science Wei Li |
| title_fullStr | Mathematical logic foundations for information science Wei Li |
| title_full_unstemmed | Mathematical logic foundations for information science Wei Li |
| title_short | Mathematical logic |
| title_sort | mathematical logic foundations for information science |
| title_sub | foundations for information science |
| topic | Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017699138&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004157568 |
| work_keys_str_mv | AT liwei mathematicallogicbasicprinciplesandformalcalculus AT liwei mathematicallogicfoundationsforinformationscience |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 540f 2010 A 1473 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |