Элементарная схема

Элементарная схема Элементарная диаграмма структуры в математической теории моделей представляет собой набор предложений с параметрами из структуры, которые истинны в […]

Элементарная схема

  • Элементарная диаграмма структуры в математической теории моделей представляет собой набор предложений с параметрами из структуры, которые истинны в структуре. 
  • Расширенный язык L(M) получается добавлением постоянного символа ca для каждого элемента a из M. 
  • Структура M может рассматриваться как структура L(M), где символы в L интерпретируются так же, как и раньше, а каждая новая константа ca интерпретируется как элемент a. 
  • Элементарная диаграмма M представляет собой набор всех L (M) предложений, которые истинны в M. 

Полный текст статьи:

Элементарная схема — Википедия

Оставьте комментарий

Прокрутить вверх