Mechanizing hypothesis formation: mathematical foundations for a general theory
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1978
|
| Schriftenreihe: | Universitext.
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001480253&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XV, 396 S. Ill. |
| ISBN: | 3540087389 0387087389 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002252678 | ||
| 003 | DE-604 | ||
| 005 | 20141216 | ||
| 007 | t| | ||
| 008 | 890928s1978 xx a||| |||| 00||| eng d | ||
| 020 | |a 3540087389 |9 3-540-08738-9 | ||
| 020 | |a 0387087389 |9 0-387-08738-9 | ||
| 035 | |a (OCoLC)4277397 | ||
| 035 | |a (DE-599)BVBBV002252678 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-384 |a DE-473 |a DE-703 |a DE-739 |a DE-20 |a DE-19 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.A955 | |
| 082 | 0 | |a 001.535 | |
| 084 | |a QH 120 |0 (DE-625)141532: |2 rvk | ||
| 084 | |a QH 700 |0 (DE-625)141608: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03-01 |2 msc | ||
| 100 | 1 | |a Hájek, Petr |d 1940- |e Verfasser |0 (DE-588)143699024 |4 aut | |
| 245 | 1 | 0 | |a Mechanizing hypothesis formation |b mathematical foundations for a general theory |c P. Hájek ; T. Havránek |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1978 | |
| 300 | |a XV, 396 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Universitext. | |
| 650 | 7 | |a formulation hypothèse |2 inriac | |
| 650 | 7 | |a induction |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a méthode Guha |2 inriac | |
| 650 | 7 | |a théorie découverte |2 inriac | |
| 650 | 4 | |a Automatic hypothesis formation | |
| 650 | 0 | 7 | |a Induktive Logik |0 (DE-588)4161594-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Induktive Logik |0 (DE-588)4161594-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Havránek, Tomáš |e Verfasser |4 aut | |
| 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=001480253&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001480253 | |
| 980 | 4 | |a (DE-12)AK8960366 | |
| 980 | 4 | |a (DE-12)AK09300799 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 700f 2001 A 17143 |
|---|---|
| DE-BY-TUM_katkey | 358435 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010616376 |
| _version_ | 1821937829412864000 |
| adam_text | Contents
Chapter I. INTRODUCTION: WHAT IS A LOGIC OF DISCOVERY ... 1
1.1 Informal considerations 2
1.2 S ome mathematical notions 8
PART A. A LOGIC OF INDUCTION
Chapter II. A FORMALIZATION OF OBSERVATIONAL AND
THEORETICAL LANGUAGES 26
II. 1 Structures 27
II.2 Observational predicate calculi 31
II. 3 Function calculi 40
II.4- Function calculi with state dependent models 45
Chapter III. THE LOGIC OF OBSERVATIONAL FUNCTOR CALCULI 53
III. 1 Monadic observational predicate calculi 55
III. 2 Associational and implicational quantifiers 70
III.3 Calculi with incomplete information 83
III.4- Calculi with qualitative values 95
III.5 More on the logic of observational predicate calculi 105
Chapter IV. LOGICAL FOUNDATIONS OF COMPUTATIONAL
STATISTICS 122
IV. 1 Preliminaries 123
IV .2 The concept of statistics 127
IV.3 The form of theoretical sentences and inference rules 137
IV.4- Observational predicate calculi based on statistical
procedures 144
IV.5 Some properties of statistically motivated observational
function calculi 163
Chapter V. RANK CALCULI 182
V.I Generalized random structures and the hypothesis H of
d-homogeneity
V .2 Rank tests of d-homogeneity and independence 200
V. 3 Function calculi with enumeration models 208
V.4- Observational monadic function calculi with rational valued
models 221
PART B. A LOGIC OF SUGGESTION
Chapter VI. LISTING OF IMPORTANT OBSERVATIONAL STATEMENTS
AND RELATED LOGICAL PROBLEMS 236
VI.1 Observational research problems and their solutions 238
VI.2 Indirect solutions 254
VI.3 Helpful quantifiers in X-predicate calculi 262
VI.4 Incompressibility -
Chapter VII. A GENERAL GUHA-METHOD WITH ASSOCIATIONAL
QUANTIFIERS 288
Vll. 1 A system of r-problems 290
VII. 2 Solutions 300
VII. 3 Remarks on realization and optimization 310
VII.4- Some remarks concerning GUHA-methods based on
rank calculi 321
Chapter VIII. FURTHER STATISTICAL PROBLEMS OF THE LOGIC
OF DISCOVERY 331
VIII. 1 Local interpretation 332
VIII.2 Global interpretation 343
VIII.3 Some questions for statistics 354
Postcript: SOME REMARKS ON THE HISTORY OF THE GUHA
METHOD AND ITS LOGIC OF DISCOVERY 374
Index 381
Bibliography 387
|
| any_adam_object | 1 |
| author | Hájek, Petr 1940- Havránek, Tomáš |
| author_GND | (DE-588)143699024 |
| author_facet | Hájek, Petr 1940- Havránek, Tomáš |
| author_role | aut aut |
| author_sort | Hájek, Petr 1940- |
| author_variant | p h ph t h th |
| building | Verbundindex |
| bvnumber | BV002252678 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A955 |
| callnumber-search | QA76.9.A955 |
| callnumber-sort | QA 276.9 A955 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | QH 120 QH 700 SK 130 |
| ctrlnum | (OCoLC)4277397 (DE-599)BVBBV002252678 |
| dewey-full | 001.535 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.535 |
| dewey-search | 001.535 |
| dewey-sort | 11.535 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Mathematik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02034nam a2200529 c 4500</leader><controlfield tag="001">BV002252678</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141216 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1978 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540087389</subfield><subfield code="9">3-540-08738-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387087389</subfield><subfield code="9">0-387-08738-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)4277397</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002252678</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A955</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.535</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 120</subfield><subfield code="0">(DE-625)141532:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 700</subfield><subfield code="0">(DE-625)141608:</subfield><subfield code="2">rvk</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">03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hájek, Petr</subfield><subfield code="d">1940-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)143699024</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mechanizing hypothesis formation</subfield><subfield code="b">mathematical foundations for a general theory</subfield><subfield code="c">P. Hájek ; T. Havránek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 396 S.</subfield><subfield code="b">Ill.</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="0" ind2=" "><subfield code="a">Universitext.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">formulation hypothèse</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">induction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode Guha</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie découverte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic hypothesis formation</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Induktive Logik</subfield><subfield code="0">(DE-588)4161594-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Induktive Logik</subfield><subfield code="0">(DE-588)4161594-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Havránek, Tomáš</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=001480253&sequence=000002&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-001480253</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK8960366</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK09300799</subfield></datafield></record></collection> |
| id | DE-604.BV002252678 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T07:48:21Z |
| institution | BVB |
| isbn | 3540087389 0387087389 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001480253 |
| oclc_num | 4277397 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-20 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-20 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | XV, 396 S. Ill. |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Springer |
| record_format | marc |
| series2 | Universitext. |
| spellingShingle | Hájek, Petr 1940- Havránek, Tomáš Mechanizing hypothesis formation mathematical foundations for a general theory formulation hypothèse inriac induction inriac logique inriac méthode Guha inriac théorie découverte inriac Automatic hypothesis formation Induktive Logik (DE-588)4161594-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4161594-3 (DE-588)4033447-8 |
| title | Mechanizing hypothesis formation mathematical foundations for a general theory |
| title_auth | Mechanizing hypothesis formation mathematical foundations for a general theory |
| title_exact_search | Mechanizing hypothesis formation mathematical foundations for a general theory |
| title_full | Mechanizing hypothesis formation mathematical foundations for a general theory P. Hájek ; T. Havránek |
| title_fullStr | Mechanizing hypothesis formation mathematical foundations for a general theory P. Hájek ; T. Havránek |
| title_full_unstemmed | Mechanizing hypothesis formation mathematical foundations for a general theory P. Hájek ; T. Havránek |
| title_short | Mechanizing hypothesis formation |
| title_sort | mechanizing hypothesis formation mathematical foundations for a general theory |
| title_sub | mathematical foundations for a general theory |
| topic | formulation hypothèse inriac induction inriac logique inriac méthode Guha inriac théorie découverte inriac Automatic hypothesis formation Induktive Logik (DE-588)4161594-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | formulation hypothèse induction logique méthode Guha théorie découverte Automatic hypothesis formation Induktive Logik Künstliche Intelligenz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001480253&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hajekpetr mechanizinghypothesisformationmathematicalfoundationsforageneraltheory AT havranektomas mechanizinghypothesisformationmathematicalfoundationsforageneraltheory |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 700f 2001 A 17143 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |