Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logic and discrete mathematics : a concise introduction, solutions manual / / Willem Conradie, Valentin Goranko, Claudette Robinson
| Logic and discrete mathematics : a concise introduction, solutions manual / / Willem Conradie, Valentin Goranko, Claudette Robinson |
| Autore | Conradie Willem <1978-> |
| Pubbl/distr/stampa | West Sussex, England : , : Wiley, , 2015 |
| Descrizione fisica | 1 online resource (392 p.) |
| Disciplina | 004/.01/51 |
| Soggetto topico |
Logic, Symbolic and mathematical
Computer science - Mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-119-00010-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; 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
3.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 4.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 5.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 Chapter 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 |
| Record Nr. | UNINA-9910463750703321 |
Conradie Willem <1978->
|
||
| West Sussex, England : , : Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and discrete mathematics : a concise introduction / / Willem Conradie, Valentin Goranko
| Logic and discrete mathematics : a concise introduction / / Willem Conradie, Valentin Goranko |
| Autore | Conradie Willem <1978-> |
| Pubbl/distr/stampa | West Sussex, England : , : Wiley, , 2015 |
| Descrizione fisica | 1 online resource (452 p.) |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Computer science - Mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-118-76109-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright; Contents; List of Boxes; Preface; Acknowledgements; About the Companion Website; Chapter 1 Preliminaries; 1.1 Sets; 1.1.1 Exercises; 1.2 Basics of logical connectives and expressions; 1.2.1 Propositions, logical connectives, truth tables, tautologies; 1.2.2 Individual variables and quantifiers; 1.2.3 Exercises; 1.3 Mathematical induction; 1.3.1 Exercises; Chapter 2 Sets, Relations, Orders; 2.1 Set inclusions and equalities; 2.1.1 Properties of the set theoretic operations; 2.1.2 Exercises; 2.2 Functions; 2.2.1 Functions and their inverses
2.2.2 Composition of mappings2.2.3 Exercises; 2.3 Binary relations and operations on them; 2.3.1 Binary relations; 2.3.2 Matrix and graphical representations of relations on finite sets; 2.3.3 Boolean operations on binary relations; 2.3.4 Inverse and composition of relations; 2.3.5 Exercises; 2.4 Special binary relations; 2.4.1 Properties of binary relations; 2.4.2 Functions as relations; 2.4.3 Reflexive, symmetric and transitive closures of a relation; 2.4.4 Exercises; 2.5 Equivalence relations and partitions; 2.5.1 Equivalence relations; 2.5.2 Quotient sets and partitions 2.5.3 The kernel equivalence of a mapping2.5.4 Exercises; 2.6 Ordered sets; 2.6.1 Pre-orders and partial orders; 2.6.2 Graphical representing posets: Hasse diagrams; 2.6.3 Lower and upper bounds. Minimal and maximal elements; 2.6.4 Well-ordered sets; 2.6.5 Exercises; 2.7 An introduction to cardinality; 2.7.1 Equinumerosity and cardinality; 2.7.2 Exercises; 2.8 Isomorphisms of ordered sets. Ordinal numbers; 2.8.1 Exercises; 2.9 Application: relational databases; 2.9.1 Exercises; Chapter 3 Propositional Logic; 3.1 Propositions, logical connectives, truth tables, tautologies 3.1.1 Propositions and propositional connectives. Truth tables3.1.2 Some remarks on the meaning of the connectives; 3.1.3 Propositional formulae; 3.1.4 Construction and parsing tree of a propositional formula; 3.1.5 Truth tables of propositional formulae; 3.1.6 Tautologies; 3.1.7 A better idea: search for a falsifying truth assignment; 3.1.8 Exercises; 3.2 Propositional logical consequence. Valid and invalid propositional inferences; 3.2.1 Propositional logical consequence; 3.2.2 Logically sound rules of propositional inference. Logically correct propositional arguments 3.2.3 Fallacies of the implication3.2.4 Exercises; 3.3 The concept and use of deductive systems; 3.4 Semantic tableaux; 3.4.1 Exercises; 3.5 Logical equivalences. Negating propositional formulae; 3.5.1 Logically equivalent propositional formulae; 3.5.2 Some important equivalences; 3.5.3 Exercises; 3.6 Normal forms. Propositional resolution; 3.6.1 Conjunctive and disjunctive normal forms of propositional formulae; 3.6.2 Clausal form. Clausal resolution; 3.6.3 Resolution-based derivations; 3.6.4 Optimizing the method of resolution; 3.6.5 Exercises; Chapter 4 First-Order Logic 4.1 Basic concepts of first-order logic |
| Record Nr. | UNINA-9910460966303321 |
|
Conradie Willem <1978->
|
||
| West Sussex, England : , : Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and discrete mathematics : a concise introduction / / Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa
| Logic and discrete mathematics : a concise introduction / / Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa |
| Autore | Conradie Willem <1978-> |
| Pubbl/distr/stampa | Chichester, West Sussex ; ; Hoboken, New Jersey : , : John Wiley & Sons Inc., , 2015 |
| Descrizione fisica | 1 online resource (196 pages) |
| Disciplina | 511.3 |
| Collana | Solutions manual |
| Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical |
| ISBN |
1-119-00010-6
1-119-00011-4 |
| Classificazione |
410.96
511.3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910796072603321 |
|
Conradie Willem <1978->
|
||
| Chichester, West Sussex ; ; Hoboken, New Jersey : , : John Wiley & Sons Inc., , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and discrete mathematics : a concise introduction / / Willem Conradie, Valentin Goranko
| Logic and discrete mathematics : a concise introduction / / Willem Conradie, Valentin Goranko |
| Autore | Conradie Willem <1978-> |
| Pubbl/distr/stampa | West Sussex, England : , : Wiley, , 2015 |
| Descrizione fisica | 1 online resource (452 pages) : illustrations, portraits |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Computer science - Mathematics |
| ISBN | 1-118-76109-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910795963803321 |
|
Conradie Willem <1978->
|
||
| West Sussex, England : , : Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and discrete mathematics : a concise introduction / / Willem Conradie, Valentin Goranko
| Logic and discrete mathematics : a concise introduction / / Willem Conradie, Valentin Goranko |
| Autore | Conradie Willem <1978-> |
| Pubbl/distr/stampa | West Sussex, England : , : Wiley, , 2015 |
| Descrizione fisica | 1 online resource (452 pages) : illustrations, portraits |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Computer science - Mathematics |
| ISBN | 1-118-76109-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910809004103321 |
|
Conradie Willem <1978->
|
||
| West Sussex, England : , : Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and discrete mathematics : a concise introduction / / Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa
| Logic and discrete mathematics : a concise introduction / / Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa |
| Autore | Conradie Willem <1978-> |
| Pubbl/distr/stampa | Chichester, West Sussex ; ; Hoboken, New Jersey : , : John Wiley & Sons Inc., , 2015 |
| Descrizione fisica | 1 online resource (196 pages) |
| Disciplina | 511.3 |
| Collana | Solutions manual |
| Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical |
| ISBN |
1-119-00010-6
1-119-00011-4 |
| Classificazione |
410.96
511.3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910820179303321 |
|
Conradie Willem <1978->
|
||
| Chichester, West Sussex ; ; Hoboken, New Jersey : , : John Wiley & Sons Inc., , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||