[일반] 증명 과정같은거 연습할려면 어떻게 하냐?

[*Sivese(sivese)]

 컴퓨터 공학 출신이고, 개인적으로 수학공부하거나 머신러닝에서 최적화 도출과정 공부하다가 증명과정만 보면 눈이 깜깜해짐. 그래서 쉬운것부터 연습해볼까 싶은데, 좋은 강의나 교재 있음 ㅇㅇ?

[익명(114.202)]

수학과가 아니라면 Daniel J. Velleman의 How to Prove it 한 번 읽어보셈. 수학과이면 바로 해석학 교재 보면서 증명 연습하라고 하고 싶은데, 타과생이고 컴공이면 그냥 가볍게 읽어보면서 증명을 할 때 어떤 식으로 하면 좋을까?에 대한 약간의 조언을 얻을 수 있는 책으로 괜찮다 생각함.

[익명(89.187)]

오히려 컴퓨터 공학 전공자면 함수형 프로그래밍 언어를 배울 때 큰 거부감이 안 생길 수도 있겠네.
• 페아노 공리계는 언제 배우나요?:
https://gall.dcinside.com/m/math/35638
•
함수 세계가 잘 이해가 안 가요:
https://gall.dcinside.com/m/math/35669