수학&논리학 강좌들

 

 

 구글링해보면 정말 여러 강좌들을 찾을 수 있다.

 

수학 같은 경우 MIT강의로 다 때울 수 있을 정도다.

 

논리학같은 경우 그냥 구글에다가 propositional logic lecture나 formal logic lecture로 검색만해도 왠만한 건 다 뜬다.

 

최근 찾은 것 중에 꽤나 괜찮은 강의가 IIT(인도공과대학)에서 공개된 mathematical logic인데, 명제논리~술어논리부터 시작해서 completeness theorem, lowenheim-skolem theorem, incompleteness theorem까지 다루고 있어서 정말 좋은 강의다.

 

다만 인도식 영어라 알아먹기가 조금 힘들다.

 

아래 주소로 가면 볼 수 있다.

 

http://nptel.ac.in/courses/111106052/

 

또 논외로 우리학교 open.korea.ac.kr에서 최준곤 교수의 일반물리, 수리물리, 양자역학 강의도 있으니 물리공부로 이쪽을 써보는 것도 꽤나 좋은 것 같다.