통합 알고리즘에 필수되지 않은 주사는?

Question

일반적인 통합 알고리즘에 대해 배우면 의 규칙을 배웠습니다

는 을 배웠습니다.

$$ g \ 컵 \ {f (a_0, ... a_k)= f (b_0, ..., b_k) \} \ 권투 g \ cup \ {a_0= b_0, ... a_k= b_k \}. $$

" $ f $ 이 주사가 아닌 경우" 나에게 밖으로 서 있었어. $ f $ 은 주사가 아니며 $ f (a_0, ... a_k) 인 계산 분기를 횡단합니다.= f (b_0, ..., b_k) \ Nowarlow \ {a_0= b_0, ..., a_k= b_k \} $ 을 사용하여 실패로 이어집니다. $ a_0, ..., a_k $ 을 $ b_0, ... b_k에 할당하는 또 다른 방법이있을 수 있습니다. $ 은 사용할 수없는 것입니다.

나는 내가 무슨 뜻인지를 보여주는 모범을 생각하고 있었다. 이것은 좋은 예가 아니지만 $ f (x, y)= x + y $ 을 고려하고, $ f (h (a), g (b))= f (g (c), h (d)) $ $ \ {h (a)= g (c), g (b)= h (d) \} $ 은 분해하여 통일에 성공하지만 대신 $ f $ ( $ f (a, b)= f (b, a) $ 이후 유효) < SPAN 클래스="수학 용기"> $ \ {a \ mapsto d, b \ mapsto c \} $

이 용지에 대해 조금 읽는 중입니다. 6 페이지에서 그들은 분해 측면에서 엄격함에 대한 아이디어를 토론하지만, 나는 그것을 이해하지 못합니다. 일반적으로 우리가 일반

Answer 1

여기 $ f $ 은 수학 함수가 아닙니다. 오히려, 그것은 함수 기호 입니다. $ f (a, b) $ 을 매개 변수 $ a, b에서 평가 한 결과를 생각하지 마십시오. $ . 오히려 상징적 인 표현의 용어로 생각하십시오. 그것은 당신이 그것을 해석하는 방식으로 해석되도록 의도되지 않는 구문체 객체입니다.

원한다면, 상징적 인 표현식의 모든 함수 기호가 주사 함수 인 것처럼 생각할 수 있습니다. 그러나 그것은 정확하지는 않습니다. 그것은 단지 상징적 인 표현에 대해 생각하는 조잡한 방법입니다.

$ f (x)= x + y $ 을 정의 할 수는 없습니다. $ f $ 은 끊임없는 함수 기호입니다. 특정 기능을 정의 할 수 없습니다. 오히려 $ f $ 은 아직 정의되지 않은 함수의 스탠드 인입니다. 그것에 대해 생각하는 한 가지 방법은 통일에서 벗어나는 결론은 모든 기능 $ F $ (단 하나뿐만 아니라 단 하나뿐만 아니라)을 보유해야한다는 결론입니다. < / P>