전산 논리나 계산 이론 공부해보신 분 계신가요?

[ㄱㄹㄱ(119.202)]

오토마타나 알고리즘, 형식 언어, 구성주의 논리 같은거 말하는 건데..

혹시 관련해서 공부해보신 분 있으시면 댓글 달아주세요 독학 관련해서 여쭙고 싶은 게 있어서..

[컴과전공자(210.117)]

댓글 달아주시면 (미천한 학부 수준이지만) 최대한 도움 드리겠습니다.

[ㄱㄹㄱ(119.202)]

안녕하세요. 여러 갤러리에 질문을 올려서 결론적으로는 수리논리를 보는 걸로 잠정 결론을 내리게 되었습니다. 다만 그럼에도 오토마타나 알고리즘, 형식 언어 같은 과목은 역시 따로 서적을 봐야할 것 같더라구요. 그래서 혹시 공부할만한 서적이 있으면 추천해주실 수 있을까요?

[ㄱㄹㄱ(119.202)]

그리고 좀 일반적인 질문이긴 하지만.. 컴공과 과목은 도저히 어떻게 공부할지를 모르겠어서 그냥 서적을 독파하려고 하는 것인데.. 그냥 책을 독파하는 식으로 공부하면 될까요? 코딩을 좀 병행하면서 해야하는 건지 궁금합니다..

[컴과전공자(125.142)]

안녕하세요. 우선은 첫번째 댓글에 답해드리려 합니다. 우선 수리논리학을 공부하심을 잠정 결론 내리셨다고 하셨는데, 그것을 먼저 공부하시는 것도 좋은 커리큘럼이 될 것이라 생각됩니다. 다만, 수리논리학 공부와 계산이론의 공부를 분리하실 생각은 없다고 생각됩니다. 수학논리부터 공부를 하셔도 관심사에 따라 공부하시다 보면 결국 계산이론도 공부하시게 될 것이라 생각됩니다. 계산이론 서적은 많겠지만, 저희 학과의 교수님들은 Introduction to Automata Theory, Languages, and Computation(John E. Hopcroft)와 Introduction to the Theory of Computation(Michael Sipser)를 주로 사용하시는 것 같습니다. 저와 같은 경우 후

[컴과전공자(125.142)]

자의 책으로 공부했는데, 충분히 좋았습니다. 책 구매가 부담스러우시다면 구글링을 통해 국내외 계산이론 담당 교수님들의 코스 Material을 참고해보세요. 가령, 이런게 있습니다;
http://prl.korea.ac.kr/~pronto/home/courses/cose215/2017/.

[컴과전공자(125.142)]

두번째 질문에 답해드립니다. 첫번째 답변과 마찬가지로 이 또한 제 주관적인 견해가 강하니, 가벼운 참고만 해주세요. 어느 과목 공부이든 마찬가지겠지만, 대학의 강의를 듣는 것이 가장 큰 효율적인 공부 방법이 될 것이라 생각됩니다. 형식언어와 오토마타, 계산이란 과목은 국내 대부분의 학교에서 가르치는 것으로 알고 있습니다. (질문자님께서 타과생임을 전제할 때,) 타과생이라 하셔도 컴공 전공의 계산이론 과목을 들으시는데 아무 문제 없으실 겁니다. 오히려, 수리논리학의 기초를 공부하셨다면 해당 강의에서 남들보다 더 앞서 나가실 실력을 가지고 계실 것이라 생각합니다. 어떤 이유로든 강의 듣는 것이 힘드시다면, 온라인 강의를 들으시는 것을 추천해드립니다. 제 생각엔, 컴과 전공 과목들에 경우 너무나도 많은 온라인

[컴과전공자(125.142)]

많은 온라인 강의들과 온라인 자료들이 많아서, 그 중에서 무엇을 고르는 것이 힘들 정도인 것 같습니다.
제가 주로 사용하는 온라인 코스 사이트는
https://ocw.mit.edu(MIT
온라인 강의),
https://www.coursera.org
(코세라)입니다. 계산이론 같은 경우 두 사이트에 적절한 것이 없어서(원래 MIT OCW에 위 댓글에서 언급한 Michael Sipser가 강의하는 온라인 강의가 있었는데 지금은 사라진 것 같습니다.)
https://lagunita.stanford.edu/courses/course-v1:ComputerScience+Automata+Fall2016/about
를 참고하기도 했습니다.
프로그래밍은 하면 할 수록 좋습니다. 어떠한 형태로든요.
수리논리학에 직접적으로

[컴과전공자(125.142)]

관련 있는 논리 프로그래밍을 하시려면 이 글(
http://gall.dcinside.com/mgallery/board/view/?id=logic&no=197&page=1)
에 나온 책을 강력히! 추천해드립니다. 저도 최근에 주문해서 현재 2장까지 공부했는데, 비록 공부 극 초반이지만 책이 정말 재밌고 공부하는데에 재미를 느낍니다.
미천한 학부생의 답변이긴 하오나, 도움이 되셨으면 좋겠습니다.

[ㄱㄹㄱ(119.202)]

조금 넓은 범위의 질문일 수 있는데도 불구하고 친절하고 상세하게 설명해주셔서 정말 감사합니다!