수학적 논리와의 첫 만남으로 감각 논리를 공부하십시오. 여기에는 진리표와 기호 논리에서 "and," "or"및 "not"의 사용이 포함됩니다. 이 수준의 연구에는 언어에 "모두를 위해"및 "존재한다"와 같은 수량자를 추가하는 1 차 논리도 포함되어야합니다.
상징적 조작에 대한 연구 인 증명 이론을 계속 진행하십시오. 이를 위해서는 일련의 기호와 구문으로 구성된 공식 언어가 필요합니다. 이러한 요소는 해당 언어의 이론에 대한 공리를 만드는 데 사용되는 공식으로 구성됩니다.
일련의 공리를 충족시킬 구조를 설명하는 1 차 모델 이론으로 진행합니다. 논리 공식은 주어진 구조에 정의 될 수있는 집합을 결정하는 데 사용됩니다.
집합 이론 연구를 시작하십시오. 여기에는 "집합"이 모호한 개념임을 보여주는 매우 큰 무한 집합이 포함되어야합니다.
다음으로 재귀 이론을 들어보십시오. 이 필드는 한정된 수의 단계에서 해당 집합에 대해 계산할 수있는 항목을 결정하여 주어진 집합의 구성원에 대한 연구입니다. 재귀 이론에는 학위 구조, 환원성 및 상대적 계산 가능성에 대한 아이디어와 같은 개념이 포함됩니다.
이 기사는 독자들이 최상의 정보만을받을 수 있도록 전문 작가가 작성하고, 사본을 편집하고, 다 지점 감사 시스템을 통해 사실을 확인했습니다. 질문이나 아이디어를 제출하거나 자세히 알아 보려면 아래 링크를 참조하십시오.