이병덕 교수님의 논리적 추론과 증명이라는 교재를 보고 있는 중입니다.
이 다음으로 볼만한 교재를 알려주시면 감사하겠습니다.
네이버에서 어떤 블로그유저님께서 올린 글을 보고 도서관에가서 여러 교재들을 살펴봤는데, 더 혼란 스럽더군요.
shawn hedman, enderton등등의 교재를 살펴봤는데, 어느교재가 적합할지 잘 모르겠네요.
현재까지 배운 수학과목은 선형대수, 해석학, 수리통계 정도를 수강한 정도인데요.
논리적 추론과 증명 다음에, 수리논리교재를 보기보다 집합론 교재를 먼저 보는게 좋을까요??
선형대수, 해석학 정도 하셨다면 아마 부록으로 나와있는 집합론 기본적인 내용들은 다 숙지하셨을 겁니다. 만약 그래도 집합론을 해야 적성이 풀리신다면 가볍게 볼 수 있는 걸 선택하세요. 예컨대 Pinter나 유펭린 정도로도 충분합니다. 이병덕 교수님 저작은 사실 Fitch 증명 시스템을 조금 맛보는 정도가 전부라서 수리논리라고 하기에는 많이 부족합니다. 사실상 철학 전공생을 위한 교재이기도 하구요. 수리논리를 선택하거나 집합론을 하거나 그건 질문자님께서 전적으로 결정내리실 부분이라서 제가 따로 뭐라고 언급할 것은 없어보입니다. 교재 추천을 하자면 본문에 언급된 Hedman, Enderton 말고도 Goldrei의 교재가 좋습니다만 도서관 사정을 제가 모르므로....
만약 여전히 감이 잡히지 않으시다면, 그냥 Enderton을 보시는 편이 나을 겁니다. 수학과 전공이시라면 Enderton이 그렇게 힘들진 않을 겁니다. Ch.0에서 필요한 집합론 내용들을 간단하게 다루고 있습니다. 그걸로 부족하다싶으면 그때 집합론을 보셔도 좋습니다.
친절한 답변해주셔서 감사합니다. 제가 수학전공자가아니라서 대수랑 위상을 수강치않았는데, 대수랑 위상을 모르면enderton교재를 보기힘들다는 글을 봣었는데 괜찮을까요? Hedman 교재정도가 어떨까 생각하고있었습니다만.. goldrei교재는 저희학교도서관에는 없어서 못봤습니다.. 제가 도서관에가서 살펴보기로는 hedman교재는 잡다한 내용이 다있는게
장점이자 단점인거같구요. Enderton은 흠 모르겠네요 대충 훝어봤었는데 어느정도 수준있어보였습니다. 그리고 joel robbin교재는 책의 소프트함과 서문에서 저자가 1-2단원을 한학기용으로 권한다는글에 당혹스럽더군요 벤슨메이츠책은 yudwig님 글에서 본것처럼 이병덕교수님저작과 비슷한수준으로 보였습니다.
제 블로그 포스트에서만이 아니라 여느 분들도 동의하는 부분입니다. 대수, 위상을 선행하지 않으셨다면 Enderton이 좀 힘들 수도 있습니다. 그도 그럴 것이 Enderton에서 example들로 대수, 위상 내용이 조금씩 나오기 때문이죠. Hedman은 제가 보고 있으며 극찬하고 싶은 교재인데 가능한 많은 걸 다룹니다. Hedman은 대수를 모르셔도 괜찮습니다. 심지어 대수기하까지 간단한 기초정도는 다 설명해줍니다. 서술 방식도 정말 깔끔하고 읽기 편합니다. 연습문제들도 난이도 별로 잘 설정되어 있습니다. 간단한 수리논리만 보시는 게 목표라면, Ch.1,2만 보셔도 충분합니다. 그 이상의 내용들은 각각 Proof Theory, Model Theory, Computability Theory에 해당합니다.
답변해주셔서 감사합니다. Hedman으로 해야겠습니다 감사합니다
즐거운 공부 되시길 바랍니다.