Terms containing proving theorems

Subject	English	Russian
AI.	automated geometric theorem proving	автоматическое доказательство теорем геометрии (Alex_Odeychuk)
AI.	automated theorem proving	автоматическое доказательство теорем (Alex_Odeychuk)
AI.	automated theorem proving system	система автоматического доказательства теорем (Alex_Odeychuk)
progr.	automatic theorem proving	автоматическое доказательство теорем (ssn)
IT	computer theorem proving	машинное доказательство теорем
math.	in proving theorem 1, we showed first that	при доказательстве
math.	in proving this theorem one considers a family g (x, i) of admissible curves of the form	при доказательстве данной теоремы ...
AI.	interactive theorem proving	интерактивное доказательство теорем (Alex_Odeychuk)
math.	let us now give an idea on how to prove Theorems 2 and 3	идея доказательства
progr.	predicate calculus and proving theorems	исчисление предикатов и доказательство теорем (ssn)
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	доказывать теоремы
progr.	proving theorems	доказательство теорем (ssn)
IT	resolution theorem proving	доказательство теорем методом резолюции
math.	she succeeded in proving the theorem	ей удалось доказать теорему
mech.	the theorem provides a new method for proving some fundamental facts about	эта теорема даёт новый метод доказательства некоторых фундаментальных фактов о ...
oil	theorem proving	доказательство теорем
progr.	theorem proving	машинное доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
progr.	theorem proving	автоматическое доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
AI.	theorem proving	доказывание теорем (Alex_Odeychuk)
comp.	theorem proving	доказательство теоремы
AI.	theorem proving language	язык программирования на основе автоматического доказательства теорем (Alex_Odeychuk)
AI.	theorem proving methodology	методология автоматического доказательства теорем (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk)
IT	theorem proving program	программа для построения доказательств
IT	theorem proving programme	программа для построения доказательств
math.	theorem-proving heuristics	эвристика доказательства теоремы
math.	theorem-proving process	процесс доказательства теоремы
math.	theorem-proving system	система доказательства теоремы
math.	this proves the theorem	что и заканчивает доказательство теоремы
math.	we aim to prove the theorem	мы хотим доказать теорему
math.	we prove this theorem by induction on n	по индукции
math.	we succeeded in proving the theorem	нам удалось доказать теорему
math.	which proves the theorem	что и требовалось доказать (The conclusion of Lemma follows directly.)