-20%
Sets, Models and Proofs
Original price was: ₹3,739.00.₹2,992.00Current price is: ₹2,992.00.
Provides a concise introduction to mathematical logic for mathematics students Introduces models before formal proofs Includes a detailed presentation of naïve set theory as used in everyday mathematical reasoning Gives a detailed description of Gentzen-style proof trees and Gödel’s completeness theorem for first-order logic Contains over 100 exercises of varying difficulty
Provides a concise introduction to mathematical logic for mathematics students Introduces models before formal proofs Includes a detailed presentation of naïve set theory as used in everyday mathematical reasoning Gives a detailed description of Gentzen-style proof trees and Gödel’s completeness theorem for first-order logic Contains over 100 exercises of varying difficulty
Additional information
| Book Format | Hardcover, Softcover |
|---|
Be the first to review “Sets, Models and Proofs”
Book information
Edition
1st Edition
ISBN [Softcover]
9783319924137
Publisher
Springer
Year
2018
Pages
XIV, 141 p.
Series Title
Springer Undergraduate Mathematics Series
Language
English
Related Products
-20%
(Mostly) Commutative Algebra
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
Offers a unified presentation of stability results for dynamical systems using Lyapunov-like characterizations Provides derivation of strong/weak complete instability results for systems in terms of Lyapunov-like and comparison functions Discusses combined stability and avoidance problem for control systems from the perspective of Lyapunov functions
-20%
(Mostly) Commutative Algebra
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
Offers a unified presentation of stability results for dynamical systems using Lyapunov-like characterizations Provides derivation of strong/weak complete instability results for systems in terms of Lyapunov-like and comparison functions Discusses combined stability and avoidance problem for control systems from the perspective of Lyapunov functions
-20%
A Course on Tug-of-War Games with Random Noise
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
This graduate textbook provides a detailed introduction to the probabilistic interpretation of nonlinear potential theory, relying on the recently introduced notion of tug-of-war games with noise.The book explores both basic and more advanced constructions, carefully explaining the parallel between linear and nonlinear cases.
-20%
A Course on Tug-of-War Games with Random Noise
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
This graduate textbook provides a detailed introduction to the probabilistic interpretation of nonlinear potential theory, relying on the recently introduced notion of tug-of-war games with noise.The book explores both basic and more advanced constructions, carefully explaining the parallel between linear and nonlinear cases.
-20%
A Course on Topological Vector Spaces
Original price was: ₹4,260.00.₹3,409.00Current price is: ₹3,409.00.
Includes a streamlined introduction to the duality theory of locally convex spaces, culminating in the Mackey-Arens theorem Treats various important topics concerning the weak topology of Banach spaces Discusses examples of function spaces which occur in applications to differential operators and measure theory Provides as a highlight the treatment of weak compactness in L_1-spaces
-20%
A Course on Topological Vector Spaces
Original price was: ₹4,260.00.₹3,409.00Current price is: ₹3,409.00.
Includes a streamlined introduction to the duality theory of locally convex spaces, culminating in the Mackey-Arens theorem Treats various important topics concerning the weak topology of Banach spaces Discusses examples of function spaces which occur in applications to differential operators and measure theory Provides as a highlight the treatment of weak compactness in L_1-spaces
-20%
(In-)Stability of Differential Inclusions
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
Lyapunov methods have been and are still one of the main tools to analyze the stability properties of dynamical systems. In this monograph, Lyapunov results characterizing the stability and stability of the origin of differential inclusions are reviewed. To characterize instability and destabilizability, Lyapunov-like functions, called Chetaev and control Chetaev functions in the monograph, are introduced. Based on their definition and by mirroring existing results on stability, analogue results for instability are derived. Moreover, by looking at the dynamics of a differential inclusion in backward time, similarities and differences between stability of the origin in forward time and instability in backward time, and vice versa, are discussed. Similarly, the invariance of the stability and instability properties of the equilibria of differential equations with respect to scaling are summarized. As a final result, ideas combining control Lyapunov and control Chetaev functions to simultaneously guarantee stability, i.e., convergence, and instability, i.e., avoidance, are outlined. The work is addressed at researchers working in control as well as graduate students in control engineering and applied mathematics.
-20%
(In-)Stability of Differential Inclusions
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
Lyapunov methods have been and are still one of the main tools to analyze the stability properties of dynamical systems. In this monograph, Lyapunov results characterizing the stability and stability of the origin of differential inclusions are reviewed. To characterize instability and destabilizability, Lyapunov-like functions, called Chetaev and control Chetaev functions in the monograph, are introduced. Based on their definition and by mirroring existing results on stability, analogue results for instability are derived. Moreover, by looking at the dynamics of a differential inclusion in backward time, similarities and differences between stability of the origin in forward time and instability in backward time, and vice versa, are discussed. Similarly, the invariance of the stability and instability properties of the equilibria of differential equations with respect to scaling are summarized. As a final result, ideas combining control Lyapunov and control Chetaev functions to simultaneously guarantee stability, i.e., convergence, and instability, i.e., avoidance, are outlined. The work is addressed at researchers working in control as well as graduate students in control engineering and applied mathematics.
Reviews
There are no reviews yet.