Формалізація та алгоритмізація медичних задач