|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Логика предикатов |
| Основные понятия. Практика по решению проблемы разрешимости формул, содержащих
предикаты от одного переменного. Поиск доказательств в натуральном интуиционистском исчислении предикатов с e-символом и предикатом существования.
|
Раздел: Рефераты по философии
Тип: реферат
Просмотров: 2276
Комментариев: 19 Похожие работы
Оценило: 4 человек
Средний балл: 5
Оценка: неизвестно Скачать
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|