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 |
