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.
Theorems of the 21st century / / Bogdan Grechuk
| Theorems of the 21st century / / Bogdan Grechuk |
| Autore | Grechuk Bogdan |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature, , [2019] |
| Descrizione fisica | 1 online resource (xvi, 446 pages) : illustrations (some color), charts |
| Disciplina | 510 |
| Collana | Gale eBooks |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical Induction (Mathematics) |
| ISBN | 3-030-19096-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Theorems of 2001 -- 2 Theorems of 2002 -- 3 Theorems of 2003 -- 4 Theorems of 2004 -- 5 Theorems of 2005 -- 6 Theorems of 2006 -- 7 Theorems of 2007 -- 8 Theorems of 2008 -- 9 Theorems of 2009 -- 10 Theorems of 2010 -- General Index -- Name Index. |
| Record Nr. | UNINA-9910338245503321 |
Grechuk Bogdan
|
||
| Cham, Switzerland : , : Springer Nature, , [2019] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
| Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi |
| Autore | Rossi Richard J. <1956-> |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, c2006 |
| Descrizione fisica | 1 online resource (338 p.) |
| Disciplina |
511.3/6
511.36 |
| Collana | Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts |
| Soggetto topico |
Proof theory
Mathematical analysis - Foundations Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-29873-2
9786613298737 1-118-03157-1 1-118-03057-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Theorems, Corollaries, Lemmas, and Methods of Proof; Contents; Preface; Chapter 1 - Introduction to Modern Mathematics; 1.1 Inductive and Deductive Reasoning; 1.2 Components of Modern Mathematics; 1.3 Commonly Used Mathematical Notation; EXERCISES; Chapter 2 - An Introduction to Symbolic Logic; 2.1 Statements and Propositional Functions; 2.2 Combining Statements; 2.3 Truth Tables; 2.4 Conditional Statements; 2.4.1 Converse and Contrapositive Statements; 2.4.2 Biconditional Statements; 2.5 Propositional Functions and Quantifiers; EXERCISES; Chapter 3 - Methods of Proof
3.1 Theorems, Corollaries, and Lemmas3.2 The Contrapositive and Converse of a Theorem; 3.3 Methods of Proof and Proving Theorems; 3.3.1 Direct Proof; 3.3.2 Indirect Proof; 3.4 Specialized Methods of Proof; 3.4.1 Mathematical Induction; 3.4.2 Uniqueness Proofs; 3.4.3 Existence Proofs; 3.4.4 Proof by Cases; 3.4.5 Proving Biconditional Theorems; 3.4.6 Disproving a Conjecture; 3.5 Some Final Notes on Proving Theorems; EXERCISES; Chapter 4 - Introduction to Number Theory; 4.1 Binary Operators; 4.2 Commonly Used Number Systems; 4.2.1 The Natural Numbers; 4.2.2 The Whole Numbers; 4.2.3 The Integers 4.2.4 The Rational Numbers4.2.5 The Real Numbers; 4.3 Elementary Number Theory; 4.3.1 Odd and Even Numbers; 4.3.2 Divisibility; 4.3.3 Prime Numbers; 4.3.4 Recursively Defined Numbers; EXERCISES; Chapter 5 - The Foundations of Calculus; 5.1 Functions; 5.2 Sequences of Real Numbers; 5.2.1 Convergent Sequences and Limit Theorems; 5.2.2 Monotone Sequences; 5.2.3 Cauchy Sequences; 5.3 Limits of Functions; 5.4 Continuity; 5.5 Derivatives; EXERCISES; Chapter 6 - Foundations of Algebra; 6.1 Introduction to Sets; 6.1.1 Set Algebra; 6.1.2 Element Chasing Proofs 6.1.3 Unions and Intersections of Finite Collections of Sets6.1.4 Countable and Uncountable Sets; 6.2 An Introduction to Group Theory; 6.2.1 Groups; 6.2.2 Subgroups; EXERCISES; References; Index |
| Record Nr. | UNISA-996218079203316 |
|
Rossi Richard J. <1956->
|
||
| Hoboken, N.J., : Wiley, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
| Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi |
| Autore | Rossi Richard J. <1956-> |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, c2006 |
| Descrizione fisica | 1 online resource (338 p.) |
| Disciplina |
511.3/6
511.36 |
| Collana | Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts |
| Soggetto topico |
Proof theory
Mathematical analysis - Foundations Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-29873-2
9786613298737 1-118-03157-1 1-118-03057-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Theorems, Corollaries, Lemmas, and Methods of Proof; Contents; Preface; Chapter 1 - Introduction to Modern Mathematics; 1.1 Inductive and Deductive Reasoning; 1.2 Components of Modern Mathematics; 1.3 Commonly Used Mathematical Notation; EXERCISES; Chapter 2 - An Introduction to Symbolic Logic; 2.1 Statements and Propositional Functions; 2.2 Combining Statements; 2.3 Truth Tables; 2.4 Conditional Statements; 2.4.1 Converse and Contrapositive Statements; 2.4.2 Biconditional Statements; 2.5 Propositional Functions and Quantifiers; EXERCISES; Chapter 3 - Methods of Proof
3.1 Theorems, Corollaries, and Lemmas3.2 The Contrapositive and Converse of a Theorem; 3.3 Methods of Proof and Proving Theorems; 3.3.1 Direct Proof; 3.3.2 Indirect Proof; 3.4 Specialized Methods of Proof; 3.4.1 Mathematical Induction; 3.4.2 Uniqueness Proofs; 3.4.3 Existence Proofs; 3.4.4 Proof by Cases; 3.4.5 Proving Biconditional Theorems; 3.4.6 Disproving a Conjecture; 3.5 Some Final Notes on Proving Theorems; EXERCISES; Chapter 4 - Introduction to Number Theory; 4.1 Binary Operators; 4.2 Commonly Used Number Systems; 4.2.1 The Natural Numbers; 4.2.2 The Whole Numbers; 4.2.3 The Integers 4.2.4 The Rational Numbers4.2.5 The Real Numbers; 4.3 Elementary Number Theory; 4.3.1 Odd and Even Numbers; 4.3.2 Divisibility; 4.3.3 Prime Numbers; 4.3.4 Recursively Defined Numbers; EXERCISES; Chapter 5 - The Foundations of Calculus; 5.1 Functions; 5.2 Sequences of Real Numbers; 5.2.1 Convergent Sequences and Limit Theorems; 5.2.2 Monotone Sequences; 5.2.3 Cauchy Sequences; 5.3 Limits of Functions; 5.4 Continuity; 5.5 Derivatives; EXERCISES; Chapter 6 - Foundations of Algebra; 6.1 Introduction to Sets; 6.1.1 Set Algebra; 6.1.2 Element Chasing Proofs 6.1.3 Unions and Intersections of Finite Collections of Sets6.1.4 Countable and Uncountable Sets; 6.2 An Introduction to Group Theory; 6.2.1 Groups; 6.2.2 Subgroups; EXERCISES; References; Index |
| Record Nr. | UNINA-9910139574203321 |
|
Rossi Richard J. <1956->
|
||
| Hoboken, N.J., : Wiley, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi
| Theorems, corollaries, lemmas, and methods of proof [[electronic resource] /] / Richard J. Rossi |
| Autore | Rossi Richard J. <1956-> |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, c2006 |
| Descrizione fisica | 1 online resource (338 p.) |
| Disciplina |
511.3/6
511.36 |
| Collana | Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts |
| Soggetto topico |
Proof theory
Mathematical analysis - Foundations Logic, Symbolic and mathematical |
| ISBN |
1-283-29873-2
9786613298737 1-118-03157-1 1-118-03057-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Theorems, Corollaries, Lemmas, and Methods of Proof; Contents; Preface; Chapter 1 - Introduction to Modern Mathematics; 1.1 Inductive and Deductive Reasoning; 1.2 Components of Modern Mathematics; 1.3 Commonly Used Mathematical Notation; EXERCISES; Chapter 2 - An Introduction to Symbolic Logic; 2.1 Statements and Propositional Functions; 2.2 Combining Statements; 2.3 Truth Tables; 2.4 Conditional Statements; 2.4.1 Converse and Contrapositive Statements; 2.4.2 Biconditional Statements; 2.5 Propositional Functions and Quantifiers; EXERCISES; Chapter 3 - Methods of Proof
3.1 Theorems, Corollaries, and Lemmas3.2 The Contrapositive and Converse of a Theorem; 3.3 Methods of Proof and Proving Theorems; 3.3.1 Direct Proof; 3.3.2 Indirect Proof; 3.4 Specialized Methods of Proof; 3.4.1 Mathematical Induction; 3.4.2 Uniqueness Proofs; 3.4.3 Existence Proofs; 3.4.4 Proof by Cases; 3.4.5 Proving Biconditional Theorems; 3.4.6 Disproving a Conjecture; 3.5 Some Final Notes on Proving Theorems; EXERCISES; Chapter 4 - Introduction to Number Theory; 4.1 Binary Operators; 4.2 Commonly Used Number Systems; 4.2.1 The Natural Numbers; 4.2.2 The Whole Numbers; 4.2.3 The Integers 4.2.4 The Rational Numbers4.2.5 The Real Numbers; 4.3 Elementary Number Theory; 4.3.1 Odd and Even Numbers; 4.3.2 Divisibility; 4.3.3 Prime Numbers; 4.3.4 Recursively Defined Numbers; EXERCISES; Chapter 5 - The Foundations of Calculus; 5.1 Functions; 5.2 Sequences of Real Numbers; 5.2.1 Convergent Sequences and Limit Theorems; 5.2.2 Monotone Sequences; 5.2.3 Cauchy Sequences; 5.3 Limits of Functions; 5.4 Continuity; 5.5 Derivatives; EXERCISES; Chapter 6 - Foundations of Algebra; 6.1 Introduction to Sets; 6.1.1 Set Algebra; 6.1.2 Element Chasing Proofs 6.1.3 Unions and Intersections of Finite Collections of Sets6.1.4 Countable and Uncountable Sets; 6.2 An Introduction to Group Theory; 6.2.1 Groups; 6.2.2 Subgroups; EXERCISES; References; Index |
| Record Nr. | UNINA-9910830542903321 |
|
Rossi Richard J. <1956->
|
||
| Hoboken, N.J., : Wiley, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theorems, corollaries, lemmas, and methods of proof / / Richard J. Rossi
| Theorems, corollaries, lemmas, and methods of proof / / Richard J. Rossi |
| Autore | Rossi Richard J. <1956-> |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, c2006 |
| Descrizione fisica | 1 online resource (338 p.) |
| Disciplina | 511.3/6 |
| Collana | Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts |
| Soggetto topico |
Proof theory
Mathematical analysis - Foundations Logic, Symbolic and mathematical |
| ISBN |
1-283-29873-2
9786613298737 1-118-03157-1 1-118-03057-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Theorems, Corollaries, Lemmas, and Methods of Proof; Contents; Preface; Chapter 1 - Introduction to Modern Mathematics; 1.1 Inductive and Deductive Reasoning; 1.2 Components of Modern Mathematics; 1.3 Commonly Used Mathematical Notation; EXERCISES; Chapter 2 - An Introduction to Symbolic Logic; 2.1 Statements and Propositional Functions; 2.2 Combining Statements; 2.3 Truth Tables; 2.4 Conditional Statements; 2.4.1 Converse and Contrapositive Statements; 2.4.2 Biconditional Statements; 2.5 Propositional Functions and Quantifiers; EXERCISES; Chapter 3 - Methods of Proof
3.1 Theorems, Corollaries, and Lemmas3.2 The Contrapositive and Converse of a Theorem; 3.3 Methods of Proof and Proving Theorems; 3.3.1 Direct Proof; 3.3.2 Indirect Proof; 3.4 Specialized Methods of Proof; 3.4.1 Mathematical Induction; 3.4.2 Uniqueness Proofs; 3.4.3 Existence Proofs; 3.4.4 Proof by Cases; 3.4.5 Proving Biconditional Theorems; 3.4.6 Disproving a Conjecture; 3.5 Some Final Notes on Proving Theorems; EXERCISES; Chapter 4 - Introduction to Number Theory; 4.1 Binary Operators; 4.2 Commonly Used Number Systems; 4.2.1 The Natural Numbers; 4.2.2 The Whole Numbers; 4.2.3 The Integers 4.2.4 The Rational Numbers4.2.5 The Real Numbers; 4.3 Elementary Number Theory; 4.3.1 Odd and Even Numbers; 4.3.2 Divisibility; 4.3.3 Prime Numbers; 4.3.4 Recursively Defined Numbers; EXERCISES; Chapter 5 - The Foundations of Calculus; 5.1 Functions; 5.2 Sequences of Real Numbers; 5.2.1 Convergent Sequences and Limit Theorems; 5.2.2 Monotone Sequences; 5.2.3 Cauchy Sequences; 5.3 Limits of Functions; 5.4 Continuity; 5.5 Derivatives; EXERCISES; Chapter 6 - Foundations of Algebra; 6.1 Introduction to Sets; 6.1.1 Set Algebra; 6.1.2 Element Chasing Proofs 6.1.3 Unions and Intersections of Finite Collections of Sets6.1.4 Countable and Uncountable Sets; 6.2 An Introduction to Group Theory; 6.2.1 Groups; 6.2.2 Subgroups; EXERCISES; References; Index |
| Record Nr. | UNINA-9910877367403321 |
|
Rossi Richard J. <1956->
|
||
| Hoboken, N.J., : Wiley, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of language syntax : categorial approach / / Urszula Wybraniec-Skardowska
| Theory of language syntax : categorial approach / / Urszula Wybraniec-Skardowska |
| Autore | Wybraniec-Skardowska Urszula |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Dordrecht ; ; Boston ; ; London : , : Kluwer Academic Publishers, , [1991] |
| Descrizione fisica | 1 online resource (288 p.) |
| Disciplina | 415 |
| Collana | Nijhoff international philosophy series |
| Soggetto topico |
Categorial grammar
Formal languages Logic, Symbolic and mathematical |
| ISBN |
1-280-94952-X
9786610949526 0-585-26680-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Axiomatic Theory TLTk of Label Tokens -- The Axiomatic System TSCL of Simple Categorial Languages -- The Theory TSC?-L of Categorial ?-languages -- Dual Theories. |
| Record Nr. | UNINA-9910511510303321 |
|
Wybraniec-Skardowska Urszula
|
||
| Dordrecht ; ; Boston ; ; London : , : Kluwer Academic Publishers, , [1991] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Thinking programs : logical modeling and reasoning about languages, data, computations, and executions / / Wolfgang Schreiner
| Thinking programs : logical modeling and reasoning about languages, data, computations, and executions / / Wolfgang Schreiner |
| Autore | Schreiner Wolfgang <1967-> |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (660 pages) |
| Disciplina | 005.1015113 |
| Collana | Texts and Monographs in Symbolic Computation |
| Soggetto topico |
Logic, Symbolic and mathematical
Computer science - Mathematics |
| ISBN | 3-030-80507-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Preface -- Motivation -- Content -- Software -- Teaching and Further Study -- Web Page and Exercises -- Acknowledgments -- Contents -- Logic for Programming: A Perspective -- Logic and Language -- Logic and Mathematics -- Logic with Computers -- Logic for Computer Science -- Logic and Software Development -- Further Reading -- Part IThe Foundations -- 1 Syntax and Semantics -- 1.1 Abstract Syntax -- 1.2 Structural Induction -- 1.3 Semantics -- 1.4 Type Systems -- 1.5 The Semantics of Typed Languages -- 2 The Language of Logic -- 2.1 First-Order Logic -- 2.2 Informal Interpretation -- 2.3 Well-Formed Terms and Formulas -- 2.4 Propositional Logic -- 2.5 Free and Bound Variables -- 2.6 Formal Semantics -- 2.7 Validity, Logical Consequence, and Logical Equivalence -- 3 The Art of Reasoning -- 3.1 Reasoning and Proofs -- 3.2 Inference Rules and Proof Trees -- 3.3 Reasoning in First Order Logic -- 3.4 Reasoning by Induction -- 4 Building Models -- 4.1 Axioms and Definitions -- 4.2 The Theory of Sets -- 4.3 Products and Sums -- 4.4 Set-Theoretic Functions and Relations -- 4.5 More Type Constructions -- 4.6 Implicit Definitions and Function Specifications -- Exercises -- Further Reading -- 5 Recursion -- 5.1 Recursive Definitions -- 5.2 Primitive Recursion -- 5.3 Least and Greatest Fixed Points -- 5.4 Defining Continuous Functions -- 5.5 Inductive and Coinductive Relation Definitions -- 5.6 Rule-Oriented Inductive and Coinductive Relation Definitions -- 5.7 Inductive and Coinductive Function Definitions -- 5.8 Inductive and Coinductive Proofs -- Part IIThe Higher Planes -- 6 Abstract Data Types -- 6.1 Introduction -- 6.2 Declarations, Signatures, and Presentations -- 6.3 Algebras, Homomorphisms, and Abstract Data Types -- 6.4 Loose Specifications -- 6.5 Generated and Free Specifications -- 6.6 Cogenerated and Cofree Specifications.
6.7 Specifying in the Large -- 6.8 Reasoning About Specifications -- 7 Programming Languages -- 7.1 Programs and Commands -- 7.2 A Denotational Semantics -- 7.3 An Operational Semantics -- 7.4 The Correctness of Translations -- 7.5 Procedures -- Further Reading -- 8 Computer Programs -- 8.1 Specifying Problems -- 8.2 Verifying Programs -- 8.3 Predicate Transformers and Commands as Relations -- 8.4 Non-abortion and Termination -- 8.5 Loop Invariants and Termination Measures -- 8.6 The Refinement of Commands -- 8.7 Reasoning About Procedures -- Further Reading -- 9 Concurrent Systems -- 9.1 Labeled Transition Systems -- 9.2 Modeling Shared Systems -- 9.3 Modeling Distributed Systems -- 9.4 Specifying System Properties -- 9.5 Verifying Invariance -- 9.6 Verifying Response -- 9.7 The Refinement of Systems -- References -- Index. |
| Record Nr. | UNISA-996464514903316 |
|
Schreiner Wolfgang <1967->
|
||
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Thinking programs : logical modeling and reasoning about languages, data, computations, and executions / / Wolfgang Schreiner
| Thinking programs : logical modeling and reasoning about languages, data, computations, and executions / / Wolfgang Schreiner |
| Autore | Schreiner Wolfgang <1967-> |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (660 pages) |
| Disciplina | 005.1015113 |
| Collana | Texts and Monographs in Symbolic Computation |
| Soggetto topico |
Logic, Symbolic and mathematical
Computer science - Mathematics |
| ISBN | 3-030-80507-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Preface -- Motivation -- Content -- Software -- Teaching and Further Study -- Web Page and Exercises -- Acknowledgments -- Contents -- Logic for Programming: A Perspective -- Logic and Language -- Logic and Mathematics -- Logic with Computers -- Logic for Computer Science -- Logic and Software Development -- Further Reading -- Part IThe Foundations -- 1 Syntax and Semantics -- 1.1 Abstract Syntax -- 1.2 Structural Induction -- 1.3 Semantics -- 1.4 Type Systems -- 1.5 The Semantics of Typed Languages -- 2 The Language of Logic -- 2.1 First-Order Logic -- 2.2 Informal Interpretation -- 2.3 Well-Formed Terms and Formulas -- 2.4 Propositional Logic -- 2.5 Free and Bound Variables -- 2.6 Formal Semantics -- 2.7 Validity, Logical Consequence, and Logical Equivalence -- 3 The Art of Reasoning -- 3.1 Reasoning and Proofs -- 3.2 Inference Rules and Proof Trees -- 3.3 Reasoning in First Order Logic -- 3.4 Reasoning by Induction -- 4 Building Models -- 4.1 Axioms and Definitions -- 4.2 The Theory of Sets -- 4.3 Products and Sums -- 4.4 Set-Theoretic Functions and Relations -- 4.5 More Type Constructions -- 4.6 Implicit Definitions and Function Specifications -- Exercises -- Further Reading -- 5 Recursion -- 5.1 Recursive Definitions -- 5.2 Primitive Recursion -- 5.3 Least and Greatest Fixed Points -- 5.4 Defining Continuous Functions -- 5.5 Inductive and Coinductive Relation Definitions -- 5.6 Rule-Oriented Inductive and Coinductive Relation Definitions -- 5.7 Inductive and Coinductive Function Definitions -- 5.8 Inductive and Coinductive Proofs -- Part IIThe Higher Planes -- 6 Abstract Data Types -- 6.1 Introduction -- 6.2 Declarations, Signatures, and Presentations -- 6.3 Algebras, Homomorphisms, and Abstract Data Types -- 6.4 Loose Specifications -- 6.5 Generated and Free Specifications -- 6.6 Cogenerated and Cofree Specifications.
6.7 Specifying in the Large -- 6.8 Reasoning About Specifications -- 7 Programming Languages -- 7.1 Programs and Commands -- 7.2 A Denotational Semantics -- 7.3 An Operational Semantics -- 7.4 The Correctness of Translations -- 7.5 Procedures -- Further Reading -- 8 Computer Programs -- 8.1 Specifying Problems -- 8.2 Verifying Programs -- 8.3 Predicate Transformers and Commands as Relations -- 8.4 Non-abortion and Termination -- 8.5 Loop Invariants and Termination Measures -- 8.6 The Refinement of Commands -- 8.7 Reasoning About Procedures -- Further Reading -- 9 Concurrent Systems -- 9.1 Labeled Transition Systems -- 9.2 Modeling Shared Systems -- 9.3 Modeling Distributed Systems -- 9.4 Specifying System Properties -- 9.5 Verifying Invariance -- 9.6 Verifying Response -- 9.7 The Refinement of Systems -- References -- Index. |
| Record Nr. | UNINA-9910506386303321 |
|
Schreiner Wolfgang <1967->
|
||
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
TIME 2016 : proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / / edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger
| TIME 2016 : proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / / edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger |
| Pubbl/distr/stampa | New York : , : IEEE, , 2016 |
| Descrizione fisica | 1 online resource (x, 208 pages) |
| Soggetto topico |
Temporal databases
Time Logic, Symbolic and mathematical |
| ISBN | 1-5090-3825-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910171876303321 |
| New York : , : IEEE, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
TIME 2016 : proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / / edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger
| TIME 2016 : proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / / edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger |
| Pubbl/distr/stampa | New York : , : IEEE, , 2016 |
| Descrizione fisica | 1 online resource (x, 208 pages) |
| Soggetto topico |
Temporal databases
Time Logic, Symbolic and mathematical |
| ISBN | 1-5090-3825-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279367903316 |
| New York : , : IEEE, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
