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.
A Logical Approach to Discrete Math [[electronic resource] /] / by David Gries, Fred B. Schneider
| 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
| 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
| 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 | ||
| ||
Trust in cyberspace [[electronic resource] /] / Fred B. Schneider, editor ; Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Trust in cyberspace [[electronic resource] /] / Fred B. Schneider, editor ; Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1999 |
| Descrizione fisica | xviii, 331 p. : ill |
| Disciplina | 384.3 |
| Altri autori (Persone) | SchneiderFred B |
| Soggetto topico |
Computer networks - Security measures
Telecommunication policy - United States Internet - Security measures |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-18588-0
9786610185887 0-309-51970-5 0-585-02267-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910456114103321 |
| Washington, D.C., : National Academy Press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trust in cyberspace [[electronic resource] /] / Fred B. Schneider, editor ; Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Trust in cyberspace [[electronic resource] /] / Fred B. Schneider, editor ; Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1999 |
| Descrizione fisica | xviii, 331 p. : ill |
| Disciplina | 384.3 |
| Altri autori (Persone) | SchneiderFred B |
| Soggetto topico |
Computer networks - Security measures
Telecommunication policy - United States Internet - Security measures |
| ISBN |
0-309-17398-1
1-280-18588-0 9786610185887 0-309-51970-5 0-585-02267-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910778749003321 |
| Washington, D.C., : National Academy Press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trust in cyberspace [[electronic resource] /] / Fred B. Schneider, editor ; Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Trust in cyberspace [[electronic resource] /] / Fred B. Schneider, editor ; Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1999 |
| Descrizione fisica | xviii, 331 p. : ill |
| Disciplina | 384.3 |
| Altri autori (Persone) | SchneiderFred B |
| Soggetto topico |
Computer networks - Security measures
Telecommunication policy - United States Internet - Security measures |
| ISBN |
0-309-17398-1
1-280-18588-0 9786610185887 0-309-51970-5 0-585-02267-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Preface -- Contents -- Executive Summary -- 1 Introduction -- 2 Public Telephone Network and Internet Trustworthiness -- 3 Software for Networked Information Systems -- 4 Reinventing Security -- 5 Trustworthy Systems from Untrustworthy Components -- 6 The Economic and Public Policy Context -- 7 Conclusions and Research Recommendations -- APPENDIXES -- A Study Committee Biographies -- B Briefers to the Committee -- C Workshop Participants and Agendas -- D List of Position Papers Prepared for the Workshops -- E Trends in Software -- F Some Related Trustworthiness Studies -- G Some Operating System Security Examples -- H Types of Firewalls -- I Secrecy of Design -- J Research in Information System Security and Survivability Funded by the NSA and DARPA -- K Glossary -- Index. |
| Record Nr. | UNINA-9910817470403321 |
| Washington, D.C., : National Academy Press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||