(불러오기) (편집 필터 규칙) [[분류:가져온 문서/오메가]] 모형 이론에서 구조(Structure)란 어떤 집합 위에 함수, 관계, 상수 등을 부여한 것을 말한다. 직관적으로 말하자면, 어느 부호가 주어졌을 때 그 부호를 갖는 구조는 주어진 부호를 '실현하는 세계'라고 볼 수 있다. == 정의 == 구조 [math(\mathfrak{A})]는 삼중쌍 [math((|\mathfrak{A}|,\sigma,I))]으로 이뤄진다. 이 때 [math(|\mathfrak{A}|)]는 논의 영역(domain of discourse), [math(\sigma)]는 부호(signature), [math(I)]는 해석 함수(interpretation function)라 한다. === 논의 영역 === 논의 영역(Domain), 혹은 기반 집합(Underlying set)은 구조가 기반으로 하고 있는 집합을 가리킨다. 양화사 기호의 논의 범위는 논의 영역으로 한정되며, 논의 영역은 [math(|\mathfrak{A}|)]와 같이 나타낸다. === 부호 === 부호(signature)는 관계 기호, 함수 기호, 상수 기호, 그리고 각 기호들의 자릿수 함수(arity)로 이루어져 있다. === 해석 함수 === 해석 함수는 부호들의 실제적인 의미를 부여해주는 함수이다. [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://archive.ph/87FON|링크]])] (임시 저장) (임시 저장 불러오기)기본값모나코 에디터 normalnamumarknamumark_betamacromarkmarkdowncustomraw (↪️) (💎) (🛠️) (추가) [[분류:가져온 문서/오메가]] 모형 이론에서 구조(Structure)란 어떤 집합 위에 함수, 관계, 상수 등을 부여한 것을 말한다. 직관적으로 말하자면, 어느 부호가 주어졌을 때 그 부호를 갖는 구조는 주어진 부호를 '실현하는 세계'라고 볼 수 있다. == 정의 == 구조 [math(\mathfrak{A})]는 삼중쌍 [math((|\mathfrak{A}|,\sigma,I))]으로 이뤄진다. 이 때 [math(|\mathfrak{A}|)]는 논의 영역(domain of discourse), [math(\sigma)]는 부호(signature), [math(I)]는 해석 함수(interpretation function)라 한다. === 논의 영역 === 논의 영역(Domain), 혹은 기반 집합(Underlying set)은 구조가 기반으로 하고 있는 집합을 가리킨다. 양화사 기호의 논의 범위는 논의 영역으로 한정되며, 논의 영역은 [math(|\mathfrak{A}|)]와 같이 나타낸다. === 부호 === 부호(signature)는 관계 기호, 함수 기호, 상수 기호, 그리고 각 기호들의 자릿수 함수(arity)로 이루어져 있다. === 해석 함수 === 해석 함수는 부호들의 실제적인 의미를 부여해주는 함수이다. [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://archive.ph/87FON|링크]])] 비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다. 편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이 CC BY 4.0에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다. 전송 미리보기
