Аналитическое и формальное доказательство теоремы в ИВ
Курсовая работа, 30 Мая 2014, автор: пользователь скрыл имя
Краткое описание
В данной курсовой работе рассматриваются различные способы доказательства истинности рассуждений (теоремы): прямое, формальное, аналитическое и доказательство от противного. Для этого будут использованы следующие алго¬ритмы: алгоритм Вонга и алгоритм метода пропозициональной резолюций. Также будет проведен анализ этих алгоритмов, используя количественную меру в виде полной энтропии (алгоритмической меры количества информации по Кол¬могорову), и в соответствии с ним будет представлена рабочая программа на языке Turbo Pascal.