基本逻辑理论证明程序 — это китайское слово, которое переводится на русский язык как: программа для доказательства элементарных логических теорий.
Интерактивная пропись и проверка правильности начертания
I (сущ.)1) фундамент, базис, цоколь, порог (двери); основание, основа; база; основной, фундаментальный; кардинальный[*]墙基 основание (подножие) стены[/*]2) * начало, исток; основание, первопричина[*]福生有基 счастье всегда обусловлено причинами[/*]3) * функция, назначение; призвание[*]物失其基 вещи теряют свое назначение[/*]4) (вм.) 稘 (круглый срок, напр. год, месяц)5) хим. радикал; группа[*]酸基 кислотный радикал[/*][*]氨基 амидная группа[/*]6) (жарг.) гейII (гл.)1) (часто с предлогом 于) основываться \[на\], базироваться \[на\]; на основании чего-л.)[*]基于此 базироваться на этом; на этом основании[/*][*]基此理由 на этом основании, по этой причине[/*]2) закладывать основу (базис); обосновывать, аргументировать, строить план, делать \[первоначальный\] расчётIII (собств.)1) Цзи (фамилия)2) Ки (английская фамилия)
сульфгидрильная группа; SH- группа
карбонил железа, карбонильное железо
аминокислота
ацетил
регистры "база-граница"