Wyniki wyszukiwania:

Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to reason about programs, the way to encode specifications so to enable their computational reading. Then, the mathematics behind synthesis and analysis of computer programs is developed in depth.

This book presents a new paradigm of natural language grammar analysis, based on adposition as the key concept, considered a general connection between two morphemes – or group of morphemes. The adpositional paradigm considers the morpheme as the basic unit to represent morphosyntax, taken as a whole, in terms of constructions, while semantics and pragmatics are treated accordingly.

All linguistic observations within the book can be described through the methods and tools of Constructive Mathematics, so that the modelling becomes formally feasible. A full description in...

Primordial Cosmology deals with one of the most puzzling and fascinating topics debated in modern physics — the nature of the Big Bang singularity. The authors provide a self-consistent and complete treatment of the very early Universe dynamics, passing through a concise discussion of the Standard Cosmological Model, a precise characterization of the role played by the theory of inflation, up to a detailed analysis of the anisotropic and inhomogeneous cosmological models. The most peculiar feature of this book is its uniqueness in treating advanced topics of quantum cosmology with a...