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