A first course in logic:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boca Raton, Florida
CRC Press
[2019]
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | xv, 233 Seiten Illustrationen, Diagramme |
| ISBN: | 9780815386643 9780815386650 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV045491460 | ||
| 003 | DE-604 | ||
| 005 | 20190320 | ||
| 007 | t | ||
| 008 | 190227s2019 xxua||| |||| 00||| eng d | ||
| 010 | |a 018024672 | ||
| 020 | |a 9780815386643 |9 978-0-8153-8664-3 | ||
| 020 | |a 9780815386650 |9 978-0-8153-8665-0 | ||
| 035 | |a (OCoLC)1090779915 | ||
| 035 | |a (DE-599)BVBBV045491460 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-739 |a DE-573 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Lawson, Mark V. |0 (DE-588)114617134X |4 aut | |
| 245 | 1 | 0 | |a A first course in logic |c Mark V. Lawson |
| 264 | 1 | |a Boca Raton, Florida |b CRC Press |c [2019] | |
| 300 | |a xv, 233 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logic, Symbolic and mathematical |v Problems, exercises, etc | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 9781351175388 |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030876316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030876316 | ||
Datensatz im Suchindex
| _version_ | 1804179417404014592 |
|---|---|
| adam_text | Contents Preface ix Introduction xi 1 Propositional logic 1 1.1 Informal propositional logic ...............................................; . . . 1 1.2 Syntax of propositional logic ......................... . . . ................ 9 1.3 Semantics of propositional logic ................ 16 1.4 Logical equivalence ......................· · · ..................... .. 23 1.4.1 Definition ................................................. 23 1.4.2 Logical patterns 25 1.4.3 Applications .................................. 27 1.5 PL in action .................................................. 31 1.5.1 PL as a programming language ............. 32 1.5.2 PL can be used to model some computers ... . . . . 36 1.6 Adequate sets of connectives .................. 42 1.7 Truth functions .......................................................................... 45 1.8 Normalforms ................................................... 1.8.1 Negation normal form (NNF) ............................ 48 1.8.2 Disjunctive normal form (DNF) ............. 49 1.8.3 Conjunctive normal form (CNF) ............ 50 1.8.4 Prologue to PROLOG .............................................. ,51 1.9 V = AfV? or How to win a million dollars ... .... ; . . . 56 1.10 Valid arguments .......................................................... 1.10.1 Definitions and examples ............................................... 62 1.10.2 Proof in mathematics(I) .................................... 1.11 Truth trees ................................................................................ 71 1.11.1 The truth tree
algorithm ............ ... . . ...................... 72 1.11.2 The theory of truth trees .............................................. 83 1.12 Sequent calculus.................................................. 1.12.1 Deduction trees . .................................................................. 89 1.12.2 Truth trees revisited . ...................... .............................. 94 1.12.3 Gentzen’s system LK.............................................. ... . 99 vii 6 66
Contents viii 2 Boolean algebras 2.1 2.2 More set theory ................. Boolean algebras................. 2.2.1 Motivation .................................................................... 2.2.2 Definition and examples................................................ 2.2.3 Algebra in a Boolean algebra....................................... 2.3 Combinational circuits ............................................................ 2.3.1 How gates build circuits ........................................ 2.3.2 A simple calculator ................................................... .. . 2.4 Sequential circuits................................ 3 First-order logic 3.1 , First steps ................. . . ...................................................... 3.1.1 Names and predicates . .................... 3.1.2 Relations.................... 3.1.3 Structures.............. ...................................... ............... 3.1.4 Quantification ................................... 3.1.5 Syntax ............................................... 3.1.6 Variables: their care andmaintenance . . . ............... 3.1.7 Semantics . ................................................... 3.1.8 De Morgan’s laws for quantifiers ................................. 3.1.9 Quantifier examples ........................... . .՝.................. 3.2 Gödel’s completeness theorem . ............................................. 3.2.1 An example . ................................. 3.2.2 Truth trees for FOL .......................................... .. . . . 3.2.3 The soundness
theorem................................... 3.2.4 The completeness theorem............................................. 3.3 Proof in mathematics (II)................. 3.4 Further reading ........................................................................ 103 103 110 110 112 114 120 120 127 134 145 146 146 148 150 152 154 156 160 167 168 173 173 174 180 182 188 190 Solutions to all exercises 193 Bibliography 225 Index 231
|
| any_adam_object | 1 |
| author | Lawson, Mark V. |
| author_GND | (DE-588)114617134X |
| author_facet | Lawson, Mark V. |
| author_role | aut |
| author_sort | Lawson, Mark V. |
| author_variant | m v l mv mvl |
| building | Verbundindex |
| bvnumber | BV045491460 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)1090779915 (DE-599)BVBBV045491460 |
| 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>01529nam a2200409 c 4500</leader><controlfield tag="001">BV045491460</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190320 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">190227s2019 xxua||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">018024672</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780815386643</subfield><subfield code="9">978-0-8153-8664-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780815386650</subfield><subfield code="9">978-0-8153-8665-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1090779915</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045491460</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-573</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><subfield code="2">23</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="100" ind1="1" ind2=" "><subfield code="a">Lawson, Mark V.</subfield><subfield code="0">(DE-588)114617134X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A first course in logic</subfield><subfield code="c">Mark V. Lawson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton, Florida</subfield><subfield code="b">CRC Press</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 233 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">Logic, Symbolic and mathematical</subfield><subfield code="v">Problems, exercises, etc</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</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="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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">9781351175388</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</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=030876316&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-030876316</subfield></datafield></record></collection> |
| id | DE-604.BV045491460 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:19:32Z |
| institution | BVB |
| isbn | 9780815386643 9780815386650 |
| language | English |
| lccn | 018024672 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030876316 |
| oclc_num | 1090779915 |
| open_access_boolean | |
| owner | DE-739 DE-573 |
| owner_facet | DE-739 DE-573 |
| physical | xv, 233 Seiten Illustrationen, Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | CRC Press |
| record_format | marc |
| spelling | Lawson, Mark V. (DE-588)114617134X aut A first course in logic Mark V. Lawson Boca Raton, Florida CRC Press [2019] xv, 233 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Logic, Symbolic and mathematical Problems, exercises, etc Logic Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Erscheint auch als Online-Ausgabe 9781351175388 Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030876316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lawson, Mark V. A first course in logic Logic, Symbolic and mathematical Problems, exercises, etc Logic Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | A first course in logic |
| title_auth | A first course in logic |
| title_exact_search | A first course in logic |
| title_full | A first course in logic Mark V. Lawson |
| title_fullStr | A first course in logic Mark V. Lawson |
| title_full_unstemmed | A first course in logic Mark V. Lawson |
| title_short | A first course in logic |
| title_sort | a first course in logic |
| topic | Logic, Symbolic and mathematical Problems, exercises, etc Logic Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Problems, exercises, etc Logic Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030876316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT lawsonmarkv afirstcourseinlogic |