계산가능성과 논리

• 2005년 1학기
• 정식교과목명 : 심리철학과 인지과학 연구
• 담당교수 : 박정일
• 교재 : 조지 블로스, 리차드 제프리 지음, 김영정, 최훈, 강진호 옮김, 계산가능성과 논리: 수리논리학 입문, 문예출판사, 1996.
• 강의계획서 : media:계산가능성과 논리 강의계획서.pdf
• 4번째 강의노트 : media:계산가능성과 논리 4번째 강의노트.pdf
• media:계산가능성과 논리 7장 연습문제 풀이.pdf