Русский ⇄ Английский Итальянский Китайский Польский Русский

логическая семантика ударения
мат.	logical semantics
прогр.	logic semantics (ssn)
Русский тезаурус
логическая семантика
общ.	теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики. Большой Энциклопедический словарь

логическая семантика: 2 фразы в 1 тематике

Программирование

2