открытие как непредвиденный, незапланированный и не являющийся непосредственной целью ученого, а значит, и неожиданный для него результат.
В статье рассматриваются возможности применения теории поиска доказательства при решении творческих задач. Анализируются идеи, высказанные в работах В.А. Смирнова и Б.Грязнова. Обосновывается новая интерпретация неожиданных следствий (поризмов) теории доказательств Гильберта, возникающих при построении доказательства снизу вверх в секвенциальных логических исчислениях. Особое внимание обращается на свойство подформульности и его интерпретацию в области автоматического поиска доказательств.
транспортное средство, предназначенное для транспортировки и распределения горячих и холодных органических вяжущих материалов (при строительстве, ремонте и содержании автомобильных дорог), а также материалов для поверхностной обработки, пропитки, гидроизоляции фундаментов, водопропускных труб и кровли зданий. Изготавливаются как на шасси грузовых автомобилей (КАМАЗ, МАЗ, ЗИЛ), так и на шасси прицепов и полуприцепов.
изогнутые сложные прямые или волнообразные линии орнамента. Выполняется как живописный или лепной орнамент в убранстве здания.
земное основание мировой и вселенской оси, которое в будущем должно представить на земле всемироздание.
