Подтверждён событием на выбранную дату.
Карточка нормативного документа
ГОСТ Р 59791-2021
Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике
Действуетна 10.11.2026Перед применением сверяйтесь с официальным источником
Что известно о документе сейчас
По сведениям официальной карточки.
Приведена ниже без подмены названия документа.
Отсутствие связи не означает, что замены нет.
Национальный стандарт Российской Федерации
ГОСТ Р 59791-2021
Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике
Справочная карточка ГОСТНОРМ. Официальные сведения и источник показаны отдельно. Полный текст размещается только при подтверждённом праве использования.
Область применения
В настоящем стандарте описано семейство логических языков, разработанных для представления информации и данных и обмена ими между разнородными компьютерными системами. Следующие особенности имеют особую важность для построения настоящего стандарта: - языки в семье имеют декларативную семантику. Благодаря этому можно понять значение выражений на этих языках, не используя интерпретатор для обработки таких выражений; - языки в семье логически всесторонни — в самом общем виде они обеспечивают выражение произвольных логических высказываний первого порядка; - языки можно перевести с сохранением семантики в общий синтаксис на основе XML, что облегчает обмен информацией между разнородными компьютерными системами. В область применения настоящего стандарта входят следующие вопросы: - представление информации в онтологиях и базах знаний; - описание выражений, которые вводят в машины логического вывода или выводят из них; - формальные интерпретации символов, выраженных с помощью языка. Нижеследующее выходит за рамки настоящего стандарта: - описание теории доказательств или правил вывода; - описание переводчиков между обозначениями разнородных компьютерных систем; - компьютерные операционные методы формирования отношений между символами в логической «вселенной дискурса» и людьми в «реальном мире». В настоящем стандарте описаны синтаксис и семантика CL. В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с ним теоретико-модельной семантики для специфичного расширения логики первого порядка. Цель состоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка. Назначение настоящего стандарта — упростить обмен логической информацией первого порядка между системами. Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эффективность, оптимизацию и т. д.)
Классификация и разработка
- Дата введения
- 30.04.2022
- ОКС
- 35.060;01.040.35
Навигация по теме
Классификация и ключевые понятия
ОКС группирует стандарты по тематике. Совпадение кода или ключевых слов помогает искать документы, но не доказывает, что они применимы к одной и той же продукции.
общая логика CLсемантика общей логикиабстрактный синтаксис
По теме
Стандарты с близкой тематикой
Подборка построена по совпадающим кодам ОКС и ключевым понятиям. Это не перечень нормативных ссылок и не сведения о замене документа.
Практическая проверка
Как понять, подходит ли этот ГОСТ
Карточка помогает найти документ и проверить базовые сведения, но не определяет обязательность применения для конкретной продукции, работы или договора.
- Сверьте обозначение и название.Похожие номера и годы могут относиться к разным редакциям.
- Прочитайте область применения.Она определяет границы документа; название не заменяет этот текст.
- Проверьте статус на нужную дату.Учитывайте будущее введение, отмену или замену.
- Изучите связи и редакции.При замене перейдите к новому документу и повторите проверку.
- Сверьтесь с первоисточником.Для решений с юридическими или договорными последствиями проверьте официальную карточку и документ-основание.
Пояснения
Частые вопросы о ГОСТ Р 59791-2021
Действует ли ГОСТ Р 59791-2021?
По подтверждённым событиям в базе ГОСТ Р 59791-2021 действует в РФ на 10.11.2026. Перед применением сверьте статус с официальной карточкой.
Чем заменён ГОСТ Р 59791-2021?
Подтверждённая замена в базе не указана. Это не означает, что замены нет: проверьте официальную карточку.
Можно ли прочитать или скачать документ?
Полный текст и PDF не размещены. Карточка содержит библиографические сведения; материалы появятся только после проверки источника и права публикации.
Где проверить официальные сведения?
Ссылка «Официальный источник» ведёт на карточку Росстандарта. Сверяйте обозначение, статус, даты и область применения.
Карточка содержит подтверждённые библиографические сведения. Текст или PDF появится только после проверки источника и права публикации.
Проверить официальный источникИстория статуса
Показаны только проверенные события. Дата сверки карточки не заменяет дату введения, замены или отмены.
Введён в действие
Дата введения по официальной карточке Росстандарта
Открыть основание