Terms for subject Programming containing доказательство

Russian	English
автоматизация доказательства правильности программ	automation of proofs (корпорации AdaCore Alex_Odeychuk)
автоматическое доказательство теорем	automatic theorem proving (ssn)
автоматическое доказательство теорем	theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
введение в дедуктивные доказательства	introduction to deductive proofs (ssn)
верификатор доказательства	evidence verifier (ssn)
выполнить доказательство отсутствия ошибки выхода за ограничение	prove the absence of constraint errors (корпорации AdaCore Alex_Odeychuk)
выполнить формальное доказательство отсутствия ошибок времени выполнения	prove absence of runtime errors (overflows, constraint errors, reading of uninitialized variables etc. Alex_Odeychuk)
выполнять формальное доказательство корректности и верификацию кода	perform formal proof and verification on code (корпорации AdaCore Alex_Odeychuk)
генератор доказательства	evidence generator (ssn)
дедуктивные доказательства	deductive proofs (ssn)
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение	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)
доказательства в системе естественного вывода	natural deduction system proofs (ssn)
доказательства корректности	correctness arguments (ssn)
доказательства теорем и программ	proofs of theorem and programs (ssn)
доказательство идентичности	proof of identity (ssn)
доказательство истинности основания методом обращения следствия	assertion of consequent (логическая ошибка ssn)
доказательство корректности	correctness argument (ssn)
доказательство методом "от противного"	proof by contradiction (ssn)
доказательство обратного	proving the contrary (ssn)
Доказательство полномочий	Proof-of-Authority (Brasilianboyar)
доказательство правильности	proof of correctness (ssn)
доказательство правильности в терминах инвариантов циклов	proof of correctness in terms of loop invariants (ssn)
доказательство правильности завершения	proof of termination (программы ssn)
доказательство свойств безопасности	proving safety properties (ssn)
доказательство существования	assertion (ssn)
доказательство сходимости	proof of convergence (ssn)
доказательство теорем	proving theorems (ssn)
инструмент автоматического доказательства теорем	theorem prover (Alex_Odeychuk)
исчисление предикатов и доказательство теорем	predicate calculus and proving theorems (ssn)
композиционное доказательство	compositional reasoning (ssn)
конкретное доказательство	specific evidence (ssn)
логическое доказательство	logical argument (ssn)
машинное доказательство теорем	theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
методология доказательства	proof methodology (напр., для формальной проверки (оценки) работоспособности параллельных программ ssn)
набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения	verifier and prover toolchain (Alex_Odeychuk)
наброски доказательств	proof outlines (ssn)
неопровержимое доказательство	non-repudiation evidence (ssn)
организатор доказательств	proof organizer (ssn)
оригинальная статья о социальных процессах и доказательствах теорем и программ	seminal paper on social processes and proofs of theorem and programs (ssn)
основные положения теории доказательств и теории целых чисел	basic concepts of proofs and the structure of integers (ssn)
пользователь доказательства	evidence user (ssn)
построение доказательств в системе естественного вывода	developing natural deduction system proofs (ssn)
расширители доказательств	proof expanders (ssn)
сложное логическое доказательство	complex logical argument (ssn)
способ доказательства утверждения	way of deriving the statement (ssn)
схема доказательства	schema of proof (ssn)
схема доказательства	proof outline (программа с добавленными утверждениями, достаточными для того, чтобы убедить читателя в её корректности. В полной схеме доказательства утверждение ставится до и после каждого оператора ssn)
теория доказательств и теория целых чисел	proofs and the structure of integers (ssn)
формальное доказательство корректности	formal proof of correctness (корпорации AdaCore Alex_Odeychuk)
формальное математическое доказательство	formal mathematical proof (ssn)