Peter J. Cameron 저 이예찬, 신지수 역 신한출판미디어 2019.04.30
형식 논리
- 구문론: 어떠한 문자열이 논리식으로 여겨지는지?
- 정리: 어떠한 논리식이 '정리'인지 판별(다루어지는 체계 내에서 참인 진술을 나타내는 논리식)
- 의미론: 주어진 논리식이 어떠한 의미를 가지는지?
일차 논리
- 관계와 함수가 정의된 집합에 적용되는 논리구조
- 일차 논리의 구조는 집합에 기초를 둠
카테고리 이론
- 수학에서 중요한 것은 다루는 대상이 아니라 대상들 사이의 변환이라는 점에서 착안한 이론
- 집합과 사상의 개념만으로 카테고리 이론을 전개할 수 있다.
댓글 없음:
댓글 쓰기