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

Автор: 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.

Автор: H.V. H?ng Nguy?n; Lionel Schwartz
Название: Algebraic Topology
ISBN: 3319694332 ISBN-13(EAN): 9783319694337
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Held during algebraic topology special sessions at the Vietnam Institute for Advanced Studies in Mathematics (VIASM, Hanoi), this set of notes consists of expanded versions of three courses given by G.

Автор: Wolfram Kahl; Michael Winter; Jos? Oliveira
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319247034 ISBN-13(EAN): 9783319247038
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions.

Автор: 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.

Автор: 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.

Автор: R.H. Silverman; Semen G. Gindikin
Название: Algebraic Logic
ISBN: 0387961798 ISBN-13(EAN): 9780387961798
Издательство: 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.

Автор: 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.

Автор: 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.

Автор: Ito Masami Et Al
Название: Automata, Formal Languages And Algebraic Systems - Proceedings Of Aflas 2008
ISBN: 9814317608 ISBN-13(EAN): 9789814317603
Издательство: World Scientific Publishing
Рейтинг:
Цена: 13781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. This book covers the areas such as automata and grammars, languages and codes, and logics and trees.

Автор: Jean-Louis Loday; Bruno Vallette
Название: Algebraic Operads
ISBN: 3642448356 ISBN-13(EAN): 9783642448355
Издательство: Springer
Рейтинг:
Цена: 15366.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Preface.- 1.Algebras, coalgebras, homology.- 2.Twisting morphisms.- 3.Koszul duality for associative algebras.- 4.Methods to prove Koszulity of an algebra.- 5.Algebraic operad.- 6 Operadic homological algebra.- 7.Koszul duality of operads.- 8.Methods to prove Koszulity of an operad.- 9.The operads As and A\infty.- 10.Homotopy operadic algebras.- 11.Bar and cobar construction of an algebra over an operad.- 12.(Co)homology of algebras over an operad.- 13.Examples of algebraic operads.- Apendices: A.The symmetric group.- B.Categories.- C.Trees.- References.- Index.- List of Notation.

Автор: Mihai Codescu; R?zvan Diaconescu; Ionu? ?u?u
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3319281135 ISBN-13(EAN): 9783319281131
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

On Logic Embeddings and Gцdel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An Empirical Study.- A Full Operational Semantics for Asynchronous Relational Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.