논리
-
기초: 논리와 증명.수학/이산수학 2018. 7. 31. 12:16
0. 프롤로그. 아무래도 프로그래밍 설계에 이산수학 내용이 필요한지라 잠시 연재를 중단하고, 이산수학을 쭈욱 먼저 연재하고자 합니다. 0과 1로 사고하는 컴퓨터란 것을 알아 감에서 연속적이지 않은 것을 다루는 이산수학은 중요하다. 연속적인 것으론 미적분, 해석학 같은 게 있겠죠. 즉, 이산수학은 비연속적인 것을 다루기 때문에 정수 영역($\aleph_0$)에 한정되는 영역. 참조한 교재는 제가 썼던 Rosen의 이산수학, 이산수학 Express. Rosen의 이산수학의 내용이 비교적 탄탄하기 때문에 Rosen의 이산수학의 목차에 기반하여 만들어졌습니다. 두 책을 요약한 내용들이라 생각하면 됩니다.막상 쓰고 보니 요약이라 하기도 좀.. 그러고 이것저것 섞은게 많긴 한데.. 01 기초: 논리와 증명 02 기..