close
1.

電子ブック

EB
Paulo Tabuada ; foreword by Rajeev Alur
出版情報: [Cham] : SpringerLink, [20--]  1 online resource (xv, 202 p.)
所蔵情報: loading…
目次情報: 続きを見る
Basic concepts / Part I:
Systems / 1:
System definition / 1.1:
System behavior / 1.2:
Examples / 1.3:
Composing systems / 1.4:
Notes / 1.5:
Verification problems / 2:
Sa $$ Sb / 2.1:
Control problems / 2.2:
Sc $$ Sa $$ Sb / 3.1:
Finite systems / 3.2:
Exact system relationships / 4:
Behavioral relationships / 4.1:
Similarity relationships / 4.2:
Alternating similarity relationships / 4.3:
Verification / 4.4:
Behavioral relations / 5.1:
Similarity relations / 5.2:
Control / 5.3:
Feedback composition / 6.1:
Safety games / 6.2:
Reachability games / 6.3:
Behavioral games / 6.4:
Similarity games / 6.5:
Infinite Systems: Exact symbolic models / 6.6:
Exact symbolic models for verification / 7:
Dynamical and hybrid dynamical systems as systems / 7.1:
Timed automata / 7.2:
Order minimal hybrid dynamical systems / 7.3:
Sign based abstractions / 7.4:
Barrier certificates / 7.5:
Computation of reachable sets / 7.6:
Advanced topics / 7.7:
Exact symbolic models for control / 7.8:
Control systems as systems / 8.1:
Controller refinement / 8.2:
Discrete-time linear control systems / 8.3:
Continuous-time multi-affine control systems / 8.4:
Infinite Systems: Approximate symbolic models / 8.5:
Approximate system relationships / 9:
Approximate similarity relationships / 9.1:
Approximate alternating similarity relationships / 9.2:
Approximate symbolic models for verification / 9.3:
Stability of linear dynamical systems / 10.1:
Dynamical systems as systems / 10.2:
Symbolic models for affine dynamical systems / 10.3:
Approximate symbolic models for control / 10.4:
Stability of linear control systems / 11.1:
Control and switched systems as systems / 11.2:
Approximate feedback composition and controller refinement / 11.3:
Symbolic models for affine control systems / 11.4:
Symbolic models for switched affine systems / 11.5:
Appendix / 11.6:
Lattice theory / A.1:
Fixed-points / A.2:
References
Index
Basic concepts / Part I:
Systems / 1:
System definition / 1.1:
2.

電子ブック

EB
edited by A. Arnold, D. Niwiński
出版情報: Elsevier : Amsterdam, c2019  1 online resource (xi, 277 p.)
シリーズ名: Studies in logic and the foundations of mathematics ; v. 146
所蔵情報: loading…
目次情報: 続きを見る
Complete lattices and fixed-point theorems / 1:
The mu-calculi: Syntax and semantics / 2:
The Boolean mu-calculus / 3:
Parity Games / 4:
The mu-calculus on words / 5:
The mucalculus over powerset al.gebras / 6:
The mu-calculus versus automata / 7:
Hierachy problems / 8:
Distributivity and normal form results / 9:
Decision problems / 10:
Algorithms / 11:
Complete lattices and fixed-point theorems / 1:
The mu-calculi: Syntax and semantics / 2:
The Boolean mu-calculus / 3:
3.

電子ブック

EB
Derek F. Holt, University of Warwick, Sarah Rees, University of Newcastle upon Tyne, Claas E. Röver, National University of Ireland, Galway
出版情報:   1 online resource (xi, 294 p.)
シリーズ名: London Mathematical Society student texts ; 88
所蔵情報: loading…
4.

電子ブック

EB
Michael Sipser
出版情報: [東京] : Maruzen eBook Library  1 online resource (xxii, 458 p)
所蔵情報: loading…
目次情報: 続きを見る
Preface to the First Edition
To the student
To the educator
The first edition
Feedback to the author
Acknowledgments
Preface to the Second Edition
Preface to the Third Edition
Introduction / 0:
Automata, Computability, and Complexity / 0.1:
Complexity theory
Computability theory
Automata theory
Mathematical Notions and Terminology / 0.2:
Sets
Sequences and tuples
Functions and relations
Graphs
Strings and languages
Boolean logic
Summary of mathematical terms
Definitions, Theorems, and Proofs / 0.3:
Finding proofs
Types of Proof / 0.4:
Proof by construction
Proof by contradiction
Proof by induction
Exercises, Problems, and Solutions
Automata and Languages / Part 1:
Regular Languages / 1:
Finite Automata / 1.1:
Formal definition of a finite automaton
Examples of finite automata
Formal definition of computation
Designing finite automata
The regular operations
Nondeterminism / 1.2:
Formal definition of a nondeterministic finite automaton
Equivalence of NFAs and DFAs
Closure under the regular operations
Regular Expressions / 1.3:
Formal definition of a regular expression
Equivalence with finite automata
Nonregular Languages / 1.4:
The pumping lemma for regular languages
Context-Free Languages / 2:
Context-Free Grammars / 2.1:
Formal definition of a context-free grammar
Examples of context-free grammars
Designing context-free grammars
Ambiguity
Chomsky normal form
Pushdown Automata / 2.2:
Formal definition of a pushdown automaton
Examples of pushdown automata
Equivalence with context-free grammars
Non-Context-Free Languages / 2.3:
The pumping lemma for context-free languages
Deterministic Context-Free Languages / 2.4:
Properties of DCFLs
Deterministic context-free grammars
Relationship of DPDAs and DCFGs
Parsing and LR(k) Grammars
Computability Theory / Part 2:
The Church-Turing Thesis / 3:
Turing Machines / 3.1:
Formal definition of a Turing machine
Examples of Turing machines
Variants of Turing Machines / 3.2:
Multitape Turing machines
Nondeterministic Turing machines
Enumerators
Equivalence with other models
The Definition of Algorithm / 3.3:
Hilbert's problems
Terminology for describing Turing machines
Decidability / 4:
Decidable Languages / 4.1:
Decidable problems concerning regular languages
Decidable problems concerning context-free languages
Undecidability / 4.2:
The diagonalization method
An undecidable language
A Turing-unrecognizable language
Reducibility / 5:
Undecidable Problems from Language Theory / 5.1:
Reductions via computation histories
A Simple Undecidable Problem / 5.2:
Mapping Reducibility / 5.3:
Computable functions
Formal definition of mapping reducibility
Advanced Topics in Computability Theory / 6:
The Recursion Theorem / 6.1:
Self-reference
Terminology for the recursion theorem
Applications
Decidability of logical theories / 6.2:
A decidable theory
An undecidable theory
Turing Reducibility / 6.3:
A Definition of Information / 6.4:
Minimal length descriptions
Optimality of the definition
Incompressible strings and randomness
Complexity Theory / Part 3:
Time Complexity / 7:
Measuring Complexity / 7.1:
Big-O and small-o notation
Analyzing algorithms
Complexity relationships among models
The Class P / 7.2:
Polynomial time
Examples of problems in P
The Class NP / 7.3:
Examples of problems in NP
The P versus NP question
NP-completeness / 7.4:
Polynomial time reducibility
Definition of NP-completeness
The Cook-Levin Theorem
Additional NP-complete Problems / 7.5:
The vertex cover problem
The Hamiltonian path problem
The subset sum problem
Exercises, Problems, arid Solutions
Space Complexity / 8:
SavitchÆs Theorem / 8.1:
The Class PSPACE / 8.2:
PSPACE-completeness / 8.3:
The TQBF problem
Winning strategies for games
Generalized geography
The Classes L and NL / 8.4:
NL-completeness / 8.5:
Searching in graphs
NL equals coNL / 8.6:
Intractability / 9:
Hierarchy Theorems / 9.1:
Exponential space completeness
Relativization / 9.2:
Limits of the diagonalization method
Circuit Complexity / 9.3:
Advanced Topics in Complexity Theory / 10:
Approximation Algorithms / 10.1:
Probabilistic Algorithms / 10.2:
The class BPP
Primality
Read-once branching programs
Alternation / 10.3:
Alternating time and space
The Polynomial time hierarchy
Interactive Proof Systems / 10.4:
Graph nonisomorphism
Definition of the model
IP = PSPACE
Parallel Computation / 10.5:
Uniform Boolean circuits
The class NC
P-completeness
Cryptography / 10.6:
Secret keys
Public-key cryptosystems
One-way functions
Trapdoor functions
Selected Bibliography
Index
Preface to the First Edition
To the student
To the educator
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼