Прикладная логика

Характеристики
ISBN 978-5-9221-1340-3
Автор Попов С.В., Брошкова Н.Л.
Издательство Физматлит
Переплет тв
Формат 60x90/16
Вес, гр 320
Год 2011
Стр. 216
Сроки выполнения Уточняем в течение 24 часов после оформления заказа
ID 503ЭЗ
Издатель: ФИЗМАТЛИТ
ISBN: 978-5-9221-1340-3
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Мы заботимся о Ваших cookie ck

mybooks.by использует файлы cookie для улучшения Вашего пользовательского опыта, сбора статистики и представления персонализированных рекомендаций.

Нажав «Принять», Вы даете согласие на обработку файлов cookie в соответствии с Политикой обработки файлов cookie.

Настройка файлов cookie ck

Необходимы для работы сайта и не могут быть отключены. Вы можете настроить браузер, чтобы он блокировал эти файлы cookie или уведомлял Вас об их использовании, но в таком случае возможно, что некоторые разделы сайта не будут работать.

Могут использоваться для целей маркетинга и улучшения качества рекламы: предоставление более актуального и подходящего контента и персонализированного рекламного материала.

Могут использоваться для сбора данных о Ваших интересах, посещаемых страницах и источниках трафика, чтобы оценивать и улучшать работу нашего сайта..

Нажав «Принять», Вы даете согласие на обработку файлов cookie в соответствии с Политикой обработки файлов cookie.