Аналитическое и формальное доказательство теоремы в ИВ
Построение таблицы истинности, прямое и обратное доказательство, построение которого основывается на тринадцати законах. Построение алгоритма Вонга и метода резолюции, проводится сравнение этих методов на удобство реализации программы на языке Pascal.
26.06.2012 |
Математическая логика и теория алгоритмов |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 51
