Modularisierte Suche in Theorembeweisern:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
1998
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | München, Techn. Univ., Diss., 1998 |
| Beschreibung: | 103 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012394724 | ||
| 003 | DE-604 | ||
| 005 | 19990615 | ||
| 007 | t | ||
| 008 | 990208s1998 m||| 00||| gerod | ||
| 016 | 7 | |a 959613129 |2 DE-101 | |
| 035 | |a (OCoLC)50460324 | ||
| 035 | |a (DE-599)BVBBV012394724 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-91G |a DE-12 | ||
| 084 | |a DAT 706d |2 stub | ||
| 100 | 1 | |a Draeger, Joachim |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modularisierte Suche in Theorembeweisern |c Joachim Draeger |
| 264 | 1 | |c 1998 | |
| 300 | |a 103 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a München, Techn. Univ., Diss., 1998 | ||
| 650 | 7 | |a Hochschulschrift |2 gtt | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modularität |0 (DE-588)4240639-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | 1 | |a Modularität |0 (DE-588)4240639-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=008407969&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008407969 | |
Datensatz im Suchindex
| _version_ | 1812461191156465664 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1 EINFUEHRUNG 3
1.1 MOTIVATION. 3
1.2 ZIEL DER ARBEIT . 6
1.3 UEBERBLICK . 7
2 VERWENDUNG VON MODULARISIERUNGEN 8
2.1 PRINZIPIEN DER MODULARISIERUNG . 8
2.1.1 EINIGE FORMALE DEFINITIONEN . 8
2.1.2 ZIELSETZUNG BEI DER MODULARISIERUNG. 10
2.1.3 FEHLERTOLERANZ DURCH REDUNDANZ. 13
2.1.4 BEISPIEL SCHACH. 16
2.2 EFFEKTE DER MODULARISIERUNG. 18
2.2.1 EINSICHT IN DEN BEWEISVORGANG. 18
2.2.2 EFFEKTE ALTERNATIVER BEARBEITUNGSMETHODEN. 19
2.2.3 EFFEKTE KOMBINIERTER BEARBEITUNGSMETHODEN. 28
3 BEURTEILUNG VON MODULARISIERUNGEN 30
3.1 DER INFORMATIONSBEGRIFF. 30
3.1.1 NOTWENDIGKEIT NICHTSYMBOLISCHER BETRACHTUNGEN. 30
3.1.2 INFORMATION UND ENTROPIE . 33
3.1.3 MAXIMIERUNG UND MINIMIERUNG DER ENTROPIE. 34
3.2 DA; INFORMATIONSMASS. 3S
3.2.1 PRINZIP DES INFORMATIONSMASSES. 38
3.2.2 EINFLUSS DER AUFWANDSABSCHAETZUNG. 39
3.2.3 EINFLUSS DER RELEVANZABSCHAETZUNG. 40
3.2.4 FALLSTUDIE ZUR RELEVANZABSCHAETZUNG. 50
4 MODIFIKATION VON MODULARISIERUNGEN 53
4.1 EVOLUTIONSVORGAENGE UND MODIFIKATIONEN. 53
4.1.1 ERKENNTNISGEWINN ALS MODIFIKATION . 53
4.1.2 VERGESSEN ALS MODIFIKATION. 56
4.1.3 ENTROPIE ALS INDIKATOR DER EVOLUTION . 58
4.1.4 EVOLUTION DURCH MODIFIKATIONEN. 59
1
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/959613129
4.1.5 SELBSTORGANISATION DURCH MODIFIKATIONEN. 63
4.2 SUCHVORGAENGE UND MODIFIKATIONEN. 65
4.2.1 DETERMINISTISCHE LOKALE SUCHE. 65
4.2.2 STOCHASTISCHE LOKALE SUCHE. 68
4.2.3 (KO)EVOLVIERENDE SUCHE. 72
4.2.4 HIERARCHISCHE SUCHE. 75
4.2.5 SUCHE IM RAUM DER FEATURES. 78
5 EINE PROTOTYPISCHE IMPLEMENTIERUNG UND ERSTE ERGEBNISSE 80
5.1 VORUEBERLEGUNGEN . 80
5.1.1 PROTOTYPISCHE VEREINFACHUNGEN. SO
5.1.2 DER VERWENDETE BEWEISER. 80
5.1.3 DER VERWENDETE LEMMAGENERATOR. 82
5.1.4 ANMERKUNGEN ZUR IMPLEMENTIERUNG. 84
5.2 ARBEITSWEISE. 84
5.2.1 ALGORITHMUS. 84
5.2.2 HEURISTIKEN. 86
5.2.3 EXPERIMENTE. 88
6 ZUSAMMENFASSUNG UND AUSBLICK 93
A AXIOMENSYSTEM DER KOERPERTHEORIE 95
2 |
| any_adam_object | 1 |
| author | Draeger, Joachim |
| author_facet | Draeger, Joachim |
| author_role | aut |
| author_sort | Draeger, Joachim |
| author_variant | j d jd |
| building | Verbundindex |
| bvnumber | BV012394724 |
| classification_tum | DAT 706d |
| ctrlnum | (OCoLC)50460324 (DE-599)BVBBV012394724 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV012394724</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990615</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990208s1998 m||| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959613129</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)50460324</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012394724</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Draeger, Joachim</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modularisierte Suche in Theorembeweisern</subfield><subfield code="c">Joachim Draeger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">103 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="500" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 1998</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Hochschulschrift</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modularität</subfield><subfield code="0">(DE-588)4240639-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modularität</subfield><subfield code="0">(DE-588)4240639-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=008407969&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-008407969</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV012394724 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-09T18:14:47Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008407969 |
| oclc_num | 50460324 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 |
| physical | 103 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| record_format | marc |
| spelling | Draeger, Joachim Verfasser aut Modularisierte Suche in Theorembeweisern Joachim Draeger 1998 103 S. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 1998 Hochschulschrift gtt Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Modularität (DE-588)4240639-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s Modularität (DE-588)4240639-0 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008407969&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Draeger, Joachim Modularisierte Suche in Theorembeweisern Hochschulschrift gtt Automatisches Beweisverfahren (DE-588)4069034-9 gnd Modularität (DE-588)4240639-0 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4240639-0 (DE-588)4113937-9 |
| title | Modularisierte Suche in Theorembeweisern |
| title_auth | Modularisierte Suche in Theorembeweisern |
| title_exact_search | Modularisierte Suche in Theorembeweisern |
| title_full | Modularisierte Suche in Theorembeweisern Joachim Draeger |
| title_fullStr | Modularisierte Suche in Theorembeweisern Joachim Draeger |
| title_full_unstemmed | Modularisierte Suche in Theorembeweisern Joachim Draeger |
| title_short | Modularisierte Suche in Theorembeweisern |
| title_sort | modularisierte suche in theorembeweisern |
| topic | Hochschulschrift gtt Automatisches Beweisverfahren (DE-588)4069034-9 gnd Modularität (DE-588)4240639-0 gnd |
| topic_facet | Hochschulschrift Automatisches Beweisverfahren Modularität |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008407969&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT draegerjoachim modularisiertesucheintheorembeweisern |