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