Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783847302940

Книга ISBN13 9783847302940 - Прикладной логический анализ (Сергей Попов und Наталья Брошкова) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Прикладной логический анализ
Логический формализм используется в качестве инструмента для формулировки и решения содержательных задач. Возникающие при этом проблемы анализируются с логических позиций. В связи с этим исследуются два подхода: семантический – установление выполнимости, и синтаксический – построение выводов в секвенциальных исчислениях. В частности, описываются процедуры установления выполнимости логических формул и доказуемости в секвенциальных исчислениях, которые могут использоваться при автоматическом поиске решений. С целью унификации механизма поиска решений вводится каноническая форма выводов, позволяющая определить регулярную процедуру поиска. Для логических формул определяется их матричное представление и операции над матрицами, что дает возможность увидеть существенные свойства логических формул, которые при обычном подходе не проявляются. Вводятся так называемые локальные задачи, обладающие простыми процедурами установления выполнимости и доказуемости.
Авторы: Сергей Попов und Наталья Брошкова
Издательство: LAP Lambert Academic Publishing
Год: 2011
Местонахождение: OZON.ru
ISBN: 9783847302940


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.