boolos computability and logic(fifth) ch.12 solution

학문/수리논리학 2020. 3. 2. 20:10

chapter 12의 #1~#7까지의 솔루션입니다. 27문제이고 다 풀긴했지만 일일이 다 타이핑하는 게 어렵네요; 학부 세미나에서 12~13장 발제를 맡았고, 12~13장의 솔루션을 모두 TeX로 옮겨볼까했는데 무리라는 걸 깨달았습니다.. 시간이 장난 아니게 많이 드네요. 그냥 칠판에 나머지는 쓰고, 이왕 만들었으니 만든 건 올려둡니다.

chapter12.pdf

0.03MB

저작자표시

'학문 > 수리논리학' 카테고리의 다른 글

history of computability (0)	2020.03.02
Incompleteness(1)-preliminary definitions (2)	2015.06.17
괴델의 불완전성 정리 다음주에 시작합니다 (3)	2015.06.10
lowenheim-skolem theorem (1)	2015.02.18
FOL(8) - completeness theorem (1)	2015.02.15