Conceptual models in mathematics: sets, logic and probability
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
London
Allen and Unwin
1971
|
Schriftenreihe: | Mathematical studies.
5. |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | 182 S. graph. Darst. |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV002113130 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | t | ||
008 | 890928s1971 d||| |||| 00||| eng d | ||
035 | |a (OCoLC)508710 | ||
035 | |a (DE-599)BVBBV002113130 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-91 |a DE-83 | ||
050 | 0 | |a QA248 | |
082 | 0 | |a 510 | |
084 | |a 03-01 |2 msc | ||
100 | 1 | |a Hirst, Keith E. |e Verfasser |4 aut | |
245 | 1 | 0 | |a Conceptual models in mathematics |b sets, logic and probability |c Keith E. Hirst ; F. Rhodes* |
264 | 1 | |a London |b Allen and Unwin |c 1971 | |
300 | |a 182 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Mathematical studies. |v 5. | |
650 | 4 | |a Logic, Symbolic and mathematical | |
650 | 4 | |a Probabilities | |
650 | 4 | |a Set theory | |
700 | 1 | |a Rhodes, F. |e Verfasser |4 aut | |
830 | 0 | |a Mathematical studies. |v 5. |w (DE-604)BV001894049 |9 5. | |
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=001385869&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-001385869 |
Datensatz im Suchindex
_version_ | 1804116567031545856 |
---|---|
adam_text | CONTENTS
Page
FOREWORD V
PREFACE Vi
LIST OF SYMBOLS JX
introduction: mathematical models xi
1. The Language of Sets 15
1.1 Introduction 15
1.2 Sets 16
1.3 Operations with sets 25
1.4 Subsets 31
1.5 Relationships involving operations 35
2. Mathematical Proof 40
2.1 The limitations of diagrams 40
2.2 Proof 41
2.3 Symbolic language 42
2.4 Derived truth tables and tautologies 47
2.5 Statements involving variables 54
2.6 Statements involving two variables 60
2.7 Mathematical proof 63
3. Relations and Functions 76
3.1 Introduction 76
3.2 Ordered pairs and cartesian products 11
3.3 Relations 79
3.4 Equivalence relations 85
3.5 Partial order relations 93
3.6 Functions 98
3.7 Special functions 101
3.8 Finite and infinite sets 105
4. Mathematical Theories 111
4.1 Introduction 111
4.2 Binary operations 111
4.3 Groups 121
4.4 Metric spaces 130
4.5 Measure spaces 140
5. Probability Theory 145
5.1 Introduction 145
contents Page
5.2 Finite probability spaces 146
5.3 Conditional probabilities 156
5.4 Tossing coins 162
SOLUTIONS AND ANSWERS TO SELECTED EXERCISES 167
INDEX 181
|
any_adam_object | 1 |
author | Hirst, Keith E. Rhodes, F. |
author_facet | Hirst, Keith E. Rhodes, F. |
author_role | aut aut |
author_sort | Hirst, Keith E. |
author_variant | k e h ke keh f r fr |
building | Verbundindex |
bvnumber | BV002113130 |
callnumber-first | Q - Science |
callnumber-label | QA248 |
callnumber-raw | QA248 |
callnumber-search | QA248 |
callnumber-sort | QA 3248 |
callnumber-subject | QA - Mathematics |
ctrlnum | (OCoLC)508710 (DE-599)BVBBV002113130 |
dewey-full | 510 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 510 - Mathematics |
dewey-raw | 510 |
dewey-search | 510 |
dewey-sort | 3510 |
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>01274nam a2200361 cb4500</leader><controlfield tag="001">BV002113130</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1971 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)508710</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002113130</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hirst, Keith E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conceptual models in mathematics</subfield><subfield code="b">sets, logic and probability</subfield><subfield code="c">Keith E. Hirst ; F. Rhodes*</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Allen and Unwin</subfield><subfield code="c">1971</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">182 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="1" ind2=" "><subfield code="a">Mathematical studies.</subfield><subfield code="v">5.</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">Probabilities</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rhodes, F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematical studies.</subfield><subfield code="v">5.</subfield><subfield code="w">(DE-604)BV001894049</subfield><subfield code="9">5.</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=001385869&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-001385869</subfield></datafield></record></collection> |
id | DE-604.BV002113130 |
illustrated | Illustrated |
indexdate | 2024-07-09T15:40:33Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001385869 |
oclc_num | 508710 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-83 |
owner_facet | DE-91 DE-BY-TUM DE-83 |
physical | 182 S. graph. Darst. |
publishDate | 1971 |
publishDateSearch | 1971 |
publishDateSort | 1971 |
publisher | Allen and Unwin |
record_format | marc |
series | Mathematical studies. |
series2 | Mathematical studies. |
spelling | Hirst, Keith E. Verfasser aut Conceptual models in mathematics sets, logic and probability Keith E. Hirst ; F. Rhodes* London Allen and Unwin 1971 182 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Mathematical studies. 5. Logic, Symbolic and mathematical Probabilities Set theory Rhodes, F. Verfasser aut Mathematical studies. 5. (DE-604)BV001894049 5. HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001385869&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Hirst, Keith E. Rhodes, F. Conceptual models in mathematics sets, logic and probability Mathematical studies. Logic, Symbolic and mathematical Probabilities Set theory |
title | Conceptual models in mathematics sets, logic and probability |
title_auth | Conceptual models in mathematics sets, logic and probability |
title_exact_search | Conceptual models in mathematics sets, logic and probability |
title_full | Conceptual models in mathematics sets, logic and probability Keith E. Hirst ; F. Rhodes* |
title_fullStr | Conceptual models in mathematics sets, logic and probability Keith E. Hirst ; F. Rhodes* |
title_full_unstemmed | Conceptual models in mathematics sets, logic and probability Keith E. Hirst ; F. Rhodes* |
title_short | Conceptual models in mathematics |
title_sort | conceptual models in mathematics sets logic and probability |
title_sub | sets, logic and probability |
topic | Logic, Symbolic and mathematical Probabilities Set theory |
topic_facet | Logic, Symbolic and mathematical Probabilities Set theory |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001385869&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV001894049 |
work_keys_str_mv | AT hirstkeithe conceptualmodelsinmathematicssetslogicandprobability AT rhodesf conceptualmodelsinmathematicssetslogicandprobability |