На главную О проекте Обратная связь Помочь проекту Добавить в "Избранное"

  
Наши слова →  Словарь логики →  А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Модель Семантическая

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

→ Модус (лат. modus - мера, способ, образ, вид) - философский термин, обозначающий свойство предмета, присущее ему только в некоторых состояниях и зависящее ...
← Модель (от лат. modulus — мера, образец, норма) — а) в самом широком смысле — любой мысленный или знаковый образ модели­руемого объекта (оригинала). К их ...





© nashislova.ru - Все словари 2009 Информация публикуется на сайте исключительно для ознакомительных целей и основана на свободно распостраняемых версиях словарей. Администрация не несет ответственности за любые неточности в текстах.
Rambler's Top100
Выполнено за: 0.031 c.