LEADER 04713nam 2200541 450 001 9910463750703321 005 20210209120709.0 010 $a1-119-00010-6 035 $a(CKB)2670000000613980 035 $a(EBL)1895893 035 $a(MiAaPQ)EBC1895893 035 $a(PPN)224232606 035 $a(EXLCZ)992670000000613980 100 $a20151105h20152015 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aLogic and discrete mathematics $ea concise introduction, solutions manual /$fWillem Conradie, Valentin Goranko, Claudette Robinson 210 1$aWest Sussex, England :$cWiley,$d2015. 210 4$dİ2015 215 $a1 online resource (392 p.) 300 $aDescription based upon print version of record. 311 $a1-118-76267-3 311 $a1-119-00011-4 327 $aCover; Table of Contents; Title Page; Copyright; Preface; About the Companion Website; Chapter 1: Preliminaries; 1.1 Sets; 1.2 Basics of Logical Connectives and Expressions; 1.3 Mathematical Induction; Chapter 2: Sets, Relations, Orders; 2.1 Set Inclusions and Equalities; 2.2 Functions; 2.3 Binary Relations and Operations on Them; 2.4 Special Binary Relations; 2.5 Equivalence Relations and Partitions; 2.6 Ordered Sets; 2.7 An Introduction to Cardinality; 2.8 Isomorphisms of Ordered Sets. Ordinal Numbers; 2.9 Application: relational databases; Chapter 3: Propositional Logic 327 $a3.1 Propositions, Logical Connectives, Truth Tables, Tautologies3.2 Propositional Logical Consequence. Valid and Invalid Propositional Inferences; 3.3 Semantic Tableaux; 3.4 Logical Equivalences. Negating Propositional Formulae; 3.5 Normal forms. Propositional Resolution; Chapter 4: First-Order Logic; 4.1 Basic Concepts of First-Order Logic; 4.2 The Formal Semantics of First-Order Logic; 4.3 The Language of First-Order Logic: A Deeper Look; 4.4 Truth, Logical Validity, Equivalence and Consequence in First-Order Logic; 4.5 Semantic Tableaux for First-Order Logic 327 $a4.6 Prenex and Clausal Normal Forms4.7 Resolution in First-Order Logic; 4.8 Applications of First-Order Logic to Mathematical Reasoning and Proofs; Chapter 5: Number Theory; 5.1 The Principle of Mathematical Induction revisited; 5.2 Divisibility; 5.3 Computing Greatest Common Divisors. Least Common Multiples; 5.4 Prime Numbers. The Fundamental Theorem of Arithmetic; 5.5 Congruence Relations; 5.6 Equivalence Classes and Residue Systems Modulo n; 5.7 Linear Diophantine Equations and Linear Congruences; 5.8 Chinese Remainder Theorem; 5.9 Euler's Function. Theorems of Euler and Fermat 327 $a5.10 Wilson's Theorem. Order of an Integer5.11 Application: Public Key Cryptography; Chapter 6: Combinatorics; 6.1 Two Basic Counting Principles; 6.2 Combinations. The Binomial Theorem; 6.3 The Principle of Inclusion - Exclusion; 6.4 The Pigeonhole Principle; 6.5 Generalized Permutations, Distributions and the Multinomial Theorem; 6.6 Selections and Arrangements with Repetition; Distributions of Identical Objects; 6.7 Recurrence Relations and Their Solution; 6.8 Generating Functions; 6.9 Recurrence Relations and Generating Functions; 6.10 Application: Classical Discrete Probability 327 $aChapter 7: Graph Theory7.1 Introduction to Graphs and Digraphs; 7.2 Incidence and Adjacency Matrices; 7.3 Weighted Graphs and Path Algorithms; 7.4 Trees; 7.5 Eulerian Graphs and Hamiltonian Graphs; 7.6 Planar Graphs; 7.7 Graph Colourings; End User License Agreement 330 $aSolutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in this accompanying solutions manual. 606 $aLogic, Symbolic and mathematical$vTextbooks 606 $aComputer science$xMathematics$vTextbooks 608 $aElectronic books. 615 0$aLogic, Symbolic and mathematical 615 0$aComputer science$xMathematics 676 $a004/.01/51 700 $aConradie$b Willem$f1978-$0918556 702 $aGoranko$b Valentin 702 $aRobinson$b Claudette 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910463750703321 996 $aLogic and discrete mathematics$92059714 997 $aUNINA LEADER 01536nam 2200361Ia 450 001 996395890903316 005 20221108080005.0 035 $a(CKB)4330000000323561 035 $a(EEBO)2264181200 035 $a(OCoLC)12743445 035 $a(EXLCZ)994330000000323561 100 $a19851031d1694 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 13$aAn apology for the ministers who subscribed only unto the stating of the truths and errours in Mr. William's book$b[electronic resource] $eshewing, that the Gospel which they preach, is the old everlasting Gospel of Christ, and vindicating them from the calumnies, wherewith they (especially the younger sort of them) have been unjustly aspersed by the letter from a minister in the city, to a minister in the countrey 210 $aLondon $cPrinted for John Lawrence ...$d1694 215 $a[10], 208 p 300 $aAttributed by Wing to William Lorimer. 300 $aErrata: prelim. p. [10]. 300 $aIncludes bibliographical references. 300 $aAdvertisement: prelim. p. [10]. 300 $aReproduction of original in Union Theological Seminary Library, New York. 330 $aeebo-0160 700 $aLorimer$b William$fd. 1721.$01002509 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bUMI 801 2$bWaOLN 906 $aBOOK 912 $a996395890903316 996 $aAn apology for the ministers who subscribed only unto the stating of the truths and errours in Mr. William's book$92300954 997 $aUNISA