2차 논리 oor Engels

2차 논리

Vertalings in die woordeboek Koreaans - Engels

second-order logic

naamwoord

extension of first-order logic, which itself is an extension of propositional logic

voorbeelde

알프레트 타르스키는 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.

트로츠키의 과거 협력자 빅터 서지와 중국 트로츠키주의 건설자 진독수[Chen Duxiu]는 2차 세계대전에서 "연합국" 제국주의자들의 캠프 속으로라는 그들의 절망의 논리를 따랐다.
Trotsky's former collaborator Victor Serge and the founding Chinese Trotskyist, Chen Duxiu, followed the logic of their despair into the camp of the "Allied" imperialists in WW II.