| Автоматизация
интеллектуального труда |
3.Союз
логики и программирования |
|
|
 |
| |
| 3.1. Роль логических
выражений в языке программирования |
| 3.2. Предикаты и верификация
программ |
| 3.3. Языки ЛИСП, ПРОЛОГ. |
| 3.4. Программы решения
логических проблем |
| 3.4.1. Проблема построения
булевой функции по формуле логики высказываний |
| 3.4.2. Проблема записи формулы,
представляющей заданную булеву функцию |
| 3.4.3. Проблема определения
равносильности формул логики высказываний |
| 3.4.4. Проблема минимизации
для булевых функций |
| 3.4.5. Проблема тождественной
истинности формул в логике высказываний |
| 3.4.6. Программная реализация
некоторых предикатов |
| 3.5. Автоматическое
доказательство теорем |
| 3.6. Модели окружающего мира
для роботов |
|
