Для корректной работы этого сайта необходима поддержка JavaScript и "cookies" Вашим браузером. Подробнее

МЫ ПРИНИМАЕМ ЗАКАЗЫ ПО ТЕЛЕФОНАМ +7 (495) 374-94-88, 8(800) 775-80-36 (бесплатно для регионов) С 10:00 ДО 19:00
Здравствуйте, Гость! (Войти в систему)

Ваша корзина

В корзине 0 товаров на сумму
0 руб


Отложено: 0 товаров

Ваша корзина пуста.

Нажмите кнопку "В корзину" на интересующих вас товарах.

Лучшие книги недели

Древняя Русь в свете зарубежных источников - Джаксон Т.Н. - купить  книгу с доставкой

Древняя Русь в свете зарубежных источников

Джаксон Т.Н., Бибиков М.В
532 руб
Мир-система Модерна. Том 1. Капиталистическое сельское хозяйство и истоки европейского мира-экономики в XVI веке - Иммануэль Валлерстайн - купить  книгу с доставкой

Мир-система Модерна. Том 1

Иммануэль Валлерстайн
675 руб
Евреи, конфуцианцы и протестанты. Культурный капитал и конец мультикультурализма - Лоуренс Харрисон - купить  книгу с доставкой

Евреи, конфуцианцы и протестанты

Лоуренс Харрисон
388 руб
Феномены мозга - Бехтерев В. М. - купить  книгу с доставкой

Феномены мозга

Бехтерев В. М.
415 руб

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

Попов С.В., Брошкова Н.Л.

Прикладная логика - Попов С.В. - купить  книгу с доставкой
Физматлит, твердый переплет, 2011

Код товара: 825894

ISBN: 978-5-9221-1340-3

Тип переплета: твердый переплет

Тираж книги: 100

Формат книги: 60x90/16 (145x215 мм)

Количество страниц: 216

Временно отсутствует
Чтобы оставить заявку, введите свой e-mail
0
Аннотация к книге "Прикладная логика":
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.
Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.