Терминологический словарь автоматизации строительства и производственных процессов

Свидетельство о регистрации СМИ:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 22.04.2024 - 20:09
Категории

Языки логико-математические

Языки логико-математические — формальные языки, служащие для изложения логических и математических теорий в виде формальных логико-математических исчислений. Логико-математические языки делятся на логические и прикладные и разрабатываются при построении соответственно логических и прикладных исчислений. Языки задаются перечнем символов, правилами образования так называемых правильно построенных выражений языка, а также указанием семантики, т. е. истолкования смысла языковых выражений.

[Зотов В.В., Маслов Ю.Н., Пядочкин А.Е., Самойлов Л.К., Темников Ф.Е., Хорошилов В.О., Черпаков Б.И. Терминологический словарь по автоматике, информатике и вычислительной технике — Москва: Высшая школа, 1989 — с.191]

31 просмотров

Правообладателям! В случае если свободный доступ к данному термину является нарушением авторских прав, составители готовы, по требованию правообладателя, убрать ссылку, либо сам термин (определение) с сайта. Для связи с администрацией воспользуйтесь формой обратной связи.