Научный журнал

ISSN 1814-2400

ИНФОРМАТИКА И СИСТЕМЫ УПРАВЛЕНИЯ

Клещев А. С., Москаленко Ф. М.

ДОКАЗАТЕЛЬСТВО КОРРЕКТНОСТИ АЛГОРИТМА РЕШЕНИЯ ЧАСТНОЙ ЗАДАЧИ МЕДИЦИНСКОЙ ДИАГНОСТИКИ

В работе представлено доказательство корректности алгоритма решения частной задачи медицинской диагностики, состоящей в определении диагнозов пациента на основе данных наблюдений и знаний о заболеваниях.

Ключевые слова: медицинская диагностика, алгоритм диагностики, доказательство.