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

Научно-популярные статьи

№ Гранта

10-07-07016-д

Научно-популярные статьи

№ Гранта

10-07-07016-д

ISBN:
978-5-9221-1340-3
Издательство:
Физматлит
Год:
2011

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

Раздел: математика, механика, информатика

№-гранта: 10-07-07016-д

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

Читать

Использование материалов ЭБ РФФИ

(выдержка из пользовательского соглашения)

Воспроизведение материалов из ЭБ в любой форме требует письменного разрешения РФФИ. Пользователи вправе в индивидуальном порядке использовать материалы, находящиеся на сайте РФФИ, для некоммерческого использования.

Пользователь обязуется не осуществлять (и не пытаться получить) доступ к каким-либо материалам ЭБ иным способом, кроме как через интерфейс Сайта.

Пользователь обязуется не воспроизводить, не дублировать, не копировать, не продавать, не осуществлять торговые операции и не перепродавать материалы ЭБ для каких-либо целей.

Другие произведения авторов:

НазваниеАвторРубрикаНомер грантаТекст
1Мир, скованный льдомПопов С.В. науки о земле 17-15-20053
2Два чуда антарктического озера ВостокПопов С.В. науки о земле 13-05-11503

Другие произведения в разделе:

НазваниеАвторРубрикаНомер грантаТекст
1130 лет уравнению БольцманаВеденяпин В.В. математика, механика, информатика нет данных
2«Малыши» завоевывают мирОвчинников М.Ю. математика, механика, информатика нет данных
3«Треугольник» моделей коагуляции и гельпереход в дисперсных системахДубовский П.Б. математика, механика, информатика нет данных
4Беспокойная жизнь лавовых куполовСпаркс С.
и др.
математика, механика, информатика нет данных
5Вертикаль под контролемКульчин Ю.Н. математика, механика, информатика нет данных