Прикладная логика
-
Научно-популярные статьи
№ Гранта
10-07-07016-д
-
Научно-популярные статьи
№ Гранта
10-07-07016-д
-
-
- ISBN:
- 978-5-9221-1340-3
- Издательство:
- Физматлит
- Год:
- 2011
Попов С.В., Брошкова Н.Л.
Раздел: математика, механика, информатика
№-гранта: 10-07-07016-д
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Использование материалов ЭБ РФФИ
(выдержка из пользовательского соглашения)
Воспроизведение материалов из ЭБ в любой форме требует письменного разрешения РФФИ. Пользователи вправе в индивидуальном порядке использовать материалы, находящиеся на сайте РФФИ, для некоммерческого использования.
Пользователь обязуется не осуществлять (и не пытаться получить) доступ к каким-либо материалам ЭБ иным способом, кроме как через интерфейс Сайта.
Пользователь обязуется не воспроизводить, не дублировать, не копировать, не продавать, не осуществлять торговые операции и не перепродавать материалы ЭБ для каких-либо целей.
Другие произведения авторов:
| № | Название | Автор | Рубрика | Номер гранта | Текст |
|---|---|---|---|---|---|
| 1 | Мир, скованный льдом | Попов С.В. | науки о земле | 17-15-20053 |  |
| 2 | Два чуда антарктического озера Восток | Попов С.В. | науки о земле | 13-05-11503 | |
Другие произведения в разделе:
| № | Название | Автор | Рубрика | Номер гранта | Текст |
|---|---|---|---|---|---|
| 1 | 130 лет уравнению Больцмана | Веденяпин В.В. | математика, механика, информатика | нет данных | |
| 2 | «Малыши» завоевывают мир | Овчинников М.Ю. | математика, механика, информатика | нет данных | |
| 3 | «Треугольник» моделей коагуляции и гельпереход в дисперсных системах | Дубовский П.Б. | математика, механика, информатика | нет данных | |
| 4 | Беспокойная жизнь лавовых куполов | Спаркс С. и др. | математика, механика, информатика | нет данных | |
| 5 | Вертикаль под контролем | Кульчин Ю.Н. | математика, механика, информатика | нет данных | |