- 논리학, 특히 수리논리학 스터디
- 수리논리학/집합론 등 기초 스터디
- 목요일 오후 예정(조정 가능)
- 참고 서적 :
- mathematical logic for computer science(http://www.kyobobook.co.kr/product/detailViewEng.laf?ejkGb=BNT&mallGb=ENG&barcode=9781447141280&orderClick=LAG&Kc=)
- 수리논리와 집합론 입문(http://www.kyobobook.co.kr/product/detailViewKor.laf?ejkGb=KOR&mallGb=KOR&barcode=9788961055499&orderClick=LAG&Kc=)
- 계산가능성과 논리 : 수리논리학 입문(https://library.cau.ac.kr/#/search/detail/148744)