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.

Una din problemele centrale ale informaticii si, in special, ale programarii este problema corectitudinii ce contine: - problema daca un program calculeaza o functie data; - problema pentru a decide daca un punct al spatiului coincide cu un alt punct fixat; - daca doua puncte dintr-un spatiu dat coincid si daca unul se apropie (formand o secventa) de celalalt in careva ordine specificata.  In acest articol se examineaza rolul cvasi-metricilor si al spatiilor Alexandroff  la rezolvarea unor probleme legate de proiectarea sistemelor din domeniile informaticii si comunicatiei.