Справочник
|
|
Сборник статей
Статьи тематикам:
|
Справочник![]() Полный список слов справочника
ЛОГИЧЕСКАЯ СЕМАНТИКАтеория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.Случайная справкаБАРУЗДИН Сергей Алексеевич (1926-91)АЛЗАМАЙ ВАЙСКОПФ (Weisskopf) Виктор Фредерик (р . 1908) БЕЛГРАДСКИЙ МИР [18(29) .9.1739 ВАЦУРО Вадим Эразмович (р . 1935) |
|