Litres Baner

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

Отметить прочитанной
Как читать книгу после покупки
  • Скачать:
  • PDF
Прикладная логика
Прикладная логика | Попов Сергей Викторович, Брошкова Наталья Леонидовна
Прикладная логика | Попов Сергей Викторович, Брошкова Наталья Леонидовна
Бумажная версия
389
Подробнее
Описание книги

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.

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

Подробная информация
  • Возрастное ограничение: 0+
  • Дата выхода на ЛитРес: 05 июля 2013
  • Дата написания: 2011
  • Объем: 214 стр.
  • ISBN: 978-5-9221-1340-3
  • Общий размер: 3 MB
  • Общее кол-во страниц: 214
  • Размер страницы: 140 x 215 мм
  • Правообладатель: Издательская фирма "Физико-математическая литература"
Книга С. В. Попова «Прикладная логика» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Другие версии
Прикладная логика | Попов Сергей Викторович, Брошкова Наталья Леонидовна
Бумажная версия
389

Оставьте отзыв

Напишите отзыв и получите 100 бонусных рублей на ваш счёт ЛитРес

Что думаете о книге?
Купите 3 книги одновременно и выберите четвёртую в подарок!

Чтобы воспользоваться акцией, добавьте нужные книги в корзину. Сделать это можно на странице каждой книги, либо в общем списке:

  1. Нажмите на многоточие
    рядом с книгой
  2. Выберите пункт
    «Добавить в корзину»