形式验证 (xíngshì yànzhèng) — это китайское слово, которое переводится на русский язык как: (комп.) формальная верификация, формальное доказательство.
Часть речи: комп..
Интерактивная пропись и проверка правильности начертания
I (сущ.)1) форма, вид, облик, образ; изображение, картина; (мат.) фигура[*]形似长蛇 формой напоминать змею[/*][*]圆形 круглой формы[/*][*]方形 квадратной формы[/*][*]几何形 геометрическая фигура[/*]2) тело, плоть[*]形者生之舍也 тело — вместилище жизни[/*]3) рельеф[*]地形 рельеф местности[/*]4) модель, форма (напр. для литья)[*]随器而制形 по \[готовому\] изделию сделать форму[/*]5) * котёл, горшок[*]土形 глиняный горшок[/*]II (гл.) А1) принимать \[правильную\] форму; оформляться, складываться, иметь вид[*]天地未形 небо и земля ещё не приняли формы (ещё не сложились)[/*]2) проявляться, выражаться; проступать[*]喜形于色 радость проявляется на лице[/*] (гл.) Б1) сравнивать, сопоставлять[*]相形之下 ниже сравнения[/*][*]相形见绌 при сравнении обнаружить нехватку[/*]2) описывать; изображать; воплощать[*]难以形于笔墨 трудно описать кистью и тушью (пером)[/*]III (словообр.) в сложных словах соответствует русскому: -видный[*]梯形 трапециевидный[/*][*]镰形 серповидный[/*][*]箭头形 стреловидный[/*]-----1) * видеть[*]天地形之 небо и земля видят это[/*]2) * (вм.) 刑 (казнить, наказывать)3) (перед сказуемым) по видимому, по видимости, как видно[*]周君形不好小利 государь Чжоу, по видимому, не преследует мелочных выгод[/*]
полоса
сглажённая гора
двугубый
колесо-звёздочка
сферическая оболочка