Logik und Logikprogrammierung:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Heidelberg
Synchron, Wissenschaftsverl. der Autoren
2003
|
| Ausgabe: | 3., durchges. Aufl. |
| Schriftenreihe: | Kolleg Synchron
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 302 S. 24 cm, 540 gr. |
| ISBN: | 3935025599 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV019668698 | ||
| 003 | DE-604 | ||
| 005 | 20071106 | ||
| 007 | t | ||
| 008 | 050124s2003 gw |||| |||| 00||| ger d | ||
| 016 | 7 | |a 969367015 |2 DE-101 | |
| 020 | |a 3935025599 |c kart. : EUR 29.80 |9 3-935025-59-9 | ||
| 035 | |a (OCoLC)76576511 | ||
| 035 | |a (DE-599)BVBBV019668698 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-83 | ||
| 084 | |a ST 125 |0 (DE-625)143586: |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 |c Steffen Hölldobler |
| 250 | |a 3., durchges. Aufl. | ||
| 264 | 1 | |a Heidelberg |b Synchron, Wissenschaftsverl. der Autoren |c 2003 | |
| 300 | |a X, 302 S. |b 24 cm, 540 gr. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Kolleg Synchron | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 4 | |8 2\p |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012996968&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-012996968 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804133051248148480 |
|---|---|
| adam_text | STEFFEN HOELLDOBLER LOGIK UND LOGIKPROGRAMMIERUNG DRITTE, DURCHGESEHENE
AUFLAGE SYNCHRON WISSENSCHAFTSVERLAG DER AUTOREN SYNCHRON PUBLISHERS
HEIDELBERG 2003 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 29 2.3 SYNTAX . . 30 VI INHALTSVERZEICHNIS
2.4 KOMPLEXE DATEN 32 2.4.1 LISTEN 33 2.4.2 LISTENOPERATIONEN 34 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 49 2.4.10 ZUGRIFF AUF
PROLOG-PROGRAMME 50 2.4.11 MENGENPRAEDIKATSZEICHEN 51 2.5 DER CUT 53 2.6
NEGATION ALS FEHLSCHLAG 56 2.7 LITERATURHINWEISE 59 2.8 UEBUNGSAUFGABEN
60 3 AUSSAGENLOGIK 67 3.1 SYNTAX 69 3.2 SEMANTIK 73 3.2.1 DIE STRUKTUR
DER WAHRHEITSWERTE 73 3.2.2 INTERPRETATIONEN UND MODELLE 75 3.3
AEQUIVALENZ UND NORMALFORMEN 79 3.3.1 SEMANTISCHE AEQUIVALENZ 79 3.3.2
NEGATIONSNORMALFORM 81 3.3.3 KLAUSELFORMEN 83 3.3.4 EINE PROLOG
IMPLEMENTIERUNG 88 3.4 BEWEISVERFAHREN 91 3.4.1 RESOLUTION 91 3.4.2
SEMANTISCHE TABLEAUS 99 3.4.3 DER KALKUEL DES NATUERLICHEN SCHLIESSENS 103
3.4.4 WEITERE BEWEISVERFAHREN UND KALKUELE 108 3.5 EIGENSCHAFTEN 120
INHALTSVERZEICHNIS VII 3.5.1 DER ENDLICHKEITSSATZ 120 3.5.2
KORREKTHEITS- UND VOLLSTAENDIGKEITSSAETZE 123 3.6 LITERATURHINWEISE 127
3.7 UEBUNGSAUFGABEN 128 4 PRAEDIKATENLOGIK 135 4.1 SYNTAX 137 4.2
SUBSTITUTIONEN 143 4.3 SEMANTIK 149 4.3.1 INTERPRETATIONEN UND MODELLE
150 4.3.2 HERBRAND-INTERPRETATIONEN 155 4.4 AEQUIVALENZ UND NORMALFORMEN
157 4.4.1 SEMANTISCHE AEQUIVALENZ 157 4.4.2 PRAENEXNORMALFORM 159 4.4.3
SKOLEM-NORMALFORM 163 4.4.4 KLAUSELFORM 168 4.5 UNIFIKATION 171 4.6
BEWEISVERFAHREN 178 4.6.1 RESOLUTION 179 4.6.2 SEMANTISCHE TABLEAUS 183
4.6.3 DER KALKUEL DES NATUERLICHEN SCHLIESSENS 188 4.6.4 WEITERE VERFAHREN
190 4.7 IMPLEMENTIERUNGEN VON BEWEISVERFAHREN 194 4.7.1
PROLOG-GRUNDLAGEN 195 4.7.2 DER THEOREMBEWEISER LEANTAP 197 4.7.3 DER
THEOREMBEWEISER LEANCOP 204 4.8 EIGENSCHAFTEN 211 4.8.1
HERBRAND-INTERPRETATIONEN 211 4.8.2 KORREKTHEITS- UND
VOLLSTAENDIGKEITSSAETZE 215 4.8.3 DER ENDLICHKEITSSATZ 223 4.8.4 DER
UNENTSCHEIDBARKEITSSATZ 224 4.9 LITERATURHINWEISE 225 4.10
UEBUNGSAUFGABEN 226 VIII INHALTSVERZEICHNIS 5 GRUNDLAGEN DER
LOGIKPROGRAMMIERUNG 237 5.1 DEFINITE PROGRAMME 238 5.1.1 SEMANTIK 241
5.1.2 SLD-RESOLUTION 251 5.1.3 EIGENSCHAFTEN 254 5.2 NORMALE PROGRAMME
270 5.2.1 SEMANTIK 271 5.2.2 SLDNF-RESOLUTION 274 5.2.3 EIGENSCHAFTEN
277 5.3 LITERATURHINWEISE 280 5.4 UEBUNGSAUFGABEN 281 6 AUSBLICK 285 A
LITERATURVERZEICHNIS 289 B INDEX 295
|
| 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 | BV019668698 |
| classification_rvk | ST 125 |
| ctrlnum | (OCoLC)76576511 (DE-599)BVBBV019668698 |
| discipline | Informatik |
| edition | 3., durchges. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02246nam a2200541 c 4500</leader><controlfield tag="001">BV019668698</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071106 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050124s2003 gw |||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">969367015</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3935025599</subfield><subfield code="c">kart. : EUR 29.80</subfield><subfield code="9">3-935025-59-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76576511</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019668698</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</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="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="c">Steffen Hölldobler</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3., durchges. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Synchron, Wissenschaftsverl. der Autoren</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 302 S.</subfield><subfield code="b">24 cm, 540 gr.</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">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="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">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</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="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=012996968&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-012996968</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV019668698 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T20:02:34Z |
| institution | BVB |
| isbn | 3935025599 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012996968 |
| oclc_num | 76576511 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | X, 302 S. 24 cm, 540 gr. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Synchron, Wissenschaftsverl. der Autoren |
| record_format | marc |
| series2 | Kolleg Synchron |
| spelling | Hölldobler, Steffen 1957-2023 Verfasser (DE-588)140349375 aut Logik und Logikprogrammierung Steffen Hölldobler 3., durchges. Aufl. Heidelberg Synchron, Wissenschaftsverl. der Autoren 2003 X, 302 S. 24 cm, 540 gr. txt rdacontent n rdamedia nc rdacarrier Kolleg Synchron Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logische Programmierung (DE-588)4195096-3 s PROLOG Programmiersprache (DE-588)4047464-1 s Automatisches Beweisverfahren (DE-588)4069034-9 s Programmierlogik (DE-588)4047408-2 s 2\p DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012996968&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hölldobler, Steffen 1957-2023 Logik und Logikprogrammierung Mathematische Logik (DE-588)4037951-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierlogik (DE-588)4047408-2 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4195096-3 (DE-588)4047408-2 (DE-588)4069034-9 (DE-588)4047464-1 (DE-588)4151278-9 |
| title | Logik und Logikprogrammierung |
| title_auth | Logik und Logikprogrammierung |
| title_exact_search | Logik und Logikprogrammierung |
| title_full | Logik und Logikprogrammierung Steffen Hölldobler |
| title_fullStr | Logik und Logikprogrammierung Steffen Hölldobler |
| title_full_unstemmed | Logik und Logikprogrammierung Steffen Hölldobler |
| title_short | Logik und Logikprogrammierung |
| title_sort | logik und logikprogrammierung |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierlogik (DE-588)4047408-2 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | Mathematische Logik Logische Programmierung Programmierlogik Automatisches Beweisverfahren PROLOG Programmiersprache Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012996968&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT holldoblersteffen logikundlogikprogrammierung |