Logik und Logikprogrammierung: Band 1 Grundlagen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Heidelberg
Synchron, Wissenschaftsverlag der Autoren
2009
|
| Schriftenreihe: | Kolleg Synchron
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | x, 342 Seiten Illustrationen, Diagramme |
| ISBN: | 9783935025843 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV035864538 | ||
| 003 | DE-604 | ||
| 005 | 20231124 | ||
| 007 | t | ||
| 008 | 091207s2009 gw a||| |||| 00||| ger d | ||
| 015 | |a 07,N17,0022 |2 dnb | ||
| 015 | |a 09,A50,0038 |2 dnb | ||
| 016 | 7 | |a 983702861 |2 DE-101 | |
| 020 | |a 9783935025843 |c softcover |9 978-3-935025-84-3 | ||
| 024 | 3 | |a 9783935025843 | |
| 035 | |a (OCoLC)635227543 | ||
| 035 | |a (DE-599)DNB983702861 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-859 |a DE-1051 |a DE-634 |a DE-573 |a DE-19 |a DE-29T |a DE-83 |a DE-11 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Hölldobler, Steffen |d 1957-2023 |e Verfasser |0 (DE-588)140349375 |4 aut | |
| 245 | 1 | 0 | |a Logik und Logikprogrammierung |n Band 1 |p Grundlagen |c Steffen Hölldobler |
| 264 | 1 | |a Heidelberg |b Synchron, Wissenschaftsverlag der Autoren |c 2009 | |
| 300 | |a x, 342 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Kolleg Synchron | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 773 | 0 | 8 | |w (DE-604)BV035864531 |g 1 |
| 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=018722317&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018722317 | ||
Datensatz im Suchindex
| _version_ | 1804140845742424064 |
|---|---|
| adam_text | IMAGE 1
INHALTSVERZEICHNIS
1 EINLEITUNG 1
1.1 DIE IDEE 1
1.1.1 FORMALISIERUNG 1
1.1.2 KALKUELBILDUNG 3
1.1.3 MECHANISIERUNG 3
1.2 DIE VERBINDUNG DER IDEEN 3
1.3 DER BEGINN DER ALGORITHMIERUNG DER LOGIK 6
1.4 DEDUKTIONSSYSTEME 8
1.5 LOGIKPROGRAMMIERUNG UND PROLOG 9
1.6 DIE VERBREITUNG DER LOGIK 11
1.7 LITERATURHINWEISE 12
1.8 GLIEDERUNG DES BUCHES 12
2 LOGIKPROGRAMMIERUNG AM BEISPIEL PROLOG 15
2.1 LOGIKPROGRAMMIERUNG MIT EINFACHEN DATEN 18
2.1.1 EINFACHE ANFRAGEN 18
2.1.2 VARIABLE 19
2.1.3 KONJUNKTIVE ANFRAGEN 20
2.1.4 REGELN 21
2.1.5 ABLEITUNGSBAEUME 21
2.1.6 TRACING 25
2.1.7 REKURSIV DEFINIERTE PRAEDIKATE 27
2.2 VARIABLENUMBENENNUNG 30
2.3 SYNTAX 30
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/983702861
DIGITALISIERT DURCH
IMAGE 2
VI INHALTSVERZEICHNIS
2.4 KOMPLEXE DATEN 32
2.4.1 LISTEN 33
2.4.2 LISTENOPERATIONEN 35
2.4.3 OPERATOREN 37
2.4.4 ARITHMETIK 38
2.4.5 STRUKTURPRAEDIKATE 40
2.4.6 VERGLEICH VON TERMEN 44
2.4.7 UNIFIKATION VON TERMEN 44
2.4.8 EIN- UND AUSGABE 48
2.4.9 LADEN VON PROLOG-PROGRAMMEN 50
2.4.10 ZUGRIFF AUF PROLOG-PROGRAMME 50
2.4.11 MENGENPRAEDIKATSZEICHEN 52
2.5 DER CUT 53
2.6 NEGATION ALS FEHLSCHLAG 57
2.7 LITERATURHINWEISE 60
3 AUSSAGENLOGIK 61
3.1 SYNTAX 63
3.1.1 FORMELN 63
3.1.2 INDUKTION UND REKURSION 67
3.1.3 TEIIFORMEM 73
3.2 SEMANTIK 74
3.2.1 DIE STRUKTUR DER WAHRHEITSWERTE 76
3.2.2 INTERPRETATIONEN 77
3.2.3 WAHRHEITSWERTETABELLEN 80
3.2.4 MODELLE 83
3.2.5 LOGISCHE KONSEQUENZ 84
3.3 AEQUIVALENZ UND NORMALFORMEN 85
3.3.1 SEMANTISCHE AEQUIVALENZ 86
3.3.2 NEGATIONSNORMALFORM 90
3.3.3 KLAUSELFORMEN 92
3.3.4 EINE PROLOG IMPLEMENTIERUNG 102
3.4 BEWEISVERFAHREN 104
IMAGE 3
INHALTSVERZEICHNIS VII
3.4.1 RESOLUTION 105
3.4.2 SEMANTISCHE TABLEAUS 114
3.4.3 DER KALKUEL DES NATUERLICHEN SCHLIESSENS 118
3.4.4 WEITERE BEWEISVERFAHREN UND KALKUELE 130
3.5 DAS TESTEN AUF ERFUELLBARKEIT 140
3.5.1 SYSTEMATISCHE SUCHE MIT DPLL 141
3.5.2 STOCHASTISCHE, LOKALE SUCHE 143
3.5.3 BINAERE ENTSCHEIDUNGSDIAGRAMME 145
3.6 EIGENSCHAFTEN 149
3.6.1 DER ENDLICHKEITSSATZ 149
3.6.2 KORREKTHEITS- UND VOLLSTAENDIGKEITSSAETZE 152
3.7 LITERATURHINWEISE 159
4 PRAEDIKATENLOGIK 161
4.1 SYNTAX 163
4.2 SUBSTITUTIONEN 169
4.3 SEMANTIK 176
4.3.1 RELATIONEN UND FUNKTIONEN 178
4.3.2 INTERPRETATIONEN 179
4.3.3 HERBRAND-INTERPRETATIONEN 184
4.3.4 MODELLE FUER ABGESCHLOSSENE FORMELN 188
4.3.5 MODELLE FUER NICHT ABGESCHLOSSENE FORMELN 189
4.4 AEQUIVALENZ UND NORMALFORMEN 191
4.4.1 SEMANTISCHE AEQUIVALENZ 191
4.4.2 PRAENEXNORMALFORM 194
4.4.3 SKOLEM-NORMALFORM 197
4.4.4 KLAUSELFORM 203
4.5 UNIFIKATION 207
4.6 BEWEISVERFAHREN 217
4.6.1 RESOLUTION 217
4.6.2 SEMANTISCHE TABLEAUS 225
4.6.3 DER KALKUEL DES NATUERLICHEN SCHLIESSENS 230
4.6.4 WEITERE VERFAHREN 233
IMAGE 4
VIII INHALTSVERZEICHNIS
4.7 IMPLEMENTIERUNGEN VON BEWEISVERFAHREN 238
4.7.1 PROLOG-GRUNDLAGEN 239
4.7.2 DER THEOREMBEWEISER LEANTAP 241
4.7.3 DER THEOREMBEWEISER LEANCOP 248
4.8 EIGENSCHAFTEN 255
4.8.1 HERBRAND-INTERPRETATIONEN 255
4.8.2 KORREKTHEITS- UND VOLLSTAENDIGKEITSSAETZE 260
4.8.3 DER ENDLICHKEITSSATZ 271
4.8.4 DER UNENTSCHEIDBARKEITSSATZ 273
4.9 LITERATURHINWEISE 277
5 GRUNDLAGEN DER LOGIKPROGRAMMIERUNG 279
5.1 DEFINITE PROGRAMME 280
5.1.1 GRUNDBEGRIFFE 280
5.1.2 SEMANTIK 283
5.1.3 FIXPUNKTSEMANTIK 288
5.1.4 SLD-RESOLUTION 293
5.1.5 EIGENSCHAFTEN 297
5.2 NORMALE PROGRAMME 312
5.2.1 GRUNDBEGRIFFE 312
5.2.2 SEMANTIK 314
5.2.3 SLDNF-RESOLUTION 317
5.2.4 EIGENSCHAFTEN 320
5.3 LITERATURHINWEISE 322
6 AUSBLICK 325
LITERATURVERZEICHNIS 329
INDEX 335
|
| any_adam_object | 1 |
| author | Hölldobler, Steffen 1957-2023 |
| author_GND | (DE-588)140349375 |
| author_facet | Hölldobler, Steffen 1957-2023 |
| author_role | aut |
| author_sort | Hölldobler, Steffen 1957-2023 |
| author_variant | s h sh |
| building | Verbundindex |
| bvnumber | BV035864538 |
| classification_rvk | SK 130 ST 230 |
| ctrlnum | (OCoLC)635227543 (DE-599)DNB983702861 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01747nam a2200445 cc4500</leader><controlfield tag="001">BV035864538</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231124 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091207s2009 gw a||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N17,0022</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A50,0038</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">983702861</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783935025843</subfield><subfield code="c">softcover</subfield><subfield code="9">978-3-935025-84-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783935025843</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635227543</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB983702861</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hölldobler, Steffen</subfield><subfield code="d">1957-2023</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140349375</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik und Logikprogrammierung</subfield><subfield code="n">Band 1</subfield><subfield code="p">Grundlagen</subfield><subfield code="c">Steffen Hölldobler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Synchron, Wissenschaftsverlag der Autoren</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 342 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">Kolleg Synchron</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV035864531</subfield><subfield code="g">1</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=018722317&sequence=000001&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-018722317</subfield></datafield></record></collection> |
| id | DE-604.BV035864538 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:06:27Z |
| institution | BVB |
| isbn | 9783935025843 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018722317 |
| oclc_num | 635227543 |
| open_access_boolean | |
| owner | DE-859 DE-1051 DE-634 DE-573 DE-19 DE-BY-UBM DE-29T DE-83 DE-11 |
| owner_facet | DE-859 DE-1051 DE-634 DE-573 DE-19 DE-BY-UBM DE-29T DE-83 DE-11 |
| physical | x, 342 Seiten Illustrationen, Diagramme |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Synchron, Wissenschaftsverlag der Autoren |
| record_format | marc |
| series2 | Kolleg Synchron |
| spelling | Hölldobler, Steffen 1957-2023 Verfasser (DE-588)140349375 aut Logik und Logikprogrammierung Band 1 Grundlagen Steffen Hölldobler Heidelberg Synchron, Wissenschaftsverlag der Autoren 2009 x, 342 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Kolleg Synchron Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Computational logic (DE-588)4255672-7 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s DE-604 Computational logic (DE-588)4255672-7 s (DE-604)BV035864531 1 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018722317&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hölldobler, Steffen 1957-2023 Logik und Logikprogrammierung Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4255672-7 |
| title | Logik und Logikprogrammierung |
| title_auth | Logik und Logikprogrammierung |
| title_exact_search | Logik und Logikprogrammierung |
| title_full | Logik und Logikprogrammierung Band 1 Grundlagen Steffen Hölldobler |
| title_fullStr | Logik und Logikprogrammierung Band 1 Grundlagen Steffen Hölldobler |
| title_full_unstemmed | Logik und Logikprogrammierung Band 1 Grundlagen Steffen Hölldobler |
| title_short | Logik und Logikprogrammierung |
| title_sort | logik und logikprogrammierung grundlagen |
| topic | Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd |
| topic_facet | Logische Programmierung Computational logic |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018722317&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035864531 |
| work_keys_str_mv | AT holldoblersteffen logikundlogikprogrammierungband1 |