단순히 해당 정의를 따르는지 물어보는거
임의의 구조체에 대해서 묻는 것 같은데요. - 훈다리 훈다리
그러니까 임의의 대상이 well defined
빡머가리라서 제가 특정한 구조체 A와 특정한 동등관계 ~에 대하여 상구조체 A / ~가 잘 정의되는지를 묻는다고 오해하고 계신 줄 알았습니다. 죄송합니다.
해당 댓글은 삭제되었습니다.
사진 올렸습니다 - 훈다리 훈다리
대상영역 A / ~에서 모든 n항 술어 기호의 해석이 n항 관계이고 모든 n항 함수 기호의 해석이 n항 연산임을 보이면 되나요? - 훈다리 훈다리
처음 볼 때 "어쩌라는 거지?"라는 생각이 들어서 올렸어요. 이제 알 것 같네요. 생각 안 하고 물어봐서 죄송합니다. - 훈다리 훈다리
본문에서는 상구조체를 정의했고 앞에 L-구조체의 정의가 있을테니까 상구조체가 L-구조체임을 보이면 되겠네 - dc App
감사합니다.
굳이 저책 보는 이유가 있음? 나도 저책 본적 있는데 좀 읽기 불편하더라 - dc App
영어 못해서요 ㅠㅠ
단순히 해당 정의를 따르는지 물어보는거
임의의 구조체에 대해서 묻는 것 같은데요. - 훈다리 훈다리
그러니까 임의의 대상이 well defined
빡머가리라서 제가 특정한 구조체 A와 특정한 동등관계 ~에 대하여 상구조체 A / ~가 잘 정의되는지를 묻는다고 오해하고 계신 줄 알았습니다. 죄송합니다.
해당 댓글은 삭제되었습니다.
사진 올렸습니다 - 훈다리 훈다리
대상영역 A / ~에서 모든 n항 술어 기호의 해석이 n항 관계이고 모든 n항 함수 기호의 해석이 n항 연산임을 보이면 되나요? - 훈다리 훈다리
처음 볼 때 "어쩌라는 거지?"라는 생각이 들어서 올렸어요. 이제 알 것 같네요. 생각 안 하고 물어봐서 죄송합니다. - 훈다리 훈다리
본문에서는 상구조체를 정의했고 앞에 L-구조체의 정의가 있을테니까 상구조체가 L-구조체임을 보이면 되겠네 - dc App
감사합니다.
굳이 저책 보는 이유가 있음? 나도 저책 본적 있는데 좀 읽기 불편하더라 - dc App
영어 못해서요 ㅠㅠ