KAML
정기 강좌

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

2022년 2학기

2022년 1학기

  • 집합론 (연세대 수학과 학부): 공리적 집합론의 기초를 배우고 기수, 서수연산을 익힘
    김병한 교수 / 화요일 10시 ~ 12시, 목요일 10시 ~ 12시 / 연세대 과학관 B103호(Zoom online meeting)

  • 모델론2 (연세대 수학과 대학원): 모델론의 연구 주제들. stability theory, simplicity theory, 그리고 일반적인 classification theory
    김병한 교수 / 화요일 12시 ~ 13시, 목요일 11시 ~ 13시 / 연세대 과학관 225호(Zoom online meeting)

2021년 2학기

  • 수리논리 (연세대 수학과 학부): 명제논리와 1차술어논리에 대한 기초.괴델의 불완전성 정리, 튜링기계, 진리, 모델, 증명에 대한 소개
    김병한 교수 / 화요일 10시 ~ 12시, 목요일 10시 ~ 12시 / Zoom online meeting

  • 모델론 I (연세대 수학과 대학원): 모델론의 기초에 대한 소개
    김병한 교수 / 화요일 12시 ~ 13시, 목요일 11시 ~ 13시 / Zoom online meeting

2021년 1학기

  • 집합론 (연세대 수학과 학부): 공리적 집합론의 기초를 배우고 기수, 서수연산을 익힘
    김병한 교수 / 화요일 10시 ~ 12시, 목요일 10시 ~ 12시 / Zoom online meeting

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

2020년 2학기

  • 수리논리 (연세대 수학과 학부): 명제논리와 1차술어논리에 대한 기초.괴델의 불완전성 정리, 튜링기계, 진리, 모델, 증명에 대한 소개
    김병한 교수 / 화요일 10시 ~ 12시, 목요일 10시 ~ 12시 / Zoom online meeting

  • 집합론 I (연세대 수학과 대학원): 강제법(forcing)을 이용한 연속체 가설의 증명 학습
    김병한 교수 / 화요일 12시 ~ 13시, 목요일 11시 ~ 13시 / 연세대 과학관 B101호(Zoom online meeting)

2020년 1학기

  • 집합론 (연세대 수학과 학부): 공리적 집합론의 기초를 배우고 기수, 서수연산을 익힘
    김병한 교수 / 월요일 11시 ~ 13시, 수요일 11시 ~ 13시 / 연세대 과학관 227호(Zoom online meeting)

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

2019년 2학기

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

  • 모델론 I (연세대 수학과 대학원): 모델론의 기초에 대한 소개
    김병한 교수 / 화요일 12시 ~ 13시, 목요일 11시 ~ 13시 / 연세대 과학원 321호

2019년 1학기

2018년 1학기

2017년 2학기

2017년 1학기

  • 집합론 (연세대 수학과 학부): 공리적 집합론의 기초를 배우고 기수, 서수연산을 익힘
    김선영 박사 / 화요일 16시 ~ 18시, 목요일 15시 ~ 16시, 18시 ~ 19시 / 연세대 과학관 B103호

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

2016년 2학기

2016년 1학기

  • 집합론 (연세대 수학과 학부): 공리적 집합론의 기초 및 기수, 서수연산을 익힘
    김병한 교수 / 화요일 11시 ~ 13시, 목요일 11시 ~ 13시 / 연세대 과학관 B102호

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

  • 논리학특강 IV (연세대 수학과 대학원): Introduction to stability theory and some generalizations such as the NIP theory
    Dr. Jan Dobrowolski / 금요일 14시 ~ 17시 / 연세대 과학관 262호

2015년 2학기

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

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

2015년 1학기

  • 집합론 (연세대 수학과 학부): 공리적 집합론의 기초를 배우고 기수, 서수연산을 익힘
    김병한 교수 / 화요일 11시 ~ 13시, 목요일 11시 ~ 13시 / 연세대 과학관 B101호

  • 집합론 I (연세대 수학과 대학원): 강제법(forcing)을 이용한 연속체 가설의 증명 학습
    김병한 교수 / 화요일 10시 ~ 11시, 목요일 10시 ~ 12시 / 연세대 과학관 225호

  • 논리학특강 II (연세대 수학과 대학원): 파이썬 프로그래밍 언어를 이용한 수치계산,수학적 모델링 관련 프로그래밍 기법 학습(강의자료는 여기)
    이계식 교수 / 금요일 14시 ~ 17시 / 연세대 과학관 225호

2014년 2학기

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

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

2014년 1학기