Автоматический поиск натурального вывода в классической логике предикатов - Диссертация

бесплатно 0
4.5 139
Диссертация Логика Философия Размещено: 28.05.2018
Пересмотр алгоритма поиска натурального вывода типа Куайна в логике предикатов первого порядка, предложенного В. Бочаровым, А. Болотовым и А. Горчаковым. Для этого алгоритма доказательство теорем о семантической непротиворечивости и семантической полноте.


Заказать написание новой работы



Дисциплины научных работ



Хотите, перезвоним вам?