Реклама на сайте |
|
Алтайский край.ЦЕМЕНТНАЯ ПРОМЫШЛЕННОСТЬ. |
|
пальто зимние женские в Центральный федеральный округ, ремонт судов в Республике Бурятия, изделия железобетонные в Чите, Приморский край промышленность, ЭЛЕКТРОННАЯ ПРОМЫШЛЕННОСТЬ в Северо-Западный федеральный округ, ЭЛЕКТРОТЕХНИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ в Гагарином, пенополиэтилен, Производство станки металлорежущие в Кирове, Производство фольга алюминиевая в Уральский федеральный округ, ОАО "Искож" ЛЕГКАЯ ПРОМЫШЛЕННОСТЬ, ПРОИЗВОДСТВО БУМАЖНОЙ И КАРТОННОЙ ТАРЫ в Омской области, Производство продукция цельномолочная, Производство продукция молочная в Ставропольском крае, ОАО "ОдЖен", предприятия МАШИНОСТРОЕНИЕ А знаете ли Вы, что... Из Большой Советской Энциклопедии. Формальная система, неинтерпретированное исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Ф. с.» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, формализованный язык, формальная логика, кодификат, дедуктивная система и др. |