formalizable proof
chứng minh có thể hình thức hóa
strictly formalizable
hoàn toàn có thể hình thức hóa
not formalizable
không thể hình thức hóa
fully formalizable
hoàn toàn có thể hình thức hóa
formalizable system
hệ thống có thể hình thức hóa
semiformalizable
có thể hình thức hóa một phần
formalizable logic
logic có thể hình thức hóa
the committee agreed that the proposal was formalizable into a binding contract.
Hội đồng đã đồng ý rằng đề xuất có thể được đưa vào một hợp đồng ràng buộc.
we must check if these abstract concepts are formalizable within the existing framework.
Chúng ta phải kiểm tra xem những khái niệm trừu tượng này có thể được hình thức hóa trong khung hiện tại hay không.
the lawyer determined that the verbal agreement was formalizable in writing.
Luật sư xác định rằng thỏa thuận bằng lời có thể được hình thức hóa bằng văn bản.
scientists discussed whether this natural phenomenon is formalizable using mathematical models.
Các nhà khoa học đã thảo luận xem hiện tượng tự nhiên này có thể được hình thức hóa bằng các mô hình toán học hay không.
the system ensures that every user request is formalizable as a distinct data object.
Hệ thống đảm bảo rằng mọi yêu cầu của người dùng đều có thể được hình thức hóa thành một đối tượng dữ liệu riêng biệt.
philosophers debate whether human morality is formalizable through a set of logical rules.
Các triết gia tranh luận xem đạo đức con người có thể được hình thức hóa thông qua một bộ quy tắc logic hay không.
the architect explained that the design concept was formalizable into blueprints.
Kỹ sư xây dựng giải thích rằng khái niệm thiết kế có thể được hình thức hóa thành bản vẽ kỹ thuật.
programmers need to know if the workflow is formalizable via code.
Chương trình viên cần biết liệu quy trình làm việc có thể được hình thức hóa thông qua mã hay không.
theoretically, every intuition is formalizable given enough data and processing power.
Ở cấp độ lý thuyết, mọi trực giác đều có thể được hình thức hóa nếu có đủ dữ liệu và sức mạnh xử lý.
the audit requires that all informal processes be formalizable for compliance purposes.
Kiểm toán yêu cầu tất cả các quy trình phi chính thức phải được hình thức hóa nhằm mục đích tuân thủ.
only strictly formalizable arguments will be accepted by the automated theorem prover.
Chỉ các lập luận được hình thức hóa nghiêm ngặt mới được chấp nhận bởi trình chứng minh định lý tự động.
formalizable proof
chứng minh có thể hình thức hóa
strictly formalizable
hoàn toàn có thể hình thức hóa
not formalizable
không thể hình thức hóa
fully formalizable
hoàn toàn có thể hình thức hóa
formalizable system
hệ thống có thể hình thức hóa
semiformalizable
có thể hình thức hóa một phần
formalizable logic
logic có thể hình thức hóa
the committee agreed that the proposal was formalizable into a binding contract.
Hội đồng đã đồng ý rằng đề xuất có thể được đưa vào một hợp đồng ràng buộc.
we must check if these abstract concepts are formalizable within the existing framework.
Chúng ta phải kiểm tra xem những khái niệm trừu tượng này có thể được hình thức hóa trong khung hiện tại hay không.
the lawyer determined that the verbal agreement was formalizable in writing.
Luật sư xác định rằng thỏa thuận bằng lời có thể được hình thức hóa bằng văn bản.
scientists discussed whether this natural phenomenon is formalizable using mathematical models.
Các nhà khoa học đã thảo luận xem hiện tượng tự nhiên này có thể được hình thức hóa bằng các mô hình toán học hay không.
the system ensures that every user request is formalizable as a distinct data object.
Hệ thống đảm bảo rằng mọi yêu cầu của người dùng đều có thể được hình thức hóa thành một đối tượng dữ liệu riêng biệt.
philosophers debate whether human morality is formalizable through a set of logical rules.
Các triết gia tranh luận xem đạo đức con người có thể được hình thức hóa thông qua một bộ quy tắc logic hay không.
the architect explained that the design concept was formalizable into blueprints.
Kỹ sư xây dựng giải thích rằng khái niệm thiết kế có thể được hình thức hóa thành bản vẽ kỹ thuật.
programmers need to know if the workflow is formalizable via code.
Chương trình viên cần biết liệu quy trình làm việc có thể được hình thức hóa thông qua mã hay không.
theoretically, every intuition is formalizable given enough data and processing power.
Ở cấp độ lý thuyết, mọi trực giác đều có thể được hình thức hóa nếu có đủ dữ liệu và sức mạnh xử lý.
the audit requires that all informal processes be formalizable for compliance purposes.
Kiểm toán yêu cầu tất cả các quy trình phi chính thức phải được hình thức hóa nhằm mục đích tuân thủ.
only strictly formalizable arguments will be accepted by the automated theorem prover.
Chỉ các lập luận được hình thức hóa nghiêm ngặt mới được chấp nhận bởi trình chứng minh định lý tự động.
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