Автор: Amadio Название: Domains and Lambda-Calculi ISBN: 0521062926 ISBN-13(EAN): 9780521062923 Издательство: Cambridge Academ Рейтинг: Цена: 8870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.
Автор: Mariangiola Dezani-Ciancaglini; Gordon Plotkin Название: Typed Lambda Calculi and Applications ISBN: 354059048X ISBN-13(EAN): 9783540590484 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of conference papers addresses such issues as the proof theory of type systems, logic and type systems, typed lambda calculi as models of higher-order computation, the semantics of typed systems, proof verification via type systems, and typed term rewriting systems.
Автор: Samson Abramsky Название: Typed Lambda Calculi and Applications ISBN: 3540419608 ISBN-13(EAN): 9783540419600 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, and linear logic.
Автор: Amadio Название: Domains and Lambda-Calculi ISBN: 0521622778 ISBN-13(EAN): 9780521622776 Издательство: Cambridge Academ Рейтинг: Цена: 21384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.
Автор: Jean-Yves Girard Название: Typed Lambda Calculi and Applications ISBN: 3540657630 ISBN-13(EAN): 9783540657637 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text present the proceedings of the 4th International Conference on Typed Lambda Calculi and Applications. The volume reports research results on aspects of typed Lambda calculi and explores noncommutative logics, type theory, algebraic data types, logical calculi and abstract data types.
Автор: Philippe de Groote; J. Roger Hindley Название: Typed Lambda Calculi and Applications ISBN: 3540626883 ISBN-13(EAN): 9783540626886 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the Third International Conference on Typed Lambda Calculi and Applications, held in Nancy, France in April 1997. The 24 papers included report the main research advances achieved in the area of typed lambda calculi since the preceding conference, held in 1995.
Автор: Marc Bezem; Jan F. Groote Название: Typed Lambda Calculi and Applications ISBN: 3540565175 ISBN-13(EAN): 9783540565178 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of conference proceedings contains 29 research papers on typed lambda calculi, which are used as models of computation (where terms are viewed as programs in a typed programming language) and as logical theories (where types are viewed as propositions and terms as proofs).
Автор: Gilles Dowek Название: Rewriting and Typed Lambda Calculi ISBN: 331908917X ISBN-13(EAN): 9783319089171 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
Автор: Francesca Poggiolesi Название: Gentzen Calculi for Modal Propositional Logic ISBN: 9400734425 ISBN-13(EAN): 9789400734425 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones.
Автор: Ryszard W?jcicki Название: Theory of Logical Calculi ISBN: 9027727856 ISBN-13(EAN): 9789027727855 Издательство: Springer Рейтинг: Цена: 36756.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo- gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put emphasis on some selected topics. Even these could not be roverrd completely, but for each topic I have attempted to present a detailed and precise t'Xposition of several basic results including some which are non-trivial. The roots of some of the central ideas in the volume go back to J.Luka- siewicz's seminar on mathematicallogi
Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
