DictionaryForumContacts

   English
Terms containing prove theorems | all forms | exact matches only | in specified order only
SubjectEnglishRussian
math.let us now give an idea on how to prove Theorems 2 and 3идея доказательства
phys.prove a theoremдоказать теорему
tech.prove a theoremдоказывать теорему
Makarov.prove a theoremдоказывать теорему (e. g., by contradiction; напр., способом от противного)
tech.prove a theorem by contradictionдоказывать теорему способом от противного
Makarov.prove a theorem by exhaustionдоказывать теорему перебором
progr.To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solutionдля доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)
math.prove the theoremдоказывать теорему
gen.prove the theoremдоказать теорему
math.prove Theorem 1, we show thatчтобы доказать Теорему 1, мы покажем, что ...
gen.prove theoremsдоказывать теоремы
math.this proves the theoremчто и заканчивает доказательство теоремы
math.we aim to prove the theoremмы хотим доказать теорему
math.we prove this theorem by induction on nпо индукции
math.which proves the theoremчто и требовалось доказать (The conclusion of Lemma follows directly.)