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