8 처지: 모형 이론, 대수 구조, 튜플, 자연수, 정수, 집합, 함수, 1차 논리.
모형 이론
수리논리학에서 모형 이론(模型理論)은 수리논리학적 도구들을 이용해 추상대수학이나 집합론의 모형을 이루는 수학적 구조를 연구하는 분야이.
새로운!!: 구조 (논리학)와 모형 이론 · 더보기 »
대수 구조
상대수학에서, 대수 구조(代數構造)는 일련의 연산들이 주어진 집합이.
새로운!!: 구조 (논리학)와 대수 구조 · 더보기 »
튜플
(tuple)은 유한 개의 사물의 순서있는 열거이.
새로운!!: 구조 (논리학)와 튜플 · 더보기 »
자연수
수학에서, 자연수(自然數)는 수를 셀 때나 순서를 매길 때 사용되는 수이.
새로운!!: 구조 (논리학)와 자연수 · 더보기 »
정수
정수들의 집합은 순서에 따라 직선 위에 나타낼 수 있다. 수학에서, 정수(整數)는 양의 정수(1, 2, 3,...) 및 음의 정수(-1, -2, -3,...) 및 0으로 이루어진 수 체계이.
새로운!!: 구조 (논리학)와 정수 · 더보기 »
집합
9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.
새로운!!: 구조 (논리학)와 집합 · 더보기 »
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
새로운!!: 구조 (논리학)와 함수 · 더보기 »
1차 논리
1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.
새로운!!: 구조 (논리학)와 1차 논리 · 더보기 »