설명
기호논리, 명제 및 술어 연산, 집합론 및 모형론, 완전성.
선수 과목
- 선수과목: MATH 2100 또는 학부 허가.
조건 및 세부사항
- 선수과목: MATH 2100 또는 학부 허가.
- 주당 강의 3시간.
원문 참조 텍스트
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
- Prerequisite(s): MATH 2100 or permission of the School.
- Lectures three hours a week.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/undergrad/courses/MATH/