Software Generalist

OpenTask plans to publish a philosophical treatise:

State and Event: Categorical Foundations of Being and Time (ISBN: 978-1906717643)

- Dmitry Vostokov @ SoftwareGeneralist.com -

Sets are objects that contain other objects, called elements which may be sets themselves. This can be illustrated on the following UML static class and object diagrams:

The cardinal number (cardinality) of a set is the number of its elements in the case of finite sets.  

Here A, B, SB and SC belong to SA set, C belongs to SB set and SC set is the empty set ø. In bracketed set-theoretic notation we have:

SA = {A, B, SB, SC} = {A, B, {C}, {}}

Card(SA) = 4
Card(SB) = 1
Card(SC) = 0

Note: the empty set ø = {} is a subset of any set and this is not shown on diagrams above.

- Dmitry Vostokov @ SoftwareGeneralist.com -Â

This is a forthcoming book consisting of short articles with illustrations planned to be published by the end of this year:

Software and Modern Mathematics (ISBN-13: 978-1906717582)

- Dmitry Vostokov @ SoftwareGeneralist.com -