One of the central problems in computer science and, in particular, in programming is the correctness problem which contains:
- the question of whether a program computes a given function;
- the problem to decide whether an element of the space is equal to a fixed element;
- whether two elements of a given space are equal and whether one approximates the other in the specialization order.
In this article is examined the role of quasi-metrics and of Alexandroff spaces in the solving of some problems in the design of systems of the computer science an communications.
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.