ГОСТ Р ИСО 18629-13-2011
(ИСО 18629-1]
3.1.17 внешнее ядро (outer Core): Набор теорий ядра, которые являются
расширениями ядра PSL и настолько обобщены и распространены в своем
применении, что каждая теория может быть представлена отдельно.
Примечание - На практике расширения включают в себя аксиомы внешнего
ядра.
[ИСО 18629-1]
3.1.18 примитивная концепция (primitive concept): Лексический термин,
не имеющий консервативного определения.
[ИСО 18629-1]
3.1.19 примитивная лексика (primitive lexicon): Набор символов в
нелогическом словаре, обозначающих элементарные понятия.
П р и м е ч а н и е-Примитивная лексика включает в себя постоянные,
функциональные и реляционные символы.
[ИСО 18629-1]
3.1.20 процесс (process): Структурированный ряд видов деятельности,
включающий в себя различные сущности предприятия, предназначенный и
организованный для достижения конкретной цели.
П р и м е ч а н и е-Данноеопределениеаналогичноопределению,
приведенному в ИСО 10303-49. Тем не менее ИСО 15531 нуждается в понятии
структурированногонабора деятельностейбезкакого-либопредопределенного
отношения ко времени или этапам. С точки зрения управления потоком некоторые
свободные процессы могут требовать синхронизации в отношении цели, хотя в
действительности они ничего не выполняют (задачи-призраки).
[ИСО 15531-1]
3.1.21 теория доказательств (proof theory): Совокупность теорий и
лексических элементов, необходимых для интерпретации семантики языка.
П р и м е ч а н и е - Теория доказательств состоит из трех компонентов: ядра
PSL, внешнего ядра и расширений.
[ИСО 18629-1]
6