Mathematical logic: foundations for information science
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Basel [u.a.]
Birkhäuser Springer
2014
|
| Ausgabe: | 2., rev. ed. |
| Schriftenreihe: | Progress in computer science and applied logic
25 |
| Schlagworte: | |
| Online-Zugang: | DE-634 DE-861 DE-91 DE-384 DE-19 DE-703 DE-20 DE-739 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783034808613 9783034808620 |
| DOI: | 10.1007/978-3-0348-0862-0 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042216556 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 141201s2014 xx o|||| 00||| eng d | ||
| 015 | |a 14,O12 |2 dnb | ||
| 016 | 7 | |a 1060599279 |2 DE-101 | |
| 020 | |a 9783034808613 |9 978-3-0348-0861-3 | ||
| 020 | |a 9783034808620 |c Online |9 978-3-0348-0862-0 | ||
| 024 | 7 | |a 10.1007/978-3-0348-0862-0 |2 doi | |
| 024 | 3 | |a 9783034808620 | |
| 035 | |a (OCoLC)897832333 | ||
| 035 | |a (DE-599)DNB1060599279 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-91 |a DE-739 |a DE-20 |a DE-19 |a DE-634 |a DE-861 |a DE-384 |a DE-83 | ||
| 082 | 0 | |a 511.3024004 |2 22/ger | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 000 |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 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 | |
| 245 | 1 | 0 | |a Mathematical logic |b foundations for information science |c Wei Li |
| 250 | |a 2., rev. ed. | ||
| 264 | 1 | |a Basel [u.a.] |b Birkhäuser Springer |c 2014 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Progress in computer science and applied logic |v 25 | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 653 | |a Electronic book text | ||
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Progress in computer science and applied logic |v 25 |w (DE-604)BV042031016 |9 25 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-0348-0862-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027655147&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027655147&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027655147 | |
| 966 | e | |u https://doi.org/10.1007/978-3-0348-0862-0 |l DE-634 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-0348-0862-0 |l DE-861 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-0348-0862-0 |l DE-91 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-0348-0862-0 |l DE-384 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-0348-0862-0 |l DE-19 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-0348-0862-0 |l DE-703 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-0348-0862-0 |l DE-20 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-0348-0862-0 |l DE-739 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818043359060557824 |
|---|---|
| adam_text |
MATHEMATICAL LOGIC
/ LI, WEI
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PREFACE
PREFACE TO THE SECOND EDITION
I ELEMENTS OF MATHEMATICAL LOGIC
1 SYNTAX OF FIRST-ORDER LANGUAGES
2 MODELS OF FIRST-ORDER LANGUAGES
3 FORMAL INFERENCE SYSTEMS
4 COMPUTABILITY & REPRESENTABILITY
5 GOEDEL THEOREMS
II LOGICAL FRAMEWORK OF SCIENTIFIC DISCOVERY
6 SEQUENCES OF FORMAL THEORIES
7 REVISION CALCULUS
8 VERSION SEQUENCES
9 INDUCTIVE INFERENCE
10 META-LANGUAGE ENVIRONMENTS
APPENDIX 1 SETS AND MAPS
APPENDIX 2 PROOF OF THE REPRESENTABILITY THEOREM
BIBLIOGRAPHY
INDEX
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
MATHEMATICAL LOGIC
/ LI, WEI
: 2014
ABSTRACT / INHALTSTEXT
MATHEMATICAL LOGIC IS A BRANCH OF MATHEMATICS THAT TAKES AXIOM SYSTEMS
AND MATHEMATICAL PROOFS AS ITS OBJECTS OF STUDY. THIS BOOK SHOWS HOW IT
CAN ALSO PROVIDE A FOUNDATION FOR THE DEVELOPMENT OF INFORMATION SCIENCE
AND TECHNOLOGY. THE FIRST FIVE CHAPTERS SYSTEMATICALLY PRESENT THE CORE
TOPICS OF CLASSICAL MATHEMATICAL LOGIC, INCLUDING THE SYNTAX AND MODELS
OF FIRST-ORDER LANGUAGES, FORMAL INFERENCE SYSTEMS, COMPUTABILITY AND
REPRESENTABILITY, AND GOEDEL’S THEOREMS. THE LAST FIVE CHAPTERS
PRESENT EXTENSIONS AND DEVELOPMENTS OF CLASSICAL MATHEMATICAL LOGIC,
PARTICULARLY THE CONCEPTS OF VERSION SEQUENCES OF FORMAL THEORIES AND
THEIR LIMITS, THE SYSTEM OF REVISION CALCULUS, PROSCHEMES (FORMAL
DESCRIPTIONS OF PROOF METHODS AND STRATEGIES) AND THEIR PROPERTIES, AND
THE THEORY OF INDUCTIVE INFERENCE. ALL OF THESE THEMES CONTRIBUTE TO A
FORMAL THEORY OF AXIOMATIZATION AND ITS APPLICATION TO THE PROCESS OF
DEVELOPING INFORMATION TECHNOLOGY AND SCIENTIFIC THEORIES. THE BOOK ALSO
DESCRIBES THE PARADIGM OF THREE KINDS OF LANGUAGE ENVIRONMENTS FOR
THEORIES AND IT PRESENTS THE BASIC PROPERTIES REQUIRED OF A
META-LANGUAGE ENVIRONMENT. FINALLY, THE BOOK BRINGS THESE THEMES
TOGETHER BY DESCRIBING A WORKFLOW FOR SCIENTIFIC RESEARCH IN THE
INFORMATION ERA IN WHICH FORMAL METHODS, INTERACTIVE SOFTWARE AND HUMAN
INVENTION ARE ALL USED TO THEIR ADVANTAGE. THE SECOND EDITION OF THE
BOOK INCLUDES MAJOR REVISIONS ON THE PROOF OF THE COMPLETENESS THEOREM
OF THE GENTZEN SYSTEM AND NEW CONTENTS ON THE LOGIC OF SCIENTIFIC
DISCOVERY, R-CALCULUS WITHOUT CUT, AND THE OPERATIONAL SEMANTICS OF
PROGRAM DEBUGGING. THIS BOOK REPRESENTS A VALUABLE REFERENCE FOR
GRADUATE AND UNDERGRADUATE STUDENTS AND RESEARCHERS IN MATHEMATICS,
INFORMATION SCIENCE AND TECHNOLOGY, AND OTHER RELEVANT AREAS OF NATURAL
SCIENCES. ITS FIRST FIVE CHAPTERS SERVE AS AN UNDERGRADUATE TEXT IN
MATHEMATICAL LOGIC AND THE LAST FIVE CHAPTERS ARE ADDRESSED TO GRADUATE
STUDENTS IN RELEVANT DISCIPLINES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| 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 | BV042216556 |
| classification_rvk | SK 130 |
| classification_tum | MAT 000 DAT 540f |
| collection | ZDB-2-SMA |
| ctrlnum | (OCoLC)897832333 (DE-599)DNB1060599279 |
| dewey-full | 511.3024004 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3024004 |
| dewey-search | 511.3024004 |
| dewey-sort | 3511.3024004 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-0348-0862-0 |
| edition | 2., rev. ed. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042216556</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">141201s2014 xx o|||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,O12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1060599279</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783034808613</subfield><subfield code="9">978-3-0348-0861-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783034808620</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-0348-0862-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-0348-0862-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783034808620</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)897832333</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1060599279</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-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3024004</subfield><subfield code="2">22/ger</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">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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="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="250" ind1=" " ind2=" "><subfield code="a">2., rev. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel [u.a.]</subfield><subfield code="b">Birkhäuser Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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="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="653" ind1=" " ind2=" "><subfield code="a">Electronic book text</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="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)BV042031016</subfield><subfield code="9">25</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027655147&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027655147&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027655147</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042216556 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-10T09:00:57Z |
| institution | BVB |
| isbn | 9783034808613 9783034808620 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027655147 |
| oclc_num | 897832333 |
| open_access_boolean | |
| owner | DE-703 DE-91 DE-BY-TUM DE-739 DE-20 DE-19 DE-BY-UBM DE-634 DE-861 DE-384 DE-83 |
| owner_facet | DE-703 DE-91 DE-BY-TUM DE-739 DE-20 DE-19 DE-BY-UBM DE-634 DE-861 DE-384 DE-83 |
| physical | 1 Online-Ressource |
| psigel | ZDB-2-SMA |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Birkhäuser Springer |
| record_format | marc |
| series | Progress in computer science and applied logic |
| series2 | Progress in computer science and applied logic |
| spelling | Li, Wei 1943- Verfasser (DE-588)1062904451 aut Mathematical logic foundations for information science Wei Li 2., rev. ed. Basel [u.a.] Birkhäuser Springer 2014 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Progress in computer science and applied logic 25 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Electronic book text Mathematische Logik (DE-588)4037951-6 s DE-604 Progress in computer science and applied logic 25 (DE-604)BV042031016 25 https://doi.org/10.1007/978-3-0348-0862-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027655147&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027655147&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Li, Wei 1943- Mathematical logic foundations for information science Progress in computer science and applied logic Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Mathematical logic foundations for information science |
| 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 | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik |
| url | https://doi.org/10.1007/978-3-0348-0862-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027655147&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027655147&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV042031016 |
| work_keys_str_mv | AT liwei mathematicallogicfoundationsforinformationscience |