1차 논리 oor Engels

1차 논리

Vertalings in die woordeboek Koreaans - Engels

first-order logic

naamwoord

collection of formal systems used in mathematics, philosophy, linguistics, and computer science

voorbeelde

Alex Wilkie는 전형적인 해석함수를 제공함으로써 초월에 대한 1차 논리 증명이 존재하지 않는 초월 함수가 있음을 증명했다.
Alex Wilkie also proved that there exist transcendental functions for which first-order-logic proofs about their transcendence do not exist by providing an exemplary analytic function.

알프레트 타르스키는 1945년 경에 계수가 2 이상인 자유군의 1차 논리 이론은 모두 동형이며, 이는 결정 가능 이론이라고 추측하였다.
Around 1945, Alfred Tarski asked whether the free groups on two or more generators have the same first order theory, and whether this theory is decidable.

논리적으로 볼 때 바울은 바로 1차 선교 여행을 마치고 나서 그들에게 보고하면서 그렇게 하였을 것이다.
This he would logically do in reporting to them after his very first missionary tour.