Logic as a tool: a guide to formal logical reasoning
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Chichester, UK Hoboken, NJ
Wiley
2016
|
| Schlagwörter: | |
| Links: | https://learning.oreilly.com/library/view/-/9781118880005/?ar |
| Zusammenfassung: | Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level, and provides the reader with technical skills needed for practical derivations in them. Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ.-Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples -Emphasis both on conceptual understanding and on developing practical skills -Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic -Includes extensive sets of exercises, many of them provided with solutions or answers-Supplemented by a website including detailed slides, additional exercises and solutionsFor more information browse the book's website at. |
| Beschreibung: | Includes bibliographical references and index. - Print version record and CIP data provided by publisher |
| Umfang: | 1 Online-Ressource |
| ISBN: | 9781118880043 1118880048 9781118880050 1118880056 9781118880005 |
Internformat
MARC
| LEADER | 00000cam a22000002 4500 | ||
|---|---|---|---|
| 001 | ZDB-30-ORH-047545917 | ||
| 003 | DE-627-1 | ||
| 005 | 20240228120050.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 191023s2016 xx |||||o 00| ||eng c | ||
| 020 | |a 9781118880043 |c epub |9 978-1-118-88004-3 | ||
| 020 | |a 1118880048 |c epub |9 1-118-88004-8 | ||
| 020 | |a 9781118880050 |c pdf |9 978-1-118-88005-0 | ||
| 020 | |a 1118880056 |c pdf |9 1-118-88005-6 | ||
| 020 | |a 9781118880005 |9 978-1-118-88000-5 | ||
| 035 | |a (DE-627-1)047545917 | ||
| 035 | |a (DE-599)KEP047545917 | ||
| 035 | |a (ORHE)9781118880005 | ||
| 035 | |a (DE-627-1)047545917 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 072 | 7 | |a MAT |2 bisacsh | |
| 082 | 0 | |a 511.3 |2 23 | |
| 100 | 1 | |a Goranko, Valentin |e VerfasserIn |4 aut | |
| 245 | 1 | 0 | |a Logic as a tool |b a guide to formal logical reasoning |c Valentin Goranko |
| 264 | 1 | |a Chichester, UK |a Hoboken, NJ |b Wiley |c 2016 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index. - Print version record and CIP data provided by publisher | ||
| 520 | |a Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level, and provides the reader with technical skills needed for practical derivations in them. Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ.-Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples -Emphasis both on conceptual understanding and on developing practical skills -Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic -Includes extensive sets of exercises, many of them provided with solutions or answers-Supplemented by a website including detailed slides, additional exercises and solutionsFor more information browse the book's website at. | ||
| 650 | 0 | |a Logic |v Textbooks | |
| 650 | 4 | |a MATHEMATICS ; General | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Textbooks | |
| 776 | 1 | |z 9781118880005 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781118880005 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-30-ORH |q TUM_PDA_ORH |u https://learning.oreilly.com/library/view/-/9781118880005/?ar |m X:ORHE |x Aggregator |z lizenzpflichtig |3 Volltext |
| 912 | |a ZDB-30-ORH | ||
| 912 | |a ZDB-30-ORH | ||
| 951 | |a BO | ||
| 912 | |a ZDB-30-ORH | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-30-ORH-047545917 |
|---|---|
| _version_ | 1821494884454891520 |
| adam_text | |
| any_adam_object | |
| author | Goranko, Valentin |
| author_facet | Goranko, Valentin |
| author_role | aut |
| author_sort | Goranko, Valentin |
| author_variant | v g vg |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-30-ORH |
| ctrlnum | (DE-627-1)047545917 (DE-599)KEP047545917 (ORHE)9781118880005 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03257cam a22004692 4500</leader><controlfield tag="001">ZDB-30-ORH-047545917</controlfield><controlfield tag="003">DE-627-1</controlfield><controlfield tag="005">20240228120050.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">191023s2016 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118880043</subfield><subfield code="c">epub</subfield><subfield code="9">978-1-118-88004-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118880048</subfield><subfield code="c">epub</subfield><subfield code="9">1-118-88004-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118880050</subfield><subfield code="c">pdf</subfield><subfield code="9">978-1-118-88005-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118880056</subfield><subfield code="c">pdf</subfield><subfield code="9">1-118-88005-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118880005</subfield><subfield code="9">978-1-118-88000-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)047545917</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP047545917</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ORHE)9781118880005</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)047545917</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goranko, Valentin</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic as a tool</subfield><subfield code="b">a guide to formal logical reasoning</subfield><subfield code="c">Valentin Goranko</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester, UK</subfield><subfield code="a">Hoboken, NJ</subfield><subfield code="b">Wiley</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index. - Print version record and CIP data provided by publisher</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level, and provides the reader with technical skills needed for practical derivations in them. Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ.-Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples -Emphasis both on conceptual understanding and on developing practical skills -Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic -Includes extensive sets of exercises, many of them provided with solutions or answers-Supplemented by a website including detailed slides, additional exercises and solutionsFor more information browse the book's website at.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic</subfield><subfield code="v">Textbooks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">MATHEMATICS ; General</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Textbooks</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781118880005</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781118880005</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-30-ORH</subfield><subfield code="q">TUM_PDA_ORH</subfield><subfield code="u">https://learning.oreilly.com/library/view/-/9781118880005/?ar</subfield><subfield code="m">X:ORHE</subfield><subfield code="x">Aggregator</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-30-ORH-047545917 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-17T11:21:28Z |
| institution | BVB |
| isbn | 9781118880043 1118880048 9781118880050 1118880056 9781118880005 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ZDB-30-ORH TUM_PDA_ORH ZDB-30-ORH |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Wiley |
| record_format | marc |
| spelling | Goranko, Valentin VerfasserIn aut Logic as a tool a guide to formal logical reasoning Valentin Goranko Chichester, UK Hoboken, NJ Wiley 2016 1 Online-Ressource Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Includes bibliographical references and index. - Print version record and CIP data provided by publisher Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level, and provides the reader with technical skills needed for practical derivations in them. Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ.-Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples -Emphasis both on conceptual understanding and on developing practical skills -Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic -Includes extensive sets of exercises, many of them provided with solutions or answers-Supplemented by a website including detailed slides, additional exercises and solutionsFor more information browse the book's website at. Logic Textbooks MATHEMATICS ; General Logic Textbooks 9781118880005 Erscheint auch als Druck-Ausgabe 9781118880005 |
| spellingShingle | Goranko, Valentin Logic as a tool a guide to formal logical reasoning Logic Textbooks MATHEMATICS ; General Logic Textbooks |
| title | Logic as a tool a guide to formal logical reasoning |
| title_auth | Logic as a tool a guide to formal logical reasoning |
| title_exact_search | Logic as a tool a guide to formal logical reasoning |
| title_full | Logic as a tool a guide to formal logical reasoning Valentin Goranko |
| title_fullStr | Logic as a tool a guide to formal logical reasoning Valentin Goranko |
| title_full_unstemmed | Logic as a tool a guide to formal logical reasoning Valentin Goranko |
| title_short | Logic as a tool |
| title_sort | logic as a tool a guide to formal logical reasoning |
| title_sub | a guide to formal logical reasoning |
| topic | Logic Textbooks MATHEMATICS ; General Logic Textbooks |
| topic_facet | Logic Textbooks MATHEMATICS ; General Logic Textbooks |
| work_keys_str_mv | AT gorankovalentin logicasatoolaguidetoformallogicalreasoning |