Интернет-магазин «Все книги России». Помогает купить книгу по самой выгодной цене. Подарочные книги. Сеть издательств и книжных магазинов на одном сайте! Каталог книг | Найти книги | Моя корзина Пон, 16 Июль, 2018, 19:43

  

Контакты

Книготорговая площадка
«Все книги России»

Всего книг: 183001
Покупателей: 83096
Продавцов: 890
Издательств: 215

Подробная информация о книге:

Автоматизированное построение математических теорий
Люксембург

Автор Люксембург
Название Автоматизированное построение математических теорий
Издательство Едиториал
Дата издания 2005
ISBN 9785354010055
Количество страниц 32 стр.
Переплёт Мягкая обложка
Бумага
Цена 83 руб.
(Цена указана без стоимости доставки)
Продавец Чакона (г.Самара)
Доставка и оплата виды доставки и оплаты книг

Заказы с доставкой за пределы России в настоящее время не принимаются.

Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей.

Для студентов, аспирантов, математиков.



Книга «Автоматизированное построение математических теорий » Люксембург .




Книги в разделах:
  


© 2003-2018 "ВСЕ КНИГИ РОССИИ". Все права защищены.