- Эзотерика
- Журналистские расследования. Публицистика
- Досуг. Развлечения
- История. Социология. Политика
- Кулинария. Ремесла
- Естественные и технические науки
- Культура. Искусство
- Экономика. Бизнес
- Биографии. Мемуары
- Психология
- Туризм. Путешествия. Путеводители
- Спорт
- Медицина
- Дизайн. Мода. Фотография
- Философия. Религия
- Педагогика. Воспитание
- Музыка
- Артбуки. Вселенные
Прикладная логика (С. В. Попов, Н. Л. Брошкова); ФИЗМАТЛИТ, 2011
Сравнить цены
Последняя известная цена от 12 р. до 14 р. в 2 магазинах
Вы можете поискать его на других площадках:
Магазин | Цена | Наличие |
---|---|---|
Описание
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | С. В. Попов, Н. Л. Брошкова |
Издатель | ФИЗМАТЛИТ |
Год издания | 2011 |
ISBN | 978-5-9221-1340-3 |
Размеры | 60x90/16 |
Язык издания | Русский |
Кол-во страниц | 216 |
Отзывы (0)
Добавить отзыв
Книги: Научная литература Физматлит
Категория 9 р. - 14 р.
Книги: Научная литература
Категория 9 р. - 14 р.
Книги: Научная литература: другие издатели
- Editorial URSS
- ERGO
- Penguin
- Ridero
- URSS
- Алетейя
- Альпина нон-фикшн
- Альпина Паблишер
- Аспект Пресс
- Дашков и К
- Директ-Медиа
- Едиториал УРСС
- Златоуст
- Издательские решения
- Издательство Русской Христианской гуманитарной академии (рхга)
- Издательство Санкт-Петербургского университета
- ИКИ
- Институт компьютерных исследований
- ИНФРА-М
- Канон+
- Красанд
- Лань
- Ленанд
- Либроком
- ЛКИ
- МедПресс-Информ
- МЦНМО
- Петрополис
- Проспект
- Реноме
- СПбГУ
- Т-во научн. изданий КМК
- Товарищество научных изданий КМК
- Физматлит
- Форум