Автоматическая система управления горелкой
система, которая содержит программный блок и все элементы детектора пламени. Все детали автоматической системы управления горелкой могут быть собраны в одном или нескольких корпусах.
Поризм
Предмет
Архитектура и строительство
👍 Проверено
Автор24
открытие как непредвиденный, незапланированный и не являющийся непосредственной целью ученого, а значит, и неожиданный для него результат.
Научные статьи на тему «Поризм»
Логика и процедуры поиска вывода
В статье рассматриваются возможности применения теории поиска доказательства при решении творческих задач. Анализируются идеи, высказанные в работах В.А. Смирнова и Б.Грязнова. Обосновывается новая интерпретация неожиданных следствий (поризмов) теории доказательств Гильберта, возникающих при построении доказательства снизу вверх в секвенциальных логических исчислениях. Особое внимание обращается на свойство подформульности и его интерпретацию в области автоматического поиска доказательств.
Creative Commons
Научный журнал
Еще термины по предмету «Архитектура и строительство»
Алагрек
изогнутые сложные прямые или волнообразные линии орнамента. Выполняется как живописный или лепной орнамент в убранстве здания.
Архитектурная композиция
целостная система архитектурных форм, отвечающих художественным, функциональным и конструктивно-технологическим требованиям.
- Понятие «Мультивалентность» новых знаний
- Аварийное состояние здания
- Аварийный запас воды в резервуаре
- Автобитумовоз
- Автоматический водопитатель
- Автоматический пожарный извещатель
- Аллеи
- Алтарный камень
- Альпинарий
- Амвон
- Житница
- Леса
- Подволока
- Подзоры
- Посом
- Ретрашемент
- Рундук
- Фальц
- Фундаментальные понятия
- Шильпашастра
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек