МОДЕЛЬМОДЕРАТ

МОДЕЛЬ СЕМАНТИЧЕСКАЯ

Найдено 1 определение:

МОДЕЛЬ СЕМАНТИЧЕСКАЯ

- система значений, приписываемых выражениям некоторого формализованного языка, то же, что интерпретация. Логические системы часто строятся в виде формального исчисления, принимающего во внимание лишь внешний вид формул и символов. Исчисление превращается в язык после того, как его символом придано некоторое значение и указана область объектов, к которой относятся его выражения и формулы. После этого мы можем говорить об истинности и ложности формул исчисления. М. с. как раз и называют систему значений или область объектов, которые превращают формулы логического исчисления в истинные или ложные утверждения.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Словарь по логике

Найдено схем по теме МОДЕЛЬ СЕМАНТИЧЕСКАЯ — 0

Найдено научныех статей по теме МОДЕЛЬ СЕМАНТИЧЕСКАЯ — 0

Найдено книг по теме МОДЕЛЬ СЕМАНТИЧЕСКАЯ — 0

Найдено презентаций по теме МОДЕЛЬ СЕМАНТИЧЕСКАЯ — 0

Найдено рефератов по теме МОДЕЛЬ СЕМАНТИЧЕСКАЯ — 0