Archive for August, 2012

Predicates as sets

Mathematical sets Sets abound in mathematics. If a mathematician wants to treat a collection of objects which satisfy a certain property as an entity, he defines a set. Sets are a very powerful tool in specifications. In order to obtain good readability we introduce a set like notation. Set expressions The expression {1,2,3} is the […]

Leave a comment

Boolean lattices

Introduction This article is dedicated to boolean lattices. A boolean lattice is another name for a boolean algebra. A boolean lattice is an algebraic structure with two binary operators “*” and “+” which represent “and” and “or”, a unary operator “-” which represents negation. The binary operators are commutative, associative and distributive. Furthermore there are […]

Leave a comment