Теория логического вывода
Ганичева Антонина Валериановна
Код товара: 4558363
(0 оценок)Оценить
ОтзывНаписать отзыв
ВопросЗадать вопрос
1 / 12
1 / 12
Издательство:
Год издания:
2021
Cерия:
Описание
Характеристики
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
код в Майшоп
4558363
возрастная категория
18+ (нет данных)
количество томов
1
количество страниц
92 стр.
размеры
235x164x5 мм
формат
70x100 1/16
ISBN
978-5-8114-7284-0
тип бумаги
офсетная (60-220 г/м2)
стандарт
10 шт.
вес
132 г
язык
русский
переплёт
Мягкая обложка
Содержание
Введение
Глава 1. Классическая теория логического вывода
Глава 2. Примеры применения классической
теории логического вывода
Глава 3. Логический вывод в системах
искусственного интеллекта
Глава 4. Примеры применения логического вывода
в системах искусственного интеллекта
Заключение
Библиографический список
Глава 1. Классическая теория логического вывода
Глава 2. Примеры применения классической
теории логического вывода
Глава 3. Логический вывод в системах
искусственного интеллекта
Глава 4. Примеры применения логического вывода
в системах искусственного интеллекта
Заключение
Библиографический список
Отзывы
Вопросы
Поделитесь своим мнением об этом товаре с другими покупателями — будьте первыми!
Дарим бонусы за отзывы!
За какие отзывы можно получить бонусы?
- За уникальные, информативные отзывы, прошедшие модерацию
Как получить больше бонусов за отзыв?
- Публикуйте фото или видео к отзыву
- Пишите отзывы на товары с меткой "Бонусы за отзыв"
Задайте вопрос, чтобы узнать больше о товаре
Если вы обнаружили ошибку в описании товара «Теория логического вывода» (авторы: Ганичева Антонина Валериановна), то выделите её мышкой и нажмите Ctrl+Enter. Спасибо, что помогаете нам стать лучше!