Теория логического вывода
Ганичева Антонина Валериановна
Код товара: 4558363
(0 оценок)Оценить
ОтзывНаписать отзыв
ВопросЗадать вопрос
1 / 12
1 / 12
-35%
674
1 036
Доставим в
г. Химки, Московская обл.Курьером
бесплатно от 10 000 ₽
В пункт выдачи
от 155 ₽
бесплатно от 10 000 ₽
Точная стоимость доставки рассчитывается при оформлении заказа
Издательство:
Год издания:
2021
Cерия:
Описание
Характеристики
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Содержание
Введение
Глава 1. Классическая теория логического вывода
Глава 2. Примеры применения классической
теории логического вывода
Глава 3. Логический вывод в системах
искусственного интеллекта
Глава 4. Примеры применения логического вывода
в системах искусственного интеллекта
Заключение
Библиографический список
Глава 1. Классическая теория логического вывода
Глава 2. Примеры применения классической
теории логического вывода
Глава 3. Логический вывод в системах
искусственного интеллекта
Глава 4. Примеры применения логического вывода
в системах искусственного интеллекта
Заключение
Библиографический список
Отзывы
Вопросы
Поделитесь своим мнением об этом товаре с другими покупателями — будьте первыми!
Дарим бонусы за отзывы!
За какие отзывы можно получить бонусы?
- За уникальные, информативные отзывы, прошедшие модерацию
Как получить больше бонусов за отзыв?
- Публикуйте фото или видео к отзыву
- Пишите отзывы на товары с меткой "Бонусы за отзыв"
Задайте вопрос, чтобы узнать больше о товаре
Если вы обнаружили ошибку в описании товара «Теория логического вывода» (авторы: Ганичева Антонина Валериановна), то выделите её мышкой и нажмите Ctrl+Enter. Спасибо, что помогаете нам стать лучше!