Восстановление пароля
Логин:   Пароль:  
Навигация по энциклопедии
А Б В Г Д Е Ё Ж З И Й К Л ЛА ЛЕ ЛЖ ЛИ ЛЛ ЛО ЛУ ЛХ ЛЧ ЛЫ ЛЬ ЛЭ ЛЮ ЛЯ М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я

Что такое (кто такой) "Логическая Семантика"

Значение слова "Логическая Семантика"

Партнеры
Большой энциклопедический словарь (БЭС) → Л → ЛО

Логическая Семантика

ЛОГИЧЕСКАЯ СЕМАНТИКА, теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более
ЛОГИЧЕСКАЯ СЕМАНТИКА, теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.