Algebraic Logic, R.H. Silverman; Semen G. Gindikin

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 16051.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.

Автор: Hajnal Andr?ka; Mikl?s Ferenczi; Istv?n N?meti
Название: Cylindric-like Algebras and Algebraic Logic
ISBN: 3642437990 ISBN-13(EAN): 9783642437991
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics.

Автор: Hajnal Andr?ka; Mikl?s Ferenczi; Istv?n N?meti
Название: Cylindric-like Algebras and Algebraic Logic
ISBN: 3642350240 ISBN-13(EAN): 9783642350245
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics.

Автор: Chubb
Название: Logic and Algebraic Structures in Quantum Computing
ISBN: 110703339X ISBN-13(EAN): 9781107033399
Издательство: Cambridge Academ
Рейтинг:
Цена: 21226.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this international cross-disciplinary collaboration, leading experts explore connections across their respective fields. The book offers an insight into the fundamental questions in quantum theory and logic, which will appeal to many researchers and graduate students including logicians, mathematicians, computer scientists, and physicists.

Автор: Antonio Di Nola; Revaz Grigolia; Esko Turunen
Название: Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
ISBN: 3319304046 ISBN-13(EAN): 9783319304045
Издательство: Springer
Рейтинг:
Цена: 16979.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the first algebraic treatment of quasi-truth fuzzylogic and covers the algebraic foundations of many-valued logic. The book presents perfect algebras as an interestingsubclass of local MV-algebras and provides readers with the necessary knowledgeand tools for formalizing the fuzzy concept of quasi true and quasi false.

Автор: R.H. Silverman; Semen G. Gindikin
Название: Algebraic Logic
ISBN: 1441930760 ISBN-13(EAN): 9781441930767
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The large number of popular books on logic has given rise to the hope that by applying mathematical logic, students will finally learn how to distinguish between necessary and sufficient conditions and other points of logic in the college course in mathematics.

Автор: Andrea Corradini; Ugo Montanari
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3642034284 ISBN-13(EAN): 9783642034282
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.

Автор: Font
Название: A General Algebraic Semantics for Sentential Logics
ISBN: 1107167973 ISBN-13(EAN): 9781107167971
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is an exposition of the very general approach to the algebraization of sentential logics developed by the Barcelona logic group in the 1970s. It shows the results of this approach on a number of particular logics, and relates it to those developed by Blok, Czelakowski, Pigozzi and others.