로지칼씽킹

개요

• 논리학, 특히 수리논리학 스터디
• 수리논리학/집합론 등 기초 스터디
• 목요일 오후 예정(조정 가능)
• 참고 서적 :
  • mathematical logic for computer science
  • 수리논리와 집합론 입문
  • 계산가능성과 논리 : 수리논리학 입문

인원

• 성훈
• 강제순

진행내역

• 9월13일
• 9월27일 : 신규 인원 추가로 인하여, 13일 내용 복습
• 10월4일
• 11월1일
• 11월8일