Формальная грамматика

(от лат. Formica – муравей) муравьиный альдегид, CH2O, первый член гомологического ряда алифатических альдегидов (См. Альдегиды). Бесцветный газ с резким запахом, хорошо растворимый в воде и спирте, tкип – 19 °С. В промышленности Ф. Получают окислением метилового спирта или метана кислородом воздуха. Ф. Легко полимеризуется (особенно при температурах до 100 °С), поэтому его хранят, транспортируют и используют главным образом в виде Формалина и твёрдых низкомолекулярных полимеров – триоксана (см...

формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. А. Содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, ' (прибавление 1) и логические связки (см. Логические операции). Постулатами Ф. А. Являются аксиомы (См. Аксиома) и правила вывода (См. Правило вывода) исчисления предикатов (классического или интуиционистского в зависимости от того, какая Ф. А. Рассматривается), определяющие равенства для арифметиче..

наука о мышлении, предметом которой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их конкретного содержания. Ф. Л. – базисная наука. Её идеи и методы используются как в повседневной практике, например в качестве средства предотвращения логических ошибок, так и в особенности в теории для логического анализа научного знания. См. Логика. ..

неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом (См. Аксиома) и правил вывода (См. Правило вывода) (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Ф. С.» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но ..

См. Грамматика формальная (в статье грамматика).. ..