DataTypes

• Issue: Some overlap with aspects of ordering systems.

• Issue: Recognition of DataTypes: One can

• built inferences on DataTypes, if their definition additionally includes facets like “The notion of integer includes the natural order of integers”.

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen