Catálogo de publicaciones - libros

Compartir en
redes sociales


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

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