| English | Russian |
| automation of proofs | автоматизация доказательства правильности программ (корпорации AdaCore Alex_Odeychuk) |
| basic concepts of proofs and the structure of integers | основные положения теории доказательств и теории целых чисел (ssn) |
| compilation/proof processes | процесс компиляции с доказыванием формальной корректности кода (Alex_Odeychuk) |
| deductive proofs | дедуктивные доказательства (ssn) |
| developing natural deduction system proofs | построение доказательств в системе естественного вывода (ssn) |
| digital color proof | цифровой цветовой тест (ssn) |
| do a proof of type safety | выполнить проверку на типобезопасность (корпорации AdaCore Alex_Odeychuk) |
| formal mathematical proof | формальное математическое доказательство (ssn) |
| formal proof of correctness | формальное доказательство корректности (корпорации AdaCore Alex_Odeychuk) |
| future-proof architecture | современная архитектура (ssn) |
| future proof architecture | современная архитектура (ssn) |
| hard copy proof rather than a digital copy | твёрдая, а не цифровая копия корректуры (ssn) |
| introduction to deductive proofs | введение в дедуктивные доказательства (ssn) |
| it is one of the weaknesses of pictures that proofs of such an equality are difficult to conduct pictorially | Одна из слабостей графического представления, однако, состоит в том, что доказать такое равенство графически очень трудно (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
| justifying assume-guarantee proofs | обоснование по схеме "допущение-подтверждение" (ssn) |
| natural deduction system proofs | доказательства в системе естественного вывода (ssn) |
| non-repudiation with proof of delivery | неопровержение с проверкой доставки (ssn) |
| non-repudiation with proof of origin | неопровержение с проверкой происхождения (ssn) |
| perform formal proof and verification on code | выполнять формальное доказательство корректности и верификацию кода (корпорации AdaCore Alex_Odeychuk) |
| proof by contradiction | доказательство методом "от противного" (ssn) |
| proof expanders | расширители доказательств (ssn) |
| proof methodology | методология доказательства (напр., для формальной проверки (оценки) работоспособности параллельных программ ssn) |
| proof of concept | подтверждение концепции (ssn) |
| proof of convergence | доказательство сходимости (ssn) |
| proof of correctness | доказательство правильности (ssn) |
| proof of correctness in terms of loop invariants | доказательство правильности в терминах инвариантов циклов (ssn) |
| proof of delivery | проверка доставки (ssn) |
| proof of identity | доказательство идентичности (ssn) |
| proof of origin | проверка происхождения (ssn) |
| proof of termination | доказательство правильности завершения (программы ssn) |
| Proof-of-Authority | Доказательство полномочий (Brasilianboyar) |
| proof-of-concept | внутренний исследовательский проект (Alex_Odeychuk) |
| proof-of-concept testing | доказательное тестирование (повторное выполнение нагрузочных тестов после анализа и настройки приложения и сравнение новых результатов с предыдущими EGK) |
| proof organizer | организатор доказательств (ssn) |
| proof outline | схема доказательства (программа с добавленными утверждениями, достаточными для того, чтобы убедить читателя в её корректности. В полной схеме доказательства утверждение ставится до и после каждого оператора ssn) |
| proof outlines | наброски доказательств (ssn) |
| proof sequence | последовательность доказывания фактов (в языке программирования Prolog Alex_Odeychuk) |
| proof test | контрольная проверка (периодическая проверка, выполняемая для того, чтобы обнаружить отказы в системе, связанной с безопасностью, с тем, чтобы при необходимости система могла быть восстановлена настолько близко к "исходному" состоянию, насколько это возможно в данных условиях. См. IEC 61508-4 и ГОСТ Р МЭК 61508-4-2007 ssn) |
| proofs and subproofs | выводы и подвыводы (ssn) |
| proofs and the structure of integers | теория доказательств и теория целых чисел (ssn) |
| proofs of theorem and programs | доказательства теорем и программ (ssn) |
| provide rigor and proof | обеспечивать строгость и доказательность (ssn) |
| Read a step in a use case and ask the question, "Well, what happens, if the client wants a hard copy proof rather than a digital copy?" | Прочитайте шаг в варианте использования и задайтесь вопросом, что происходит, когда клиент предпочитает твёрдую, а не цифровую копию корректуры (см. Writing Effective Use Cases by Alistair Cockburn 2001 ssn) |
| Read a step in a use case and ask the question, Well, what happens, if the client wants a hard copy proof rather than a digital copy? | Прочитайте шаг в варианте использования и задайтесь вопросом, что происходит, когда клиент предпочитает твёрдую, а не цифровую копию корректуры (см. Writing Effective Use Cases by Alistair Cockburn 2001 ssn) |
| schema of proof | схема доказательства (ssn) |
| seminal paper on social processes and proofs of theorem and programs | оригинальная статья о социальных процессах и доказательствах теорем и программ (ssn) |
| termination proof | проверка завершаемости программ (Alex_Odeychuk) |
| with formal proof via | с формальной верификацией кода с помощью (корпорации AdaCore Alex_Odeychuk) |
