TY - JOUR
AU - Mitrofan CHOBAN
AU - Ivan BUDANAEV
PY - 2019/07/09
Y2 - 2021/06/24
TI - ABOUT APPLICATIONS OF TOPOLOGICAL STRUCTURES IN COMPUTER SCIENCES AND COMMUNICATIONS
JF - Acta et Commentationes Exact and Natural Sciences
JA - ActaEX
VL - 4
IS - 2
SE -
DO - 10.36120/2587-3644.v4i2.45-59
UR - https://revista.ust.md/index.php/acta_exacte/article/view/351
AB - 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.
ER -