Справочник![]() |
Сборник статей
Статьи тематикам:
|
Справочник![]() Полный список слов справочника
ЛОГИЧЕСКАЯ СЕМАНТИКАтеория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.Случайная справкаБАНДРОВСКА-ТУРСКА (Bandrowska-Turska) Эва (1899-1979)АЭРОФОТОТОПОГРАФИЯ БАКЛУНД (Backlund) Оскар Андреевич (1846-1916) ВЕРЖБОЛОВО АВУДИМ Тенедосский (ум . нач. 4 в.) |
|