Теория доказательств
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Нормы, правила, стандарты и законодательство России
- Техэксперт: Нефтегазовый комплекс
- Техэксперт: Машиностроительный комплекс
ТЕОРИЯ ДОКАЗАТЕЛЬСТВ
(proof theory)
Совокупность теорий и лексических элементов, необходимых для интерпретации семантики языка.
Примечание - Теория доказательств состоит из трех компонентов: ядра PSL, внешнего ядра и расширений.
[ИСО 18629-1]
ТЕОРИЯ ДОКАЗАТЕЛЬСТВ
(proof theory)
