| [ KAIST ] in KIDS 글 쓴 이(By): luvbug () 날 짜 (Date): 2002년 11월 14일 목요일 오후 12시 59분 43초 제 목(Title): Re: 쇼팽님에게 질문 .. 젠장.. 에디터가 엉망이라 엿같은 글이 되네. (정리되지 않은 글 올리는 건 질색이라..) 한가지 중요한게 빠졌기에.. 이산수학에서 꼭 필요한 내용.. 기본 논리학.. 그리고 최소한도의 메타 로직까지. 맨날 논리기호 써가며 증명하고 하지만.. 그리고 soundness네 completeness네 운운하지만.. 눈씻고 찾아보아도 그런 개념 정립시켜줄 과목은 이산수학밖에 업네요. 수학과 같은 곳에서 수리철학 듣고오지 않으면.. |