A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider |
Autore | Gries David |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (XVI, 516 p.) |
Disciplina | 004.0151 |
Collana | Texts and Monographs in Computer Science |
Soggetto topico |
Computer science
Arithmetic and logic units, Computer Computer science - Mathematics Computer Science Discrete Mathematics in Computer Science Arithmetic and Logic Structures Computer Science, general |
ISBN | 1-4757-3837-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 0 Using Mathematics -- 1 Textual Substitution, Equality, and Assignment -- 2 Boolean Expressions -- 3 Propositional Calculus -- 4 Relaxing the Proof Style -- 5 Applications of Propositional Calculus -- 6 Hilbert-style Proofs -- 7 Formal Logic -- 8 Quantification -- 9 Predicate Calculus -- 10 Predicates and Programming -- 11 A Theory of Sets -- 12 Mathematical Induction -- 13 A Theory of Sequences -- 14 Relations and Functions -- 15 A Theory of Integers -- 16 Combinatorial Analysis -- 17 Recurrence Relations -- 18 Modern Algebra -- 19 A Theory of Graphs -- 20 Infinite Sets -- References -- Theorems of the propositional and predicate calculi. |
Record Nr. | UNINA-9910480145203321 |
Gries David | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider |
Autore | Gries David |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (XVI, 516 p.) |
Disciplina | 004.0151 |
Collana | Monographs in Computer Science |
Soggetto topico |
Computer science - Mathematics
Discrete mathematics Computer arithmetic and logic units Computer science Discrete Mathematics in Computer Science Arithmetic and Logic Structures Computer Science |
ISBN | 1-4757-3837-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 0 Using Mathematics -- 1 Textual Substitution, Equality, and Assignment -- 2 Boolean Expressions -- 3 Propositional Calculus -- 4 Relaxing the Proof Style -- 5 Applications of Propositional Calculus -- 6 Hilbert-style Proofs -- 7 Formal Logic -- 8 Quantification -- 9 Predicate Calculus -- 10 Predicates and Programming -- 11 A Theory of Sets -- 12 Mathematical Induction -- 13 A Theory of Sequences -- 14 Relations and Functions -- 15 A Theory of Integers -- 16 Combinatorial Analysis -- 17 Recurrence Relations -- 18 Modern Algebra -- 19 A Theory of Graphs -- 20 Infinite Sets -- References -- Theorems of the propositional and predicate calculi. |
Record Nr. | UNINA-9910792484403321 |
Gries David | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider |
Autore | Gries David |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (XVI, 516 p.) |
Disciplina | 004.0151 |
Collana | Monographs in Computer Science |
Soggetto topico |
Computer science - Mathematics
Discrete mathematics Computer arithmetic and logic units Computer science Discrete Mathematics in Computer Science Arithmetic and Logic Structures Computer Science |
ISBN | 1-4757-3837-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 0 Using Mathematics -- 1 Textual Substitution, Equality, and Assignment -- 2 Boolean Expressions -- 3 Propositional Calculus -- 4 Relaxing the Proof Style -- 5 Applications of Propositional Calculus -- 6 Hilbert-style Proofs -- 7 Formal Logic -- 8 Quantification -- 9 Predicate Calculus -- 10 Predicates and Programming -- 11 A Theory of Sets -- 12 Mathematical Induction -- 13 A Theory of Sequences -- 14 Relations and Functions -- 15 A Theory of Integers -- 16 Combinatorial Analysis -- 17 Recurrence Relations -- 18 Modern Algebra -- 19 A Theory of Graphs -- 20 Infinite Sets -- References -- Theorems of the propositional and predicate calculi. |
Record Nr. | UNINA-9910814761203321 |
Gries David | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|