설명
수리논리학의 기초 대학원 과정. 명제 및 술어 논리, 증명 이론, Gentzen의 절단 제거(Cut-Elimination), 완비성, 콤팩트성, Henkin 모형, 모델 이론, 산술과 결정 불가능성. 강의자 및 수강생의 관심사에 따라 여유가 있으면 특수 주제들.
원문 참조 텍스트
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/grad/courses/MATH/