UA RU EN

Документів:1106

ОЦИФРОВАНІ ВИДАННЯ З РІЗНИХ ГАЛУЗЕЙ ЗНАНЬ ІЗ ФОНДУ НАЦІОНАЛЬНОЇ БІБЛІОТЕКИ УКРАЇНИ ІМЕНІ ЯРОСЛАВА МУДРОГО

Нові надходження

ГоловнаМатематика. Природничі наукиМатематика

Теория и практика искусственного интеллекта в автоматическом доказательстве теорем

Книга є методичним керівництвом, в якому накладено необхідні теоретичні відомості і керівні методичні вказівки по формуванню математичних моделей аксіоматичних міркувань, а також з автоматичного доказу на цих моделях істинності цих міркувань. Наведено різноманітні приклади формування математичних моделей аксіоматичних міркувань (теорем) і автоматичного доведення істинності цих міркувань за допомогою методу резолюцій Робінсона.

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

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

З цієї ж колекції: