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.
14th International Symposium on Temporal Representation and Reasoning : proceedings : June 28-30, 2007, Alicante, Spain
| 14th International Symposium on Temporal Representation and Reasoning : proceedings : June 28-30, 2007, Alicante, Spain |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2006 |
| Disciplina | 006.3 |
| Soggetto topico |
Artificial intelligence
Reasoning Time Temporal databases Computer Science Engineering & Applied Sciences |
| ISBN | 1-5090-8912-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996216627503316 |
| [Place of publication not identified], : IEEE Computer Society Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
14th International Symposium on Temporal Representation and Reasoning : proceedings : June 28-30, 2007, Alicante, Spain
| 14th International Symposium on Temporal Representation and Reasoning : proceedings : June 28-30, 2007, Alicante, Spain |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2006 |
| Disciplina | 006.3 |
| Soggetto topico |
Artificial intelligence
Reasoning Time Temporal databases Computer Science Engineering & Applied Sciences |
| ISBN | 1-5090-8912-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145661203321 |
| [Place of publication not identified], : IEEE Computer Society Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on Logic and Computation [[electronic resource] ] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / / edited by Nick Bezhanishvili, Valentin Goranko
| Lectures on Logic and Computation [[electronic resource] ] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / / edited by Nick Bezhanishvili, Valentin Goranko |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VIII, 265 p. 41 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Machine theory Mathematical logic Computer science—Mathematics Discrete mathematics Artificial intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematical Logic and Foundations Discrete Mathematics in Computer Science Artificial Intelligence |
| ISBN | 3-642-31485-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465528803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||