Logik und Algebra: eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München [u.a.]
Oldenbourg
2007
|
| Schriftenreihe: | Lehrbuch kompakt
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 142 - 143 |
| Beschreibung: | XI, 148 S. graph. Darst. |
| ISBN: | 9783486583700 3486583700 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV022407954 | ||
| 003 | DE-604 | ||
| 005 | 20080515 | ||
| 007 | t | ||
| 008 | 070502s2007 d||| |||| 00||| ger d | ||
| 015 | |a 07,N12,0593 |2 dnb | ||
| 016 | 7 | |a 983242828 |2 DE-101 | |
| 020 | |a 9783486583700 |c Pb. : EUR 19.80 |9 978-3-486-58370-0 | ||
| 020 | |a 3486583700 |c Pb. : EUR 19.80 |9 3-486-58370-0 | ||
| 024 | 3 | |a 9783486583700 | |
| 035 | |a (OCoLC)162464010 | ||
| 035 | |a (DE-599)DNB983242828 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-19 |a DE-12 |a DE-1046 |a DE-20 |a DE-859 |a DE-739 |a DE-824 |a DE-703 |a DE-1051 |a DE-945 |a DE-1102 |a DE-573 |a DE-92 |a DE-863 |a DE-83 |a DE-2070s |a DE-355 | ||
| 082 | 0 | |a 511.3024004 |2 22/ger | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Staab, Frank |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logik und Algebra |b eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker |c von Frank Staab |
| 264 | 1 | |a München [u.a.] |b Oldenbourg |c 2007 | |
| 300 | |a XI, 148 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Lehrbuch kompakt | |
| 500 | |a Literaturverz. S. 142 - 143 | ||
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |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 Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015616498&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015616498 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| DE-BY-863_location | 1000 1911 |
|---|---|
| DE-BY-FWS_call_number | 1000/ST 125 S775st 1911/2014:0705 |
| DE-BY-FWS_katkey | 309516 |
| DE-BY-FWS_media_number | 083101078798 083101078801 |
| _version_ | 1806176236937936896 |
| adam_text | Inhalt
1 Einleitung 1
2 Logik 3
2.1 Logik als Formalisierang der natürlichen Sprache.....................................................3
2.2 Aussagenlogik............................................................................................................4
2.2.1 Grundlegende Verknüpfungen und Wahrheitstafeln..................................................4
2.2.2 Implikation und Äquivalenz.......................................................................................7
2.2.3 Syntax und Semantik der Aussagenlogik.................................................................10
2.2.4 Tautologien und logische Gesetzmäßigkeiten..........................................................13
2.3 Normalformen..........................................................................................................16
2.3.1 Disjunktive und
konjunktive
Normalformen............................................................18
2.3.2 Kanonische disjunktive und kanonische
konjunktive
Normalformen......................20
2.4 Logisches Schließen und Resolution........................................................................22
2.5 Aufgaben zu Kapitel 2..............................................................................................26
3 Mengen, Relationen und Abbildungen 29
3.1 Grundbegriffe...........................................................................................................29
3.2 Mengenalgebra.........................................................................................................32
3.2.1 Algebraische Strukturen...........................................................................................32
3.2.2 Mengenalgebraische Operationen............................................................................35
3.3 Relationen................................................................................................................38
3.3.1 Zweistellige Relationen............................................................................................38
3.3.2 Äquivalenz- und Ordnungsrelationen.......................................................................39
3.3.3 n-stellige Relationen.................................................................................................42
3.4 Abbildungen.............................................................................................................43
3.5 Relationale Datenbanken..........................................................................................45
3.5.1 Relation in der Datenbanktheorie.............................................................................45
3.5.2 Relationenalgebra.....................................................................................................48
3.5.3 Funktionale Abhängigkeiten in Relationen..............................................................53
3.6 Aufgaben zu Kapitel 3..............................................................................................56
4 Boolesche Algebra und Schaltalgebra 59
4.1 Boolesche Algebren.................................................................................................59
4.1.1 Modelle der Booleschen Algebra.............................................................................61
4.1.2 Schaltalgebra als Modell einer zweielementigen Booleschen Algebra....................64
4.2 Disjunktive Minimalform, Quine-McCluskey Algorithmus....................................74
4.3 KV-Diagramme.................................................................:......................................79
4.3.1 Ableitung der disjunktiven Minimalform aus KV-Diagrammen.............................79
4.3.2 KV-Diagramme bei nicht vollständig definierten Funktionen.................................84
4.4 Verknüpfungsbasen..................................................................................................87
4.5 Grandlegende Schaltungen......................................................................................91
4.5.1 Schaltgatter..............................................................................................................91
4.5.2 Schaltnetze...............................................................................................................93
4.6 Aufgaben zu Kapitel 4.............................................................................................99
5 Prädikatenlogik und logisches Programmieren 102
5.1 Grandlagen der Prädikatenlogik.............................................................................102
5.2 Logisches Programmieren......................................................................................105
5.2.1 PROLOG................................................................................................................105
5.2.2 Erweiterung der Resolution auf die Prädikatenlogik..............................................110
5.3 Aufgaben zu Kapitel 5...........................................................................................116
6 Lösungen zu den Aufgaben 118
6.1 Lösungen zu Kapitel 2...........................................................................................118
6.2 Lösungen zu Kapitel 3...........................................................................................123
6.3 Lösungen zu Kapitel 4...........................................................................................128
6.4 Lösungen zu Kapitel 5...........................................................................................135
Literaturverzeichnis 142
Index 144
|
| adam_txt |
Inhalt
1 Einleitung 1
2 Logik 3
2.1 Logik als Formalisierang der natürlichen Sprache.3
2.2 Aussagenlogik.4
2.2.1 Grundlegende Verknüpfungen und Wahrheitstafeln.4
2.2.2 Implikation und Äquivalenz.7
2.2.3 Syntax und Semantik der Aussagenlogik.10
2.2.4 Tautologien und logische Gesetzmäßigkeiten.13
2.3 Normalformen.16
2.3.1 Disjunktive und
konjunktive
Normalformen.18
2.3.2 Kanonische disjunktive und kanonische
konjunktive
Normalformen.20
2.4 Logisches Schließen und Resolution.22
2.5 Aufgaben zu Kapitel 2.26
3 Mengen, Relationen und Abbildungen 29
3.1 Grundbegriffe.29
3.2 Mengenalgebra.32
3.2.1 Algebraische Strukturen.32
3.2.2 Mengenalgebraische Operationen.35
3.3 Relationen.38
3.3.1 Zweistellige Relationen.38
3.3.2 Äquivalenz- und Ordnungsrelationen.39
3.3.3 n-stellige Relationen.42
3.4 Abbildungen.43
3.5 Relationale Datenbanken.45
3.5.1 Relation in der Datenbanktheorie.45
3.5.2 Relationenalgebra.48
3.5.3 Funktionale Abhängigkeiten in Relationen.53
3.6 Aufgaben zu Kapitel 3.56
4 Boolesche Algebra und Schaltalgebra 59
4.1 Boolesche Algebren.59
4.1.1 Modelle der Booleschen Algebra.61
4.1.2 Schaltalgebra als Modell einer zweielementigen Booleschen Algebra.64
4.2 Disjunktive Minimalform, Quine-McCluskey Algorithmus.74
4.3 KV-Diagramme.:.79
4.3.1 Ableitung der disjunktiven Minimalform aus KV-Diagrammen.79
4.3.2 KV-Diagramme bei nicht vollständig definierten Funktionen.84
4.4 Verknüpfungsbasen.87
4.5 Grandlegende Schaltungen.91
4.5.1 Schaltgatter.91
4.5.2 Schaltnetze.93
4.6 Aufgaben zu Kapitel 4.99
5 Prädikatenlogik und logisches Programmieren 102
5.1 Grandlagen der Prädikatenlogik.102
5.2 Logisches Programmieren.105
5.2.1 PROLOG.105
5.2.2 Erweiterung der Resolution auf die Prädikatenlogik.110
5.3 Aufgaben zu Kapitel 5.116
6 Lösungen zu den Aufgaben 118
6.1 Lösungen zu Kapitel 2.118
6.2 Lösungen zu Kapitel 3.123
6.3 Lösungen zu Kapitel 4.128
6.4 Lösungen zu Kapitel 5.135
Literaturverzeichnis 142
Index 144 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Staab, Frank |
| author_facet | Staab, Frank |
| author_role | aut |
| author_sort | Staab, Frank |
| author_variant | f s fs |
| building | Verbundindex |
| bvnumber | BV022407954 |
| classification_rvk | SK 130 ST 125 |
| ctrlnum | (OCoLC)162464010 (DE-599)DNB983242828 |
| dewey-full | 511.3024004 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3024004 |
| dewey-search | 511.3024004 |
| dewey-sort | 3511.3024004 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01985nam a2200481 c 4500</leader><controlfield tag="001">BV022407954</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080515 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070502s2007 d||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N12,0593</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">983242828</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783486583700</subfield><subfield code="c">Pb. : EUR 19.80</subfield><subfield code="9">978-3-486-58370-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486583700</subfield><subfield code="c">Pb. : EUR 19.80</subfield><subfield code="9">3-486-58370-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783486583700</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162464010</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB983242828</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-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-945</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3024004</subfield><subfield code="2">22/ger</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 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Staab, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik und Algebra</subfield><subfield code="b">eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker</subfield><subfield code="c">von Frank Staab</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 148 S.</subfield><subfield code="b">graph. Darst.</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">Lehrbuch kompakt</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 142 - 143</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><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">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=015616498&sequence=000002&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-015616498</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)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV022407954 |
| illustrated | Illustrated |
| index_date | 2024-07-02T17:20:56Z |
| indexdate | 2024-08-01T11:18:07Z |
| institution | BVB |
| isbn | 9783486583700 3486583700 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015616498 |
| oclc_num | 162464010 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-12 DE-1046 DE-20 DE-859 DE-739 DE-824 DE-703 DE-1051 DE-945 DE-1102 DE-573 DE-92 DE-863 DE-BY-FWS DE-83 DE-2070s DE-355 DE-BY-UBR |
| owner_facet | DE-19 DE-BY-UBM DE-12 DE-1046 DE-20 DE-859 DE-739 DE-824 DE-703 DE-1051 DE-945 DE-1102 DE-573 DE-92 DE-863 DE-BY-FWS DE-83 DE-2070s DE-355 DE-BY-UBR |
| physical | XI, 148 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Oldenbourg |
| record_format | marc |
| series2 | Lehrbuch kompakt |
| spellingShingle | Staab, Frank Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker Algebra (DE-588)4001156-2 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4001156-2 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker |
| title_auth | Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker |
| title_exact_search | Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker |
| title_exact_search_txtP | Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker |
| title_full | Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker von Frank Staab |
| title_fullStr | Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker von Frank Staab |
| title_full_unstemmed | Logik und Algebra eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker von Frank Staab |
| title_short | Logik und Algebra |
| title_sort | logik und algebra eine praxisbezogene einfuhrung fur informatiker und wirtschaftsinformatiker |
| title_sub | eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker |
| topic | Algebra (DE-588)4001156-2 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Algebra Mathematische Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015616498&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT staabfrank logikundalgebraeinepraxisbezogeneeinfuhrungfurinformatikerundwirtschaftsinformatiker |
Inhaltsverzeichnis
THWS Würzburg Zentralbibliothek Lesesaal
| Signatur: |
1000 ST 125 S775st |
|---|---|
| Exemplar 1 | ausleihbar Verfügbar Bestellen |
Würzburg Magazin
| Signatur: |
1911 2014:0705 |
|---|---|
| Exemplar 1 | ausleihbar Verfügbar Bestellen |