Grundzüge der Aussagenlogik: mit Anwendungsbeispielen aus den Wirtschaftswissenschaften
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
München-Pullach u.a.
Verl. Dokumentation
1972
|
Ausgabe: | 2., wesentl. erw. Aufl. |
Schriftenreihe: | Uni-Taschenbücher
124 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | 110 S. |
ISBN: | 379402608X |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV003108133 | ||
003 | DE-604 | ||
005 | 20081114 | ||
007 | t | ||
008 | 900725s1972 |||| 00||| ger d | ||
020 | |a 379402608X |9 3-7940-2608-X | ||
035 | |a (OCoLC)63508812 | ||
035 | |a (DE-599)BVBBV003108133 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
049 | |a DE-384 |a DE-473 |a DE-703 |a DE-739 |a DE-355 |a DE-29 |a DE-824 |a DE-19 |a DE-91G |a DE-54 |a DE-N2 |a DE-706 |a DE-83 |a DE-11 |a DE-188 |a DE-858 | ||
084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
084 | |a PI 3020 |0 (DE-625)136586: |2 rvk | ||
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
100 | 1 | |a Czayka, Lothar |e Verfasser |4 aut | |
245 | 1 | 0 | |a Grundzüge der Aussagenlogik |b mit Anwendungsbeispielen aus den Wirtschaftswissenschaften |c Lothar Czayka |
250 | |a 2., wesentl. erw. Aufl. | ||
264 | 1 | |a München-Pullach u.a. |b Verl. Dokumentation |c 1972 | |
300 | |a 110 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Uni-Taschenbücher |v 124 | |
650 | 7 | |a Taalwetenschap |2 gtt | |
650 | 4 | |a Linguistik | |
650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
689 | 0 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
689 | 0 | |5 DE-604 | |
830 | 0 | |a Uni-Taschenbücher |v 124 |w (DE-604)BV000895355 |9 124 | |
856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001948861&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
940 | 1 | |q TUB-nveb | |
999 | |a oai:aleph.bib-bvb.de:BVB01-001948861 |
Datensatz im Suchindex
_version_ | 1804117395763101696 |
---|---|
adam_text | Titel: Grundzüge der Aussagenlogik
Autor: Czayka, Lothar
Jahr: 1972
Inhaltsverzeichnis
1.0 Vorbemerkungen 7
1.1 Die Problemstellung der formalen Logik 7
1.2 Die Einheit der Logik 8
1.3 Eine Typologie logischer Systeme 9
1.4 Die Anwendung der Logik 10
1.5 Logik und Mathematik 11
1.6 Die alte und die neue Logik 12
2.0 Grundzüge der zwei-wertigen Aussagenlogik ... 13
2.1 Die gebräuchlichsten aussagenlogischen
Operatoren 15
2.2 Die aussagenlogischen Formeln 22
2.3 Die aussagenlogische Struktur umgangssprachlicher
Aussagen 23
2.4 Die aussagenlogisch determinierten und die aus¬
sagenlogisch indeterminierten Formeln 31
2.5 Elementare Entscheidungsverfahren 34
2.5.1 Das Wahrheitstafel-Verfahren 34
2.5.2 Der indirekte Beweis 36
2.6 Die Bestimmung und der Vergleich des
Informationsgehalts von Aussagen 38
2.7 Aussagenlogisch gültige Schemata 46
2.8 Aussagenlogische Äquivalenz 48
2.9 Aussagenlogische Umformungsschemata 50
2.10 Weitere Entscheidungsverfahren 51
2.10.1 Die Anwendung der Booleschen Algebra 51
2.10.2 Die Anwendung der Normalformen 52
2.11 Dualitätstheoreme 56
2.12 Die aussagenlogisch gültigen Schlüsse 58
2.13 Die Prüfung des logischen Charakters der
Prämissen-Konjunktion und der Konklusion ... 68
2.14 Aussagenlogische Schlußschemata 73
5
2.15 Konklusionen aus gegebenen Prämissen und
Prämissen für die Folgerung gegebener Aussagen 77
2.16 Aussagenlogische Unverträglichkeit 81
2.17 Die Prüfung aller aussagenlogisch wichtigen
Beziehungen zwischen gegebenen Aussagen mit
Hilfe einer einzigen Wahrheitstafel 84
2.18 Aussagenlogische Formeln zu gegebenen
Wahrheitstafeln 86
2.19 Axiomatische Aussagenkalküle 88
3.0 Aussagenlogische Formeln und elektrische
Schaltkreise 93
Anhang I - III 99
Literatur 108
Stichwortverzeichnis 109
6
|
any_adam_object | 1 |
author | Czayka, Lothar |
author_facet | Czayka, Lothar |
author_role | aut |
author_sort | Czayka, Lothar |
author_variant | l c lc |
building | Verbundindex |
bvnumber | BV003108133 |
classification_rvk | CC 2400 PI 3020 SK 130 |
ctrlnum | (OCoLC)63508812 (DE-599)BVBBV003108133 |
discipline | Rechtswissenschaft Mathematik Philosophie |
edition | 2., wesentl. erw. Aufl. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01710nam a2200433 cb4500</leader><controlfield tag="001">BV003108133</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081114 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1972 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">379402608X</subfield><subfield code="9">3-7940-2608-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)63508812</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003108133</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-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-54</subfield><subfield code="a">DE-N2</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-858</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PI 3020</subfield><subfield code="0">(DE-625)136586:</subfield><subfield code="2">rvk</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Czayka, Lothar</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundzüge der Aussagenlogik</subfield><subfield code="b">mit Anwendungsbeispielen aus den Wirtschaftswissenschaften</subfield><subfield code="c">Lothar Czayka</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., wesentl. erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München-Pullach u.a.</subfield><subfield code="b">Verl. Dokumentation</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">110 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="1" ind2=" "><subfield code="a">Uni-Taschenbücher</subfield><subfield code="v">124</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Taalwetenschap</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-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)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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Uni-Taschenbücher</subfield><subfield code="v">124</subfield><subfield code="w">(DE-604)BV000895355</subfield><subfield code="9">124</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=001948861&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001948861</subfield></datafield></record></collection> |
genre | (DE-588)4151278-9 Einführung gnd-content |
genre_facet | Einführung |
id | DE-604.BV003108133 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T15:53:44Z |
institution | BVB |
isbn | 379402608X |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001948861 |
oclc_num | 63508812 |
open_access_boolean | |
owner | DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-29 DE-824 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-54 DE-N2 DE-706 DE-83 DE-11 DE-188 DE-858 |
owner_facet | DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-29 DE-824 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-54 DE-N2 DE-706 DE-83 DE-11 DE-188 DE-858 |
physical | 110 S. |
psigel | TUB-nveb |
publishDate | 1972 |
publishDateSearch | 1972 |
publishDateSort | 1972 |
publisher | Verl. Dokumentation |
record_format | marc |
series | Uni-Taschenbücher |
series2 | Uni-Taschenbücher |
spelling | Czayka, Lothar Verfasser aut Grundzüge der Aussagenlogik mit Anwendungsbeispielen aus den Wirtschaftswissenschaften Lothar Czayka 2., wesentl. erw. Aufl. München-Pullach u.a. Verl. Dokumentation 1972 110 S. txt rdacontent n rdamedia nc rdacarrier Uni-Taschenbücher 124 Taalwetenschap gtt Linguistik Aussagenlogik (DE-588)4136098-9 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Aussagenlogik (DE-588)4136098-9 s DE-604 Uni-Taschenbücher 124 (DE-604)BV000895355 124 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001948861&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Czayka, Lothar Grundzüge der Aussagenlogik mit Anwendungsbeispielen aus den Wirtschaftswissenschaften Uni-Taschenbücher Taalwetenschap gtt Linguistik Aussagenlogik (DE-588)4136098-9 gnd |
subject_GND | (DE-588)4136098-9 (DE-588)4151278-9 |
title | Grundzüge der Aussagenlogik mit Anwendungsbeispielen aus den Wirtschaftswissenschaften |
title_auth | Grundzüge der Aussagenlogik mit Anwendungsbeispielen aus den Wirtschaftswissenschaften |
title_exact_search | Grundzüge der Aussagenlogik mit Anwendungsbeispielen aus den Wirtschaftswissenschaften |
title_full | Grundzüge der Aussagenlogik mit Anwendungsbeispielen aus den Wirtschaftswissenschaften Lothar Czayka |
title_fullStr | Grundzüge der Aussagenlogik mit Anwendungsbeispielen aus den Wirtschaftswissenschaften Lothar Czayka |
title_full_unstemmed | Grundzüge der Aussagenlogik mit Anwendungsbeispielen aus den Wirtschaftswissenschaften Lothar Czayka |
title_short | Grundzüge der Aussagenlogik |
title_sort | grundzuge der aussagenlogik mit anwendungsbeispielen aus den wirtschaftswissenschaften |
title_sub | mit Anwendungsbeispielen aus den Wirtschaftswissenschaften |
topic | Taalwetenschap gtt Linguistik Aussagenlogik (DE-588)4136098-9 gnd |
topic_facet | Taalwetenschap Linguistik Aussagenlogik Einführung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001948861&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000895355 |
work_keys_str_mv | AT czaykalothar grundzugederaussagenlogikmitanwendungsbeispielenausdenwirtschaftswissenschaften |