로지칼씽킹

개요

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

인원

• [성훈]
• [강제순]

진행내역

• [/9_13|9월13일]
• [/9_27|9월27일] : 신규 인원 추가로 인하여, 13일 내용 복습
• [/10_4|10월4일]
• [/11_1|11월1일]
• [/11_8|11월8일]