Символическая логика
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Нормы, правила, стандарты и законодательство России
- Техэксперт: Нефтегазовый комплекс
- Техэксперт: Машиностроительный комплекс
СИМВОЛИЧЕСКАЯ ЛОГИКА
En symbolic logic, mathematical logic
Предмет, изучающий формульную логику средствами формализованного искусственного языка или символического исчисления с целью исключения неоднозначности и логической неадекватности, присущих естественным языкам.
Допустимый синоним: Математическая логика.
"ГОСТ 33707-2016 (ISO/IEC 2382:2015) Информационные технологии. Словарь" от 22.09.2016 г.
