Author : Michael Winter
Publisher : Springer Science & Business Media
Page : 217 pages
File Size : 19,34 MB
Release : 2007-08-14
Category : Philosophy
ISBN : 1402061641
Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices, this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures. It is shown that neither theory is sufficiently rich to describe basic operations on fuzzy relations.
Author : Jose Luiz Fiadeiro
Publisher : Springer Science & Business Media
Page : 255 pages
File Size : 22,83 MB
Release : 2005
Category : Computers
ISBN : 3540209093
Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.
Author : Donald Sannella
Publisher : Springer Science & Business Media
Page : 594 pages
File Size : 37,66 MB
Release : 2012-01-05
Category : Computers
ISBN : 3642173365
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful. The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.
Author : Peter Höfner
Publisher : Springer
Page : 474 pages
File Size : 25,20 MB
Release : 2014-04-08
Category : Mathematics
ISBN : 3319062514
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.
Author : Harrie de Swart
Publisher : Springer Science & Business Media
Page : 370 pages
File Size : 10,26 MB
Release : 2011-05-20
Category : Computers
ISBN : 3642210694
This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences, which have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game theory. For that reason this conference included a special track on Computational Social Choice and Social Software. The 18 papers included were carefully reviewed and selected from 27 submissions. In addition the volume contains 2 invited tutorials and 5 invited talks.
Author : Ernest G. Manes
Publisher : Springer
Page : 268 pages
File Size : 36,61 MB
Release : 1975
Category : Computers
ISBN :
Presents the results of a symposium which brought together scientists interested in applying modern algebraic techniques to problems in control & computer science.
Author : Stein Krogdahl
Publisher : Springer Science & Business Media
Page : 398 pages
File Size : 46,16 MB
Release : 2004-03-31
Category : Computers
ISBN : 354021366X
This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award: "For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67." This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: "The Birth of Object-Orientation: the Simula Languages." The main part of the book consists of 14 scientific articles written by leading scientists who worked with Ole-Johan Dahl as students or colleagues. In accordance with the scope of Ole-Johan Dahl's work and the book's title, the articles are centered around object-orientation and formal methods.
Author :
Publisher :
Page : 128 pages
File Size : 13,59 MB
Release : 1986-12
Category :
ISBN :
Author : Gabriel Ciobanu
Publisher : Springer
Page : 493 pages
File Size : 43,5 MB
Release : 2014-09-11
Category : Computers
ISBN : 3319108824
This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and code; static and dynamic program analysis and verification; software specification, refinement, verification and testing; model checking and theorem proving; models of object and component systems; coordination and feature interaction; integration of theories, formal methods and tools for engineering computing systems; service-oriented architectures: models and development methods; models of concurrency, security, and mobility; theories of distributed, grid and cloud computing; real-time, embedded, hybrid and cyber-physical systems; type and category theory in computer science; models for e-learning and education; case studies, theories, tools and experiments of verified systems; domain-specific modeling and technology: examples, frameworks and practical experience; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.
Author : John Harding
Publisher : CRC Press
Page : 251 pages
File Size : 23,86 MB
Release : 2016-03-30
Category : Mathematics
ISBN : 1498735290
Type-2 fuzzy sets extend both ordinary and interval-valued fuzzy sets to allow distributions, rather than single values, as degrees of membership. Computations with these truth values are governed by the truth value algebra of type-2 fuzzy sets. The Truth Value Algebra of Type-2 Fuzzy Sets: Order Convolutions of Functions on the Unit Interval explo
