[일반] 구조체에 대한 폐포연산 S에 관한 질문.

[기괴공학도(mecheng98)]

L-구조체들의 클래스 A에 대하여

S(A) := { A | (∃B∈A) (∃B') ((A ≤ B') ∧ (B ~= B')) }

인데 (B ~= B')의 의도를 모르겠어요.

[기괴공학도(mecheng98)]

부분순서의 전순서화?

[ExHentai.org(nsa15464)]

음..저책 뭔가 일반적인 집합론 커리가 아닌것같은데 다른분야로 나갈 사람들이 보는책인가 - dc App

[기괴공학도(mecheng98)]

댓글 감사합니다. 그런데 왜 대답을 안 해줄까요? ㅠㅠ

[ExHentai.org(nsa15464)]

난 집합론을 다른 책으로 해서 저게 뭔말인지 모름. 오랫만에 정주희책 꺼내서 뒷부분 읽어봤는데(난 예전에 앞부분 좀 보고 덮음) 뭔가..집합론을 수리논리적 관점에서 쓴 것 같다는 생각이 드네..ㅋㅋ 수리논리가 변태적이라는 말을 들어본적이 있는데 이거보니 뭔소린지 알거같애 - dc App

[기괴공학도(mecheng98)]

그렇군요. 역시 독학은 힘들어 ㅠㅠ.

[ExHentai.org(nsa15464)]

순수수학 한다면 차라리 jech intro 책이 낫겠는데 너가 순수수학쪽이 아니고 프로그래밍이나 공학쪽 전공자인듯 하니 이게 나을 것 같기도 하고 음... 어쨋든 고생하면 그만큼의 성과가 있겠지 - dc App

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[기괴공학도(mecheng98)]

L-구조체는 1계언어 L에 대한 구조체이에요. - 훈다리 훈다리

[기괴공학도(mecheng98)]

그리고 순서는 부분구조체의 관계예요 - 훈다리 훈다리

[기괴공학도(mecheng98)]

그러니까 구조체 클래스 "A"의 각 원소 B의 임의의 동형 B'의 모든 부분 구조체 A들의 클래스가 S("A")예요. 단, "이태릭체". - 훈다리 훈다리

[기괴공학도(mecheng98)]

네 동형 구조체 사이의 관계입니다 - 훈다리 훈다리

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[기괴공학도(mecheng98)]

S는 "s"ubstructure를 나타내는 것 같은데요. 동등폐포를 구하는 건 아닌 거 같아요. - 훈다리 훈다리

[기괴공학도(mecheng98)]

순서폐포!! 맞다. - 훈다리 훈다리

[기괴공학도(mecheng98)]

그제 공부한 걸 까먹는 멍청이에게 가르침을 주셔서 감사합니다. - 훈다리 훈다리