Catálogo de publicaciones - libros
A Concise Introduction to Mathematical Logi
Wolfgang Rautenberg
2.
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Applications of Mathematics; Mathematical Logic and Foundations; Computational Science and Engineering
Disponibilidad
Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
---|---|---|---|---|
No detectada | 2006 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-0-387-30294-2
ISBN electrónico
978-0-387-34241-2
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2006
Información sobre derechos de publicación
© Springer Science+Business Media, Inc. 2006
Cobertura temática
Tabla de contenidos
Propositional Logic
Wolfgang Rautenberg
The theory of state-space realizations of input-output descriptions given by impulse responses, and the time-invariant case by transfer function descriptions, were studied in this chapter.
In Section 5.2 the problem of state-space realizations of input-output descriptions was defined and the existence of such realizations was addressed. In Subsection 5.3A time-varying and time-invariant continuous-time and discrete-time systems were considered. Subsequently, the focus was on time-invariant systems and transfer function matrix descriptions (). The minimality of realizations of () was studied in Subsection 5.3C, culminating in two results, Theorem 3.9 and Theorem 3.10, where it was first shown that a realization is minimal if and only if it is controllable and observable, and next, that if a realization is minimal, all other minimal realizations of a given () can be found via similarity transformations. In Subsection 5.3C it was shown how to determine the order of minimal realizations directly from (). Several realization algorithms were presented in Section 5.4, and the role of duality was emphasized in Section 5.4A.
Pp. 1-32
Predicate Logic
Wolfgang Rautenberg
The theory of state-space realizations of input-output descriptions given by impulse responses, and the time-invariant case by transfer function descriptions, were studied in this chapter.
In Section 5.2 the problem of state-space realizations of input-output descriptions was defined and the existence of such realizations was addressed. In Subsection 5.3A time-varying and time-invariant continuous-time and discrete-time systems were considered. Subsequently, the focus was on time-invariant systems and transfer function matrix descriptions (). The minimality of realizations of () was studied in Subsection 5.3C, culminating in two results, Theorem 3.9 and Theorem 3.10, where it was first shown that a realization is minimal if and only if it is controllable and observable, and next, that if a realization is minimal, all other minimal realizations of a given () can be found via similarity transformations. In Subsection 5.3C it was shown how to determine the order of minimal realizations directly from (). Several realization algorithms were presented in Section 5.4, and the role of duality was emphasized in Section 5.4A.
Pp. 33-70
Gödel’s Completeness Theorem
Wolfgang Rautenberg
The theory of state-space realizations of input-output descriptions given by impulse responses, and the time-invariant case by transfer function descriptions, were studied in this chapter.
In Section 5.2 the problem of state-space realizations of input-output descriptions was defined and the existence of such realizations was addressed. In Subsection 5.3A time-varying and time-invariant continuous-time and discrete-time systems were considered. Subsequently, the focus was on time-invariant systems and transfer function matrix descriptions (). The minimality of realizations of () was studied in Subsection 5.3C, culminating in two results, Theorem 3.9 and Theorem 3.10, where it was first shown that a realization is minimal if and only if it is controllable and observable, and next, that if a realization is minimal, all other minimal realizations of a given () can be found via similarity transformations. In Subsection 5.3C it was shown how to determine the order of minimal realizations directly from (). Several realization algorithms were presented in Section 5.4, and the role of duality was emphasized in Section 5.4A.
Pp. 71-104
The Foundations of Logic Programming
Wolfgang Rautenberg
The theory of state-space realizations of input-output descriptions given by impulse responses, and the time-invariant case by transfer function descriptions, were studied in this chapter.
In Section 5.2 the problem of state-space realizations of input-output descriptions was defined and the existence of such realizations was addressed. In Subsection 5.3A time-varying and time-invariant continuous-time and discrete-time systems were considered. Subsequently, the focus was on time-invariant systems and transfer function matrix descriptions (). The minimality of realizations of () was studied in Subsection 5.3C, culminating in two results, Theorem 3.9 and Theorem 3.10, where it was first shown that a realization is minimal if and only if it is controllable and observable, and next, that if a realization is minimal, all other minimal realizations of a given () can be found via similarity transformations. In Subsection 5.3C it was shown how to determine the order of minimal realizations directly from (). Several realization algorithms were presented in Section 5.4, and the role of duality was emphasized in Section 5.4A.
Pp. 105-130
Elements of Model Theory
Wolfgang Rautenberg
The theory of state-space realizations of input-output descriptions given by impulse responses, and the time-invariant case by transfer function descriptions, were studied in this chapter.
In Section 5.2 the problem of state-space realizations of input-output descriptions was defined and the existence of such realizations was addressed. In Subsection 5.3A time-varying and time-invariant continuous-time and discrete-time systems were considered. Subsequently, the focus was on time-invariant systems and transfer function matrix descriptions (). The minimality of realizations of () was studied in Subsection 5.3C, culminating in two results, Theorem 3.9 and Theorem 3.10, where it was first shown that a realization is minimal if and only if it is controllable and observable, and next, that if a realization is minimal, all other minimal realizations of a given () can be found via similarity transformations. In Subsection 5.3C it was shown how to determine the order of minimal realizations directly from (). Several realization algorithms were presented in Section 5.4, and the role of duality was emphasized in Section 5.4A.
Pp. 131-166
Incompleteness and Undecidability
Wolfgang Rautenberg
The theory of state-space realizations of input-output descriptions given by impulse responses, and the time-invariant case by transfer function descriptions, were studied in this chapter.
In Section 5.2 the problem of state-space realizations of input-output descriptions was defined and the existence of such realizations was addressed. In Subsection 5.3A time-varying and time-invariant continuous-time and discrete-time systems were considered. Subsequently, the focus was on time-invariant systems and transfer function matrix descriptions (). The minimality of realizations of () was studied in Subsection 5.3C, culminating in two results, Theorem 3.9 and Theorem 3.10, where it was first shown that a realization is minimal if and only if it is controllable and observable, and next, that if a realization is minimal, all other minimal realizations of a given () can be found via similarity transformations. In Subsection 5.3C it was shown how to determine the order of minimal realizations directly from (). Several realization algorithms were presented in Section 5.4, and the role of duality was emphasized in Section 5.4A.
Pp. 167-208
On the Theory of Self-Reference
Wolfgang Rautenberg
The theory of state-space realizations of input-output descriptions given by impulse responses, and the time-invariant case by transfer function descriptions, were studied in this chapter.
In Section 5.2 the problem of state-space realizations of input-output descriptions was defined and the existence of such realizations was addressed. In Subsection 5.3A time-varying and time-invariant continuous-time and discrete-time systems were considered. Subsequently, the focus was on time-invariant systems and transfer function matrix descriptions (). The minimality of realizations of () was studied in Subsection 5.3C, culminating in two results, Theorem 3.9 and Theorem 3.10, where it was first shown that a realization is minimal if and only if it is controllable and observable, and next, that if a realization is minimal, all other minimal realizations of a given () can be found via similarity transformations. In Subsection 5.3C it was shown how to determine the order of minimal realizations directly from (). Several realization algorithms were presented in Section 5.4, and the role of duality was emphasized in Section 5.4A.
Pp. 209-230