KAML
정기 강좌

수리논리학과 관련된 정기강좌에 대한 정보를 제공하고 있습니다. 목록에 추가하고자 하는 강좌가 있으면 운영자에게 연락 바랍니다.

2016년 2학기

2016년 1학기

2015년 2학기

  • 수리논리 (연세대 수학과과 학부): 명제논리와 1차술어논리에 대한 기초.괴델의 불완전성 정리, 튜링기계, 진리, 모델, 증명에 대한 소개
    김병한 교수 / 수요일 11 ~ 13시, 금요일 11 ~ 13시 / 연세대 과학관 B131호

  • 모델론 II (연세대 수학과 대학원): Simple Theory에 대해 소개하고 일반적 성질을익힘
    김병한 교수 / 수요일 10 ~ 11시, 금요일 10 ~ 12시 / 연세대 과학관 219호

2015년 1학기

2014년 2학기

  • 수리논리 (연세대 수학과) : 명제논리와 1차술어논리에 대한 기초. 괴델의불완전성 정리, 튜링기계, 진리, 모델, 증명에 대한 소개
    김병한 교수 / 월요일 11 ~ 13시, 수요일 11 ~ 13시 / 연세대 과학관 227호

  • 모델론 I (연세대 수학과 대학원): 모델론의 기초에 대한 소개
    김병한 교수 / 월요일 10 ~ 11시, 수요일 10 ~ 12시 / 연세대 과학관 225호, 과학관 B118호

2014년 1학기