Subject: Помогите с термином, ПЛЗ!!! То ли физика, то ли теор.мех. Помогите перевести unnested atomic formula!Вот контекст: a surjective map /r: dT(An) -> dom(£), _- such that for all unnested atomic formulas Буду очень благодарна! |
А Вы опечаток не внесли? surjective -- subjective, unnested --untested? Или автор текста? |
возможно, "невложенные атомарные формулы", но проконсультируйтесь со специалистами |
atomic formula -- формула строения, физ.хим., Англо-русский словарь по физике, 1968. Как следует из гугла, речь идет о серьезной математике. Согласен с eu_br. |
You need to be logged in to post in the forum |