Holdings: How to prove it :: THWS Bibkatalog

How to prove it: a structured approach

Saved in:

Bibliographic Details
Main Author:	Velleman, Daniel J. (Author)
Format:	Book
Language:	English
Published:	Cambridge [u.a.] Cambridge Univ. Press 2006
Edition:	2. ed.
Subjects:	Mathematik Logic, Symbolic and mathematical Mathematics Beweis Mengenlehre Beweistheorie Mathematische Logik Einführung
Online Access:	Inhaltsverzeichnis
Physical Description:	XIII, 384 S.
ISBN:	0521861241 0521675995 9780521861243 9780521675994

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV021610939
003	DE-604
005	20151026
007	t
008	060608s2006 xxk \|\|\|\| 00\|\|\| eng d
010			\|a 2005029447
020			\|a 0521861241 \|9 0-521-86124-1
020			\|a 0521675995 \|9 0-521-67599-5
020			\|a 9780521861243 \|9 978-0-521-86124-3
020			\|a 9780521675994 \|9 978-0-521-67599-4
035			\|a (OCoLC)62084309
035			\|a (DE-599)BVBBV021610939
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
044			\|a xxk \|c GB
049			\|a DE-703 \|a DE-384 \|a DE-83 \|a DE-11 \|a DE-188 \|a DE-91 \|a DE-91G
050		0	\|a QA9
082	0		\|a 511.3
084			\|a QH 100 \|0 (DE-625)141530: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a 00A35 \|2 msc
084			\|a 03F07 \|2 msc
084			\|a MAT 036f \|2 stub
100	1		\|a Velleman, Daniel J. \|e Verfasser \|4 aut
245	1	0	\|a How to prove it \|b a structured approach \|c Daniel J. Velleman
250			\|a 2. ed.
264		1	\|a Cambridge [u.a.] \|b Cambridge Univ. Press \|c 2006
300			\|a XIII, 384 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650		4	\|a Mathematik
650		4	\|a Logic, Symbolic and mathematical
650		4	\|a Mathematics
650	0	7	\|a Beweis \|0 (DE-588)4132532-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|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
655		7	\|8 1\p \|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Beweis \|0 (DE-588)4132532-1 \|D s
689	1	1	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	2		\|8 3\p \|5 DE-604
689	3	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	3		\|8 4\p \|5 DE-604
856	4	2	\|m LoC Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014826149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-014826149
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
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Record in the Search Index

_version_	1804135396925243392
adam_text	HOW TO PROVE IT / VELLEMAN, DANIEL J. : 2006 TABLE OF CONTENTS / INHALTSVERZEICHNIS INTRODUCTION SENTENTIAL LOGIC 1.1 DEDUCTIVE REASONING AND LOGICAL CONNECTIVES 1.2 TRUTH TABLES 1.3 VARIABLES AND SETS 1.4 OPERATIONS ON SETS 1.5 THE CONDITIONAL AND BICONDITIONAL CONNECTIVES QUANTIFICATIONAL LOGIC 2.1 QUANTIFIERS 2.2 EQUIVALENCES INVOLVING QUANTIFIERS 2.3 MORE OPERATIONS ON SETS PROOFS 3.1 PROOF STRATEGIES 3.2 PROOFS INVOLVING NEGATIONS AND CONDITIONALS 3.3 PROOFS INVOLVING QUANTIFIERS 3.4 PROOFS INVOLVING CONJUNCTIONS AND BICONDITIONALS 3.5 PROOFS INVOLVING DISJUNCTIONS 3.6 EXISTENCE AND UNIQUENESS PROOFS 3.7 MORE EXAMPLES OF PROOFS RELATIONS 4.1 ORDERED PAIRS AND CARTESIAN PRODUCTS 4.2 RELATIONS 4.3 MORE ABOUT RELATIONS 4.4 ORDERING RELATIONS 4.5 CLOSURES 4.6 EQUIVALENCE RELATIONS FUNCTIONS 5.1 FUNCTIONS 5.2 ONE-TO-ONE AND ONTO 5.3 INVERSES OF FUNCTIONS 5.4 IMAGES AND INVERSE IMAGES: A RESEARCH PROJECT MATHEMATICAL INDUCTION 6.1 PROOF BY MATHEMATICAL INDUCTION 6.2 MORE EXAMPLES 6.3 RECURSION 6.4 STRONG INDUCTION 6.5 CLOSURES AGAIN INFINITE SETS 7.1 EQUINUMEROUS SETS 7.2 COUNTABLE AND UNCOUNTABLE SETS 7.3 THE CANTOR SCHRODER BERNSTEIN THEOREMAPPENDIX 1: SOLUTIONS TO SELECTED EXERCISES APPENDIX 2: PROOF DESIGNER SUGGESTIONS FOR FURTHER READING SUMMARY FOR PROOF TECHNIQUES INDEX. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
adam_txt	HOW TO PROVE IT / VELLEMAN, DANIEL J. : 2006 TABLE OF CONTENTS / INHALTSVERZEICHNIS INTRODUCTION SENTENTIAL LOGIC 1.1 DEDUCTIVE REASONING AND LOGICAL CONNECTIVES 1.2 TRUTH TABLES 1.3 VARIABLES AND SETS 1.4 OPERATIONS ON SETS 1.5 THE CONDITIONAL AND BICONDITIONAL CONNECTIVES QUANTIFICATIONAL LOGIC 2.1 QUANTIFIERS 2.2 EQUIVALENCES INVOLVING QUANTIFIERS 2.3 MORE OPERATIONS ON SETS PROOFS 3.1 PROOF STRATEGIES 3.2 PROOFS INVOLVING NEGATIONS AND CONDITIONALS 3.3 PROOFS INVOLVING QUANTIFIERS 3.4 PROOFS INVOLVING CONJUNCTIONS AND BICONDITIONALS 3.5 PROOFS INVOLVING DISJUNCTIONS 3.6 EXISTENCE AND UNIQUENESS PROOFS 3.7 MORE EXAMPLES OF PROOFS RELATIONS 4.1 ORDERED PAIRS AND CARTESIAN PRODUCTS 4.2 RELATIONS 4.3 MORE ABOUT RELATIONS 4.4 ORDERING RELATIONS 4.5 CLOSURES 4.6 EQUIVALENCE RELATIONS FUNCTIONS 5.1 FUNCTIONS 5.2 ONE-TO-ONE AND ONTO 5.3 INVERSES OF FUNCTIONS 5.4 IMAGES AND INVERSE IMAGES: A RESEARCH PROJECT MATHEMATICAL INDUCTION 6.1 PROOF BY MATHEMATICAL INDUCTION 6.2 MORE EXAMPLES 6.3 RECURSION 6.4 STRONG INDUCTION 6.5 CLOSURES AGAIN INFINITE SETS 7.1 EQUINUMEROUS SETS 7.2 COUNTABLE AND UNCOUNTABLE SETS 7.3 THE CANTOR SCHRODER BERNSTEIN THEOREMAPPENDIX 1: SOLUTIONS TO SELECTED EXERCISES APPENDIX 2: PROOF DESIGNER SUGGESTIONS FOR FURTHER READING SUMMARY FOR PROOF TECHNIQUES INDEX. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
any_adam_object_boolean	1
author	Velleman, Daniel J.
author_facet	Velleman, Daniel J.
author_role	aut
author_sort	Velleman, Daniel J.
author_variant	d j v dj djv
building	Verbundindex
bvnumber	BV021610939
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9
callnumber-search	QA9
callnumber-sort	QA 19
callnumber-subject	QA - Mathematics
classification_rvk	QH 100 SK 130
classification_tum	MAT 036f
ctrlnum	(OCoLC)62084309 (DE-599)BVBBV021610939
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 Wirtschaftswissenschaften
discipline_str_mv	Mathematik Wirtschaftswissenschaften
edition	2. ed.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02633nam a2200685 c 4500</leader><controlfield tag="001">BV021610939</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151026 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060608s2006 xxk \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2005029447</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521861241</subfield><subfield code="9">0-521-86124-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521675995</subfield><subfield code="9">0-521-67599-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521861243</subfield><subfield code="9">978-0-521-86124-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521675994</subfield><subfield code="9">978-0-521-67599-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)62084309</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021610939</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 100</subfield><subfield code="0">(DE-625)141530:</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">00A35</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F07</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 036f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Velleman, Daniel J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">How to prove it</subfield><subfield code="b">a structured approach</subfield><subfield code="c">Daniel J. Velleman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 384 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="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</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="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">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-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">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">LoC Fremddatenuebernahme</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=014826149&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-014826149</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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">4\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.BV021610939
illustrated	Not Illustrated
index_date	2024-07-02T14:50:31Z
indexdate	2024-07-09T20:39:51Z
institution	BVB
isbn	0521861241 0521675995 9780521861243 9780521675994
language	English
lccn	2005029447
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014826149
oclc_num	62084309
open_access_boolean
owner	DE-703 DE-384 DE-83 DE-11 DE-188 DE-91 DE-BY-TUM DE-91G DE-BY-TUM
owner_facet	DE-703 DE-384 DE-83 DE-11 DE-188 DE-91 DE-BY-TUM DE-91G DE-BY-TUM
physical	XIII, 384 S.
publishDate	2006
publishDateSearch	2006
publishDateSort	2006
publisher	Cambridge Univ. Press
record_format	marc
spelling	Velleman, Daniel J. Verfasser aut How to prove it a structured approach Daniel J. Velleman 2. ed. Cambridge [u.a.] Cambridge Univ. Press 2006 XIII, 384 S. txt rdacontent n rdamedia nc rdacarrier Mathematik Logic, Symbolic and mathematical Mathematics Beweis (DE-588)4132532-1 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Beweistheorie (DE-588)4145177-6 s DE-604 Beweis (DE-588)4132532-1 s Mathematik (DE-588)4037944-9 s 2\p DE-604 Mengenlehre (DE-588)4074715-3 s 3\p DE-604 Mathematische Logik (DE-588)4037951-6 s 4\p DE-604 LoC Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014826149&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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Velleman, Daniel J. How to prove it a structured approach Mathematik Logic, Symbolic and mathematical Mathematics Beweis (DE-588)4132532-1 gnd Mengenlehre (DE-588)4074715-3 gnd Beweistheorie (DE-588)4145177-6 gnd Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4132532-1 (DE-588)4074715-3 (DE-588)4145177-6 (DE-588)4037944-9 (DE-588)4037951-6 (DE-588)4151278-9
title	How to prove it a structured approach
title_auth	How to prove it a structured approach
title_exact_search	How to prove it a structured approach
title_exact_search_txtP	How to prove it a structured approach
title_full	How to prove it a structured approach Daniel J. Velleman
title_fullStr	How to prove it a structured approach Daniel J. Velleman
title_full_unstemmed	How to prove it a structured approach Daniel J. Velleman
title_short	How to prove it
title_sort	how to prove it a structured approach
title_sub	a structured approach
topic	Mathematik Logic, Symbolic and mathematical Mathematics Beweis (DE-588)4132532-1 gnd Mengenlehre (DE-588)4074715-3 gnd Beweistheorie (DE-588)4145177-6 gnd Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Mathematik Logic, Symbolic and mathematical Mathematics Beweis Mengenlehre Beweistheorie Mathematische Logik Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014826149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT vellemandanielj howtoproveitastructuredapproach

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items