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