|
|
|
|
| LEADER |
00000cam a2200000Mu 4500 |
| 001 |
EBOOKCENTRAL_on1347022988 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr cnu|||||||| |
| 008 |
230209s2015 xx o ||| 0 eng d |
| 040 |
|
|
|a EBLCP
|b eng
|c EBLCP
|d OCLCQ
|d OCLCO
|d EBLCP
|d OCLCQ
|d OCLCL
|
| 020 |
|
|
|a 9781119000112
|
| 020 |
|
|
|a 1119000114
|
| 035 |
|
|
|a (OCoLC)1347022988
|
| 082 |
0 |
4 |
|a 511.3
|q OCoLC
|2 23/eng/20230216
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Conradie, Willem.
|
| 245 |
1 |
0 |
|a Logic and Discrete Mathematics
|h [electronic resource] :
|b A Concise Introduction, Solutions Manual.
|
| 260 |
|
|
|a Newark :
|b John Wiley & Sons, Incorporated,
|c 2015.
|
| 300 |
|
|
|a 1 online resource (196 p.).
|
| 490 |
1 |
|
|a New York Academy of Sciences Ser.
|
| 500 |
|
|
|a Description based upon print version of record.
|
| 505 |
0 |
|
|a Cover -- Title Page -- Copyright -- Contents -- 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
|
| 505 |
8 |
|
|a Chapter 3 Propositional Logic -- 3.1 Propositions, logical connectives, truth tables, tautologies -- 3.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
|
| 505 |
8 |
|
|a 4.5 Semantic tableaux for first-order logic -- 4.6 Prenex and clausal normal forms -- 4.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
|
| 505 |
8 |
|
|a 5.8 Chinese remainder theorem -- 5.9 Euler's function. Theorems of Euler and Fermat -- 5.10 Wilson's theorem. Order of an integer -- 5.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
|
| 505 |
8 |
|
|a 6.9 Recurrence relations and generating functions -- 6.10 Application: classical discrete probability -- Chapter 7 Graph Theory -- 7.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 -- EULA
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 655 |
|
0 |
|a Electronic books.
|
| 758 |
|
|
|i has work:
|a Logic and discrete mathematics [2] Solutions manual (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCG9vvBbywhdXyfDMw9XBKd
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Conradie, Willem
|t Logic and Discrete Mathematics
|d Newark : John Wiley & Sons, Incorporated,c2015
|z 9781118762677
|
| 830 |
|
0 |
|a New York Academy of Sciences Ser.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=7104329
|z Texto completo
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL7104329
|
| 994 |
|
|
|a 92
|b IZTAP
|
