formalizable proof
формалізована доведення
strictly formalizable
строго формалізована
not formalizable
не формалізована
fully formalizable
повністю формалізована
formalizable system
формалізована система
semiformalizable
поліформалізована
formalizable logic
формалізована логіка
the committee agreed that the proposal was formalizable into a binding contract.
Комітет згодився з тим, що пропозиція може бути формалізована у зобов'язковий договір.
we must check if these abstract concepts are formalizable within the existing framework.
Ми повинні перевірити, чи можуть ці абстрактні концепції бути формалізовані в рамках існуючої системи.
the lawyer determined that the verbal agreement was formalizable in writing.
Адвокат встановив, що усузна угода може бути формалізована письмово.
scientists discussed whether this natural phenomenon is formalizable using mathematical models.
Вчені обговорювали, чи може це природне явище бути формалізоване за допомогою математичних моделей.
the system ensures that every user request is formalizable as a distinct data object.
Система забезпечує те, що кожен запит користувача може бути формалізований як окремий об'єкт даних.
philosophers debate whether human morality is formalizable through a set of logical rules.
Філосofi ведуть дискусію, чи може людська мораль бути формалізована через набір логічних правил.
the architect explained that the design concept was formalizable into blueprints.
Архітектор пояснив, що концепція проекту може бути формалізована у креслення.
programmers need to know if the workflow is formalizable via code.
Програмісти повинні знати, чи може бути формалізована робоча процедура через код.
theoretically, every intuition is formalizable given enough data and processing power.
Теоретично, кожна інтуїція може бути формалізована, якщо мати достатньо даних і потужності обробки.
the audit requires that all informal processes be formalizable for compliance purposes.
Аудит вимагає, щоб усі неформальні процеси були формалізовані для цілей відповідності.
only strictly formalizable arguments will be accepted by the automated theorem prover.
Тільки строго формалізовані аргументи будуть прийняті автоматизованим доведенням теорем.
formalizable proof
формалізована доведення
strictly formalizable
строго формалізована
not formalizable
не формалізована
fully formalizable
повністю формалізована
formalizable system
формалізована система
semiformalizable
поліформалізована
formalizable logic
формалізована логіка
the committee agreed that the proposal was formalizable into a binding contract.
Комітет згодився з тим, що пропозиція може бути формалізована у зобов'язковий договір.
we must check if these abstract concepts are formalizable within the existing framework.
Ми повинні перевірити, чи можуть ці абстрактні концепції бути формалізовані в рамках існуючої системи.
the lawyer determined that the verbal agreement was formalizable in writing.
Адвокат встановив, що усузна угода може бути формалізована письмово.
scientists discussed whether this natural phenomenon is formalizable using mathematical models.
Вчені обговорювали, чи може це природне явище бути формалізоване за допомогою математичних моделей.
the system ensures that every user request is formalizable as a distinct data object.
Система забезпечує те, що кожен запит користувача може бути формалізований як окремий об'єкт даних.
philosophers debate whether human morality is formalizable through a set of logical rules.
Філосofi ведуть дискусію, чи може людська мораль бути формалізована через набір логічних правил.
the architect explained that the design concept was formalizable into blueprints.
Архітектор пояснив, що концепція проекту може бути формалізована у креслення.
programmers need to know if the workflow is formalizable via code.
Програмісти повинні знати, чи може бути формалізована робоча процедура через код.
theoretically, every intuition is formalizable given enough data and processing power.
Теоретично, кожна інтуїція може бути формалізована, якщо мати достатньо даних і потужності обробки.
the audit requires that all informal processes be formalizable for compliance purposes.
Аудит вимагає, щоб усі неформальні процеси були формалізовані для цілей відповідності.
only strictly formalizable arguments will be accepted by the automated theorem prover.
Тільки строго формалізовані аргументи будуть прийняті автоматизованим доведенням теорем.
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now