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.
철학자들은 인간의 도덕이 논리 규칙의 집합을 통해 형식화될 수 있는지 논쟁한다.
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.
철학자들은 인간의 도덕이 논리 규칙의 집합을 통해 형식화될 수 있는지 논쟁한다.
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