A Logical Approach to Discrete Math
This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo- sitional and predicate calculi and then to exercise that skill thoroug...
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | E-kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Netherlands
Springer Nature
2013
Springer |
| Vydanie: | 1993 edition. |
| Edícia: | Monographs in computer science |
| Predmet: | |
| ISBN: | 1475738374, 9781475738377, 9780387941158, 0387941150 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo- sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math- ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con- tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding. |
|---|---|
| AbstractList | This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo- sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math- ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con- tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding. |
| Author | Gries, David |
| Author_xml | – sequence: 1 fullname: Gries, David |
| BookMark | eNpNj01LxDAURSMq6IzzH4KuXBSSvqQvWZbxEypuZtblNZNM69SmNEX_vgMj4t0cLhwu3AW7GOLgz9hCKtQIBlCd_y9XbJXShzjGglLWXLO7kldx3znqeTmOUyTX8jnyhy65yc-ev9Hc3rDLQH3yq18u2fbpcbN-yar359d1WWUkc1CZ3NkQvDNYADTkPQHowqlgZJAWtQA0O6lIaydMjk0oyFh01juJIgcRYMnuT7uUDv47tbGfU_3V-ybGQ6otmr8jeHRvT66jRH03dPVnHOJ-orFNtQYlECz8AD-vSn0 |
| ContentType | eBook |
| DBID | I4C |
| DEWEY | 004 |
| DatabaseName | Casalini Torrossa eBooks Institutional Catalogue |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science Mathematics |
| EISBN | 1475738374 9781475738377 |
| Edition | 1993 edition. |
| Editor | Schneider, Fred B |
| Editor_xml | – sequence: 1 fullname: Schneider, Fred B |
| ExternalDocumentID | 9781475738377 5340739 |
| GroupedDBID | 38. AABBV ABARN ABQPQ ACLGV ADVEM AERYV AFOJC AHWGJ AJFER ALMA_UNASSIGNED_HOLDINGS AZZ BBABE GEOUK I4C JJU SBO ~1X 2HA 50X AARNW ABWRD ACFJL ADHHQ AEKFX AGEPW AGEUI AIBNY AKVJN AURUN CZZ NIOIY NYYHL SYRPR ~54 |
| ID | FETCH-LOGICAL-a1234-1d9ffec87633baeea3356c4f81f19750378d14a55c0827bf6a897c9ec170230f3 |
| ISBN | 1475738374 9781475738377 9780387941158 0387941150 |
| IngestDate | Fri Nov 08 04:24:47 EST 2024 Fri Apr 18 18:44:30 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | Q |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a1234-1d9ffec87633baeea3356c4f81f19750378d14a55c0827bf6a897c9ec170230f3 |
| PageCount | 1 |
| ParticipantIDs | askewsholts_vlebooks_9781475738377 casalini_monographs_5340739 |
| PublicationCentury | 2000 |
| PublicationDate | 2013 2013-03-14 |
| PublicationDateYYYYMMDD | 2013-01-01 2013-03-14 |
| PublicationDate_xml | – year: 2013 text: 2013 |
| PublicationDecade | 2010 |
| PublicationPlace | Netherlands |
| PublicationPlace_xml | – name: Netherlands |
| PublicationSeriesTitle | Monographs in computer science |
| PublicationYear | 2013 |
| Publisher | Springer Nature Springer |
| Publisher_xml | – name: Springer Nature – name: Springer |
| SSID | ssj0000934498 ssj0001894187 |
| Score | 1.888244 |
| Snippet | This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool... |
| SourceID | askewsholts casalini |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Data processing Computer science |
| Title | A Logical Approach to Discrete Math |
| URI | http://digital.casalini.it/9781475738377 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9781475738377 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1NS8MwGI5u8-AufuOcSlFvUliWpEmOonOCOD1ssFtJ2hSGoxtrHfv5vtnSbvMgePAS2hQCfZ7wJk_yfiB0ZzAJtGwlvqBa-JQJ5WtsuB_RmLdN0orbOloWm-C9nhgO5cfuTlbEwszHPE3FYiGn_0o19AHZNnT2D3SXg0IHPAPp0ALt0P7YEZevzt_Y1t9dYT5dB0o9jcAwwM74_k3l5dFv1wrkbZd2p_xtFYYt5V-c_Fm3Zpd9pBSGmHLGrfjkaztfet8xQu39XAVVeAB6tdbtvA9ey4OpliSUSrEMgnOD0CI3VjFoHdVV9glWGCx0ntklXWXKRnJurM39Q1QzNmDjCO2a9BgdFGUqPGe1TtDtg-eA8QpgvHziFcB4FphTNHju9B9ffFcbwlew1lIfx9L6u9h8ekQrYxQhLIhoInCCpb2b5SLGVDEWwR6H6yRQQvJImghzq7oScoaq6SQ158hLVCwjbbCOE0K5CSTlsZSMxxpAZ1w30M3Gz4bz8fIaOwu3EGmgZoFBCBNqlW48Cx3UF79-baL9Nb2XqJrPvswV2ovm-SibXTt-vgG6ogAl |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=A+Logical+Approach+to+Discrete+Math&rft.au=Gries%2C+David&rft.date=2013-01-01&rft.pub=Springer+Nature&rft.isbn=9781475738377&rft.externalDocID=5340739 |
| thumbnail_m | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97814757%2F9781475738377.jpg |