Теория и практика искусственного интеллекта в автоматическом доказательстве теорем
Книга є методичним керівництвом, в якому накладено необхідні теоретичні відомості і керівні методичні вказівки по формуванню математичних моделей аксіоматичних міркувань, а також з автоматичного доказу на цих моделях істинності цих міркувань. Наведено різноманітні приклади формування математичних моделей аксіоматичних міркувань (теорем) і автоматичного доведення істинності цих міркувань за допомогою методу резолюцій Робінсона.
Бібліографічний опис:
Кондратенко, В. А. Теория и практика искусственного интеллекта в автоматическом доказательстве теорем [Електронна копія] : метод. указ. по мат. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта / В. А. Кондратенко, А. И. Кондратенко. Электрон. текст. дан. (1 файл : 19,9 Мб). Киев : Поліграфкнига, 2006 (Київ: НБУ ім. Ярослава Мудрого, 2021).
Оригінал друкованого документу зберігається в НБУ ім. Ярослава Мудрого: Кондратенко В. А. Теория и практика искусственного интеллекта в автоматическом доказательстве теорем : метод. указ. по мат. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта / В. А. Кондратенко, А. И. Кондратенко. — Киев : Поліграфкнига, 2006. — 76, [3] с. : табл.