THE PROOF OF CORRECTNESS OF THE ALGORITHM FOR SOLVING A PARTICULAR TASK IN MEDICAL DIAGNOSTICS
The paper presents a proof of correctness of the algorithm for solving a particular task in medical diagnostics, which is to diagnose a patient’s illness on basis of observations and awareness of patient’s diseases.
Keywords: medical diagnostics, algorithm of diagnostics, proof.