Слово дня — ТЕРМ
в логико-математическом исчислении — аналог подлежащего или дополнения естественных языков, т. е. выражение, обозначающее (или описывающее) какой-либо объект из универсума — предметной области предполагаемой модели этого исчисления
в логико-математическом исчислении — аналог подлежащего или дополнения естественных языков, т. е. выражение, обозначающее (или описывающее) какой-либо объект из универсума — предметной области предполагаемой модели этого исчисления