Verfügbarkeit: Aussagenlogik und Beweisverfahren | Technische Universität München

Aussagenlogik und Beweisverfahren:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Freund, Helmut 1915- (VerfasserIn), Sorger, Peter 1938-2022 (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	Stuttgart Teubner 1974
Schriftenreihe:	Mathematik für die Lehrerausbildung
Schlagwörter:	Logic, Symbolic and mathematical Beweis Mathematikunterricht Mathematik Mathematische Logik Aussagenlogik Einführung
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001686570&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	136 S. graph. Darst.
ISBN:	3519027003

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV002624506
003	DE-604
005	20160428
007	t\|
008	900403s1974 xx d\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 3519027003 \|9 3-519-02700-3
035			\|a (OCoLC)9290161
035			\|a (DE-599)BVBBV002624506
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
049			\|a DE-91G \|a DE-384 \|a DE-473 \|a DE-703 \|a DE-739 \|a DE-898 \|a DE-355 \|a DE-20 \|a DE-824 \|a DE-19 \|a DE-N32 \|a DE-706 \|a DE-83 \|a DE-188
082	0		\|a 511.3 \|b F895a \|2 19
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a SM 100 \|0 (DE-625)143280: \|2 rvk
084			\|a SM 620 \|0 (DE-625)143302: \|2 rvk
084			\|a SM 670 \|0 (DE-625)143305: \|2 rvk
100	1		\|a Freund, Helmut \|d 1915- \|e Verfasser \|0 (DE-588)117710237 \|4 aut
245	1	0	\|a Aussagenlogik und Beweisverfahren \|c von H. Freund und P. Sorger
264		1	\|a Stuttgart \|b Teubner \|c 1974
300			\|a 136 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Mathematik für die Lehrerausbildung
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Beweis \|0 (DE-588)4132532-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematikunterricht \|0 (DE-588)4037949-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematik \|0 (DE-588)4037944-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
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
689	1	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1		\|5 DE-604
689	2	0	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	2	1	\|a Beweis \|0 (DE-588)4132532-1 \|D s
689	2		\|5 DE-604
689	3	0	\|a Mathematikunterricht \|0 (DE-588)4037949-8 \|D s
689	3		\|5 DE-604
700	1		\|a Sorger, Peter \|d 1938-2022 \|e Verfasser \|0 (DE-588)140651241 \|4 aut
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=001686570&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-001686570

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 MAT 036f 2001 A 14767 0102 MAT 036f 2001 A 14768
DE-BY-TUM_katkey	475764
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010341556 040020247972
_version_	1821940477491937280
adam_text	Inhalt 1. Einführung 1.1. Aussagen 9 1.2. Der Wahrheitsbegriff 11 1.3. Der Folgerungsbegriff 15 2. Darstellen von logischen Ausdrücken 2.1. Die Konjunktion 15 2.2. Die Negation 17 2.3. Disjunktion und Alternative 19 2.4. Wahrheitstafel, Wahrheitsmenge, Wahrheitsfelder und Tordarstellungen . 21 2.4.1. Wahrheitsmengen 22 2.4.2. Wahrheitsfelder 23 2.4.3. Tordarstellung 24 2.5. Subjunktion und Bisubjunktion 25 2.6. Äquivalente Ausdrücke 29 2.7. Zurückführung von Junktoren auf Konjunktion und Disjunktion ... 31 2.8. Die Aussagenkonstanten w und f 33 2.9. Logische Ausdrücke 34 2.10. Andere Darstellungen für Ausdrucke 38 2.10.1. Wahrheitsmengen 38 2.10.2. Wahrheitsfelder 40 2.10.3. Tordarstellungen 42 2.11. Abkürzungen für Ausdrücke 44 2.12. Formalisieren, Belegen und Interpretieren 47 2.12.1. Formalisieren 47 2.12.2. Belegen 47 2.12.3. Interpretieren 48 2.12.4. Uminterpretieren 48 2.13. Klassen von Ausdrücken 50 2.14. Junktoren und ihre Darstellungsformen im Anfangsunterricht .... 52 2.14.1. Bisherige Tendenzen 52 2.14.2. Ein Ergänzungsvorschlag 57 3. Logeleien und ihre Lösung 3.1. Denksportaufgaben 61 3.1.1. Kriminalfall A 62 3.1.2. Kriminalfall B 64 8 Inhalt 3.1.3. Lügengeschichte X 66 3.1.4. Lügengeschichte Y 69 3.1.5. Lügengeschichte Z 69 B 3.2. Einteilung logischer Ausdrücke 71 3.3. Auswertungsverfahren 74 C 3.4. Logisches Schließen und Beweise in der Sekundarstufe I 79 4. Logische Formeln A 4.1. Aufbau eines Ausdrucks aus Elementarausdrücken 81 4.2. Die Tordarstellungen der mit Hilfe von Elementarausdrücken geschrie¬ benen Aussagen 84 4.3. Äquivalenzen und Implikationen 87 B 4.4. Relationen zwischen Ausdrücken 88 4.5. Zusammenstellung logischer Formeln 96 4.6. Umformen von Ausdrücken 97 4.7. Junktorenbasen 98 5. Aussagenlogische Beweisverfahren A 5.1. Schlußregeln der Aussagenlogik 101 B 5.2. Aussagenlogische Beweisverfahren 113 5.3. Aussagenlogische Theorie Logischer Blöcke 121 C 5.4. Schlußfolgerndes Denken 126 5.4.1. Vorbemerkungen 126 5.4.2. Problemstellungen im Zusammenhang mit der „Oder Schaltung 127 5.4.3. Problemstellungen im Zusammenhang mit der „Und Schaltung 131 5.4.4. Umkehrungen von Fragestellungen 132 Sachverzeichnis 135
any_adam_object	1
author	Freund, Helmut 1915- Sorger, Peter 1938-2022
author_GND	(DE-588)117710237 (DE-588)140651241
author_facet	Freund, Helmut 1915- Sorger, Peter 1938-2022
author_role	aut aut
author_sort	Freund, Helmut 1915-
author_variant	h f hf p s ps
building	Verbundindex
bvnumber	BV002624506
classification_rvk	SK 130 SM 100 SM 620 SM 670
ctrlnum	(OCoLC)9290161 (DE-599)BVBBV002624506
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02207nam a2200541 c 4500</leader><controlfield tag="001">BV002624506</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160428 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">900403s1974 xx d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519027003</subfield><subfield code="9">3-519-02700-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)9290161</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002624506</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-91G</subfield><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-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-N32</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="b">F895a</subfield><subfield code="2">19</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">SM 100</subfield><subfield code="0">(DE-625)143280:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SM 620</subfield><subfield code="0">(DE-625)143302:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SM 670</subfield><subfield code="0">(DE-625)143305:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Freund, Helmut</subfield><subfield code="d">1915-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)117710237</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Aussagenlogik und Beweisverfahren</subfield><subfield code="c">von H. Freund und P. Sorger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Teubner</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">136 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">Mathematik für die Lehrerausbildung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematikunterricht</subfield><subfield code="0">(DE-588)4037949-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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="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="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-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">Mathematikunterricht</subfield><subfield code="0">(DE-588)4037949-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sorger, Peter</subfield><subfield code="d">1938-2022</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140651241</subfield><subfield code="4">aut</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=001686570&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001686570</subfield></datafield></record></collection>
genre	(DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV002624506
illustrated	Illustrated
indexdate	2024-12-20T07:52:58Z
institution	BVB
isbn	3519027003
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-001686570
oclc_num	9290161
open_access_boolean
owner	DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-20 DE-824 DE-19 DE-BY-UBM DE-N32 DE-706 DE-83 DE-188
owner_facet	DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-20 DE-824 DE-19 DE-BY-UBM DE-N32 DE-706 DE-83 DE-188
physical	136 S. graph. Darst.
publishDate	1974
publishDateSearch	1974
publishDateSort	1974
publisher	Teubner
record_format	marc
series2	Mathematik für die Lehrerausbildung
spellingShingle	Freund, Helmut 1915- Sorger, Peter 1938-2022 Aussagenlogik und Beweisverfahren Logic, Symbolic and mathematical Beweis (DE-588)4132532-1 gnd Mathematikunterricht (DE-588)4037949-8 gnd Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd
subject_GND	(DE-588)4132532-1 (DE-588)4037949-8 (DE-588)4037944-9 (DE-588)4037951-6 (DE-588)4136098-9 (DE-588)4151278-9
title	Aussagenlogik und Beweisverfahren
title_auth	Aussagenlogik und Beweisverfahren
title_exact_search	Aussagenlogik und Beweisverfahren
title_full	Aussagenlogik und Beweisverfahren von H. Freund und P. Sorger
title_fullStr	Aussagenlogik und Beweisverfahren von H. Freund und P. Sorger
title_full_unstemmed	Aussagenlogik und Beweisverfahren von H. Freund und P. Sorger
title_short	Aussagenlogik und Beweisverfahren
title_sort	aussagenlogik und beweisverfahren
topic	Logic, Symbolic and mathematical Beweis (DE-588)4132532-1 gnd Mathematikunterricht (DE-588)4037949-8 gnd Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd
topic_facet	Logic, Symbolic and mathematical Beweis Mathematikunterricht Mathematik Mathematische Logik Aussagenlogik Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001686570&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT freundhelmut aussagenlogikundbeweisverfahren AT sorgerpeter aussagenlogikundbeweisverfahren

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 MAT 036f 2001 A 14767 Lageplan 0102 MAT 036f 2001 A 14768 Lageplan
Exemplar 1	Ausleihbar Am Standort
Exemplar 2	Ausleihbar Am Standort