Формальная система, неинтерпретированное исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Формальная система» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, формализованный язык, формальная логика, кодификат, дедуктивная система и др.
Так же Вы можете узнать о...
Бугры прикустовые, бугры вегетативные, отдельные скопления песка и пыли, образующиеся вокруг кустов в пустынях (в частности, вокруг саксаула в Средней Азии) и достигающие высот 50—70 м. Де Филиппо Эдуарде Де Филиппо (De Filippo) Эдуардо (псевдоним; настоящая фамилия Пассарелли, Passarelli) (р. Каунда Кеннет Дейвид Каунда (Kaunda) Кеннет Дейвид (р. 28.4.1924, Лубва. Мак-Орлан Пьер Мак-Орлан (MacOrlan) Пьер (псевдоним; настоящие имя и фамилия Пьер Дюмарше; Dumarchey) (26. Остаточная намагниченность, см. Намагниченность остаточная. Русафи Мааруф ибн Абд аль-Гани Русафи, ар- (1875, Багдад, — 16. Тоёкуни Утагава (1769, Эдо, ныне Токио, — 1825, там же), японский график и живописец. Шешма, река в Татарской АССР, верховья в Куйбышевской области, левый приток Камы. Батан (франц. battant), один из основных механизмов ткацкого станка, служащий для направления челнока, вводящего уток в основу ткани, и для прибоя уточины к опушке. Гидровскрышные работы, удаление вскрыши на карьерах средствами гидромеханизации. Индустриально-педагогические техникумы, готовят мастеров производственного обучения для профессионально-технических учебных заведений. Лама (озеро в Красноярском крае) Лама, озеро на северо-западе Среднесибирского плоскогорья, в Красноярском крае РСФСР. Непроизводительные расходы, потери предприятий и производственных объединений, хозяйственных организаций, учреждений, связанные с нерациональным использованием природных, материальных, трудовых и финансовых ресурсов, нарушением финансовой, расчётной и договорной дисциплины, несоблюдением установленных правил учёта и хранения материальных ценностей и денежных средств. Психоанализ (от психо... и анализ), метод психотерапии и психологическое учение, ставящее в центр внимания бессознательные психические процессы и мотивации. Сторожевой катер, небольшой боевой корабль, предназначенный для несения сторожевой и дозорной службы в прибрежных районах вблизи своих военно-морских баз.