PL
congruence
- 일관성
- 닮음
- 나란함
댓글 3개
허
허기홍·나란함·5일 전
나란함을 제안해요.
허
허기홍·닮음·8일 전
중고등학교 수학에서 모양이 같지만 크기가 다른 도형을 "닮음"(similarity), 크기까지 똑같은 도형을 "합동"(congruence)이라고 하는데요. 의미구조에서 congruence 는 오히려 합동이 아니라 기하학의 닮음과 같은 개념으로 느껴지네요.
e1 -> e1'
-----------------
e1 e2 -> e1' e2
위의 전이와 아래 전이가 완전히 "크기"가 같은건 아니지만 모양이 닮아있으므로.
허
허기홍·일관성·9일 전
의미구조를 정의할 때, e1 -> e1' 이면 (e1 e2) -> (e1' e2) 와 같이 부분의 계산에 따라 전체 계산 결과가 일관되게 바뀌는 성질입니다. 영어로는 congruence (합동, 일치)라고 하는데, 바로 와닿지가 않아서 제안합니다.