Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt?
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Springer Vieweg
2013
|
| Schriftenreihe: | Studienbücher Informatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 232 S. |
| ISBN: | 9783834818874 9783834822956 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV039731348 | ||
| 003 | DE-604 | ||
| 005 | 20151203 | ||
| 007 | t | ||
| 008 | 111129s2013 |||| 00||| ger d | ||
| 015 | |a 11,N37 |2 dnb | ||
| 016 | 7 | |a 101497965X |2 DE-101 | |
| 020 | |a 9783834818874 |c Pb. : ca. EUR 24.95 (DE), ca. EUR 25.70 (AT) |9 978-3-8348-1887-4 | ||
| 020 | |a 9783834822956 |9 978-3-8348-2295-6 | ||
| 024 | 3 | |a 9783834818874 | |
| 035 | |a (OCoLC)767798980 | ||
| 035 | |a (DE-599)DNB101497965X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-706 |a DE-20 |a DE-1051 |a DE-11 |a DE-634 | ||
| 082 | 0 | |a 004 | |
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Schenke, Michael |d 1957- |e Verfasser |0 (DE-588)136687024 |4 aut | |
| 245 | 1 | 0 | |a Logikkalküle in der Informatik |b Wie wird Logik vom Rechner genutzt? |c Michael Schenke |
| 264 | 1 | |a Wiesbaden |b Springer Vieweg |c 2013 | |
| 300 | |a XII, 232 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Studienbücher Informatik | |
| 650 | 0 | 7 | |a Logikkalkül |0 (DE-588)4353514-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Logikkalkül |0 (DE-588)4353514-8 |D s |
| 689 | 0 | |8 1\p |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=024579234&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024579234 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804148614218383360 |
|---|---|
| adam_text | INHALTSVERZEICHNIS
1 EINFUHRUNG 1
1.1 MATHEMATIK ALS ABSTRAKTION
DES WISSENS 1
1.2 LOGIK ALS ABSTRAKTION
VON SPRACHFRAGMENTEN 3
1.3 SYNTAX UND
SEMANTIK 5
LITERATUR 6
2 AUSSAGENLOGIK 7
2.1 SYNTAX 8
2.2 SEMANTIK DER AL 10
2.3 DER LOGISCHE FOLGERUNGSBEGRIFF 15
2.4 METASPRACHEN UND KALKUELE 16
2.5 KALKUELE FUER DIE
AUSSAGENLOGIK 20
2.6 NORMALFORMEN IN DER AL 25
LITERATUR 29
3 PRAEDIKATENLOGIK 31
3.1 SYNTAX 32
3.2 SEMANTIK DER PRAEDIKATENLOGIK 35
3.3 UNIFIKATION 43
3.4 DER LOGISCHE FOLGERUNGSBEGRIFF
DER PL 46
3.5 NORMALFORMEN IN DER PL 49
3.6 EIN PRAEDIKATENKALKUEL 51
3.7 PRAEDIKATENLOGISCHES SCHLIESSEN 54
3.8 SYLLOGISMEN 58
3.9 LEWIS CARROLL
- DAS SPIEL
DER LOGIK 60
LITERATUR 66
4 DER SLD-KALKUEL (LOGIK-PROGRAMMIERUNG) 67
4.1 HORN-KLAUSELN 68
4.2 SEMANTIK VON LOGIK-PROGRAMMEN 69
LITERATUR 78
VII
HTTP://D-NB.INFO/101497965X
VIII INHALTSVERZEICHNIS
5 HOARESCHE LOGIK 79
5.1 HOARESCHE TRIPEL 79
5.2 SEMANTIK VON WHILE-PROGRAMMEN 81
5.3 KALKUELE FUER HOARESCHE
TRIPEL 86
LITERATUR 97
6 MODALE LOGIK 99
6.1 SYNTAX 102
6.2 KRIPKE - SEMANTIKEN 103
6.3 GUELTIGKEIT 104
6.4 DAS SYSTEM
T 108
6.5 DIE SYSTEME
S4 UND S5 111
6.6 INTUITIONISTISCHE LOGIK 115
6.7 DER MODALE PRAEDIKATENKALKUEL
ERSTER STUFE 120
LITERATUR 127
7 TEMPORALE LOGIK 129
7.1 VERSCHIEDENE MODALE
MODELLE DER TEMPORALEN LOGIK 131
7.2 KRIPKE-SEMANTIKEN FUER
EINE MODALE TEMPORALE LOGIK 135
7.3 ZUR TOPOLOGIE
DER ZEIT 139
7.4 ABGELEITETE OPERATOREN 141
7.5 INTERVALL-TEMPORALE LOGIK 144
7.6 DER DURATION CALCULUS 148
LITERATUR 153
8 EPISTEMISCHE LOGIK 155
8.1 SYNTAX 156
8.2 SEMANTIK 157
8.3 VERTEILTES WISSEN 160
LITERATUR 167
9 DEONTISCHE LOGIK 169
9.1 SYNTAX 170
9.2 KODEXE 173
9.3 ZU EINER METATHEORIE
VON KODEXEN 175
LITERATUR 176
10 NICHTMONOTONE LOGIK 177
10.1 TRUTH MAINTENANCE-SYSTEME 180
10.2 DER JTMS-ALGORITHMUS 187
10.3 DIE JTMS-INFERENZRELATION 197
LITERATUR 200
INHALTSVERZEICHNIS IX
11 DEFAULT-LOGIKEN 201
11.1 SYNTAX UND SEMANTIK
VON DEFAULTS 201
11.2 BESTIMMUNG VON EXTENSIONEN 206
11.3 PROZESSBAEUME 209
11.4 EIGENSCHAFTEN DER DEFAULT-LOGIK 211
12 MATHEMATISCHE GRUNDLAGEN 217
12.1 MENGEN, RELATIONEN, FUNKTIONEN 217
12.2 VOLLSTAENDIGE INDUKTION 221
12.3 GRAPHEN, BAEUME 224
SACHVERZEICHNIS 227
|
| any_adam_object | 1 |
| author | Schenke, Michael 1957- |
| author_GND | (DE-588)136687024 |
| author_facet | Schenke, Michael 1957- |
| author_role | aut |
| author_sort | Schenke, Michael 1957- |
| author_variant | m s ms |
| building | Verbundindex |
| bvnumber | BV039731348 |
| classification_rvk | ST 125 |
| ctrlnum | (OCoLC)767798980 (DE-599)DNB101497965X |
| dewey-full | 004 004.015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 004.015113 |
| dewey-search | 004 004.015113 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01789nam a2200457 c 4500</leader><controlfield tag="001">BV039731348</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151203 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">111129s2013 |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N37</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101497965X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783834818874</subfield><subfield code="c">Pb. : ca. EUR 24.95 (DE), ca. EUR 25.70 (AT)</subfield><subfield code="9">978-3-8348-1887-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783834822956</subfield><subfield code="9">978-3-8348-2295-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783834818874</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)767798980</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101497965X</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-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22/ger</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="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schenke, Michael</subfield><subfield code="d">1957-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136687024</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logikkalküle in der Informatik</subfield><subfield code="b">Wie wird Logik vom Rechner genutzt?</subfield><subfield code="c">Michael Schenke</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Springer Vieweg</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 232 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="490" ind1="0" ind2=" "><subfield code="a">Studienbücher Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logikkalkül</subfield><subfield code="0">(DE-588)4353514-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logikkalkül</subfield><subfield code="0">(DE-588)4353514-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><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=024579234&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-024579234</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></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV039731348 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:09:56Z |
| institution | BVB |
| isbn | 9783834818874 9783834822956 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024579234 |
| oclc_num | 767798980 |
| open_access_boolean | |
| owner | DE-706 DE-20 DE-1051 DE-11 DE-634 |
| owner_facet | DE-706 DE-20 DE-1051 DE-11 DE-634 |
| physical | XII, 232 S. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer Vieweg |
| record_format | marc |
| series2 | Studienbücher Informatik |
| spelling | Schenke, Michael 1957- Verfasser (DE-588)136687024 aut Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? Michael Schenke Wiesbaden Springer Vieweg 2013 XII, 232 S. txt rdacontent n rdamedia nc rdacarrier Studienbücher Informatik Logikkalkül (DE-588)4353514-8 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Informatik (DE-588)4026894-9 s Logikkalkül (DE-588)4353514-8 s 1\p DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024579234&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 |
| spellingShingle | Schenke, Michael 1957- Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? Logikkalkül (DE-588)4353514-8 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4353514-8 (DE-588)4026894-9 (DE-588)4123623-3 |
| title | Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? |
| title_auth | Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? |
| title_exact_search | Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? |
| title_full | Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? Michael Schenke |
| title_fullStr | Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? Michael Schenke |
| title_full_unstemmed | Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? Michael Schenke |
| title_short | Logikkalküle in der Informatik |
| title_sort | logikkalkule in der informatik wie wird logik vom rechner genutzt |
| title_sub | Wie wird Logik vom Rechner genutzt? |
| topic | Logikkalkül (DE-588)4353514-8 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Logikkalkül Informatik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024579234&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schenkemichael logikkalkuleinderinformatikwiewirdlogikvomrechnergenutzt |