Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
English
Italian
Polish
Russian
G
o
o
g
l
e
|
Forvo
|
+
to phrases
логическая семантика
stresses
math.
logical semantics
progr.
logic semantics
(
ssn
)
Russian thesaurus
логическая семантика
gen.
теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.
Большой Энциклопедический словарь
логическая семантика:
2 phrases
in 1 subject
Programming
2
Add
|
Report an error
|
Get short URL
|
Language Selection Tips