Wikibooks

Modelling Theory and Practice/Overview and Trivial Cases

< Modelling Theory and Practice
This page may need to be reviewed for quality.

The Notion of a Property of something

edit

Property: separate sheep from goats -> look for property.

We write R(x) for an element x having property R.

Properties can be used to define sets. (intensional definition)

Set can also be defined by specifying every of its objects. (extensional definition)

Overview of Relations

edit

'Relation' among objects, e.g. person drives car, formally written: Drives(person, car), Drives(Walter, Mini)

Notations: table, matrix, graph, ...

Binary relation: R(x, y), e.g. ...

N-ary relation: R(x1, x2, x3, ..., xn), e.g. ...

Property = unary relation R(x).

Structure of this chapter:

  • Trivial Cases: R(x)
  • Modelling with Concepts: R(x), S(y), T(z)
  • Modelling with Modules: R(x, y, z)

Where concepts and modules are the basic approaches to handle complexity in the two directions.

Moreover, the directions of course can be combined. This is analysed in the next chapter.

Not covered: Soft relations, ...

Retrieved from "https://en.wikibooks.org/wiki/Modelling_Theory_and_Practice/Overview_and_Trivial_Cases"