Главная - Энциклопедический словарь - буква Л - Логическая Семантика
теория, изучающая вопросы интерпретациилогарифмических исчислений: отношения между языком исчисления иописываемой им реальностью - моделью теории, условия существования моделейисчислений, их практической применимости и др. В более специальном смысле- дедуктивная теория, описывающая свойства понятия истинности вформализованных языках логики и математики.
Поделитесь с друзьями:
Вы можете поставить ссылку на это слово:
будет выглядеть так: Логическая Семантика
будет выглядеть так: Что такое Логическая Семантика
|
|