Semantics of Type Theory, T. Streicher

Автор: Nederpelt
Название: Type Theory and Formal Proof
ISBN: 110703650X ISBN-13(EAN): 9781107036505
Издательство: Cambridge Academ
Рейтинг:
Цена: 70740.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

Автор: Hindley
Название: Basic Simple Type Theory
ISBN: 0521465184 ISBN-13(EAN): 9780521465182
Издательство: Cambridge Academ
Рейтинг:
Цена: 106650.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

Автор: Agarwal, Ravi P. Karapinar, Erdal O`regan, Donal
Название: Fixed point theory in metric type spaces
ISBN: 3319240803 ISBN-13(EAN): 9783319240800
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction with a Brief Historical Survey.- Preliminaries.- G-Metric Spaces.- Basic Fixed Point Results in the Setting of G-Metric Spaces.- Fixed Point Theorems in Partially Ordered G-Metric Spaces.- Further Fixed Point Results on G-Metric Spaces.- Fixed Point Theorems via Admissible Mappings.- New Approaches to Fixed Point Results on G-Metric Spaces.- Expansive Mappings.- Reconstruction of G-Metrics: G*-Metrics.- Multidimensional Fixed Point Theorems on G-Metric Spaces.- Recent Motivating Fixed Point Theory.

Автор: Nicolas Clerbout; Shahid Rahman
Название: Linking Game-Theoretical Approaches with Constructive Type Theory
ISBN: 3319190628 ISBN-13(EAN): 9783319190624
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.

Автор: Samuil D. Eidelman; Stepan D. Ivasyshen; Anatoly N
Название: Analytic Methods In The Theory Of Differential And Pseudo-Differential Equations Of Parabolic Type
ISBN: 3764371153 ISBN-13(EAN): 9783764371159
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is devoted to new classes of parabolic differential and pseudo-differential equations extensively studied in the last decades, such as parabolic systems of a quasi-homogeneous structure, degenerate equations of the Kolmogorov type, pseudo-differential parabolic equations, and fractional diffusion equations.

Автор: Klaus-Dieter Schewe; Bernhard Thalheim
Название: Semantics in Data and Knowledge Bases
ISBN: 3540885935 ISBN-13(EAN): 9783540885931
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases, SDKB 2008, held in Nantes, France, on March 29, 2008. This title includes 6 revised full papers that were reviewed and selected.

Автор: Samuil D. Eidelman; Stepan D. Ivasyshen; Anatoly N
Название: Analytic Methods In The Theory Of Differential And Pseudo-Differential Equations Of Parabolic Type
ISBN: 3034895925 ISBN-13(EAN): 9783034895927
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is devoted to new classes of parabolic differential and pseudo-differential equations extensively studied in the last decades, such as parabolic systems of a quasi-homogeneous structure, degenerate equations of the Kolmogorov type, pseudo-differential parabolic equations, and fractional diffusion equations.

Автор: Martin Hofmann
Название: Extensional Constructs in Intensional Type Theory
ISBN: 1447112431 ISBN-13(EAN): 9781447112433
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).