[대학교이상] 증명 잘하는 방법 좀

[익명(61.38)]

교재에서 정리 증명문제 나오면 ㅈㄴ 안풀리던데 뭐 추천 책이라던가 방법이나 팁 그런거 없음?

[익명(176.188)]

ㅋㅋㅋ나도 알았으면 좋겠다

[익명(176.188)]

고딩이나 타학과 전공생이면 현실적인 조언으로 '수학과 과목 수강하고 연습수업 참여해라' 이정도겠네 증명 잘하는법 묻는건 지식인에 '싸움 잘하는법' 물어보는거랑 별로 다르지 않음 ㅋㅋ

[수갤러 1(218.148)]

https://klyp.fyi/lyla

[그게(121.133)]

교재의 증명을 한줄한줄 따라가지 말고, 증명을 재구성해보는 연습을 많이 해야 합니다. 이걸 증명하려면 무엇을 확인해야하지? 그걸 확인하려면 뭘 살펴봐야하지? 이런 식으로 친구에게 풀어서 설명한다 생각하고 증명을 난도질해서 재구성해 보세요.

[그게(121.133)]

보통은 명제의 결론을 풀어서 써보는 것에서부터 시작합니다. 그게 내가 증명을 통해 해야할 일이니까요. 뭘 해야하는 지가 확실해졌으면, 이제 내게 주어진 조건이 무엇인지 살펴보고 그 조건들이 의미하는바를 풀어서 써보는거죠. 이런 연습을 한참 해야 합니다.

[김민성태팬클럽회장(thecoqproofassistant)]

[김민성태팬클럽회장(thecoqproofassistant)]

실례지만, 혹시 더 얘기해주실 수 있을까요?

[익명(223.38)]

딱 개소리지뭐 ㅋㅋ

[익명(222.238)]

저분 교수인데? - dc App

[익명(222.106)]

디씨서 슼통같은 븅신에 불타지마 ㅋㅋㅋ

[편등이(univman)]

ㅈㄴ 모범답안으로 잘써주신거같은ㄷ0 - dc App

[이게(141.223)]

이건 개념들의 발상을 명확히 안 상태에서 해야 유용. 수학적 대상들을 왜 정의하는지도 모르고 이렇게 하면 허송세월함

[저게(118.235)]

저 과정으로부터 자기가 개념을 제대로 파악못한 정의도 알아내고하는거죠

[익명(116.41)]

how to prove it 한접시 하실?

[편등이(univman)]

how to solve it 잘못쓴거맞음?? 시비거는게아니라 진짜 궁금해서 책있나 찾아보는데 안나와서요..

[편등이(univman)]

아니 서점말고 구글링하니까 바로뜨네 ㄱㅅㄱㅅ

[익명(61.34)]

여기 갤러 전부다 그걸 알고싶은 사람들임 ㅋㅋㅋ

[qqq(119.202)]

222

[hentaiMATH_Play(nsa15464)]

증명을 잘하는 일관적인 방법같은게 있을리가 없지 ㅋㅋㅋ 그게가 말한대로 연습하면 발전이 있겠지만 그렇다고 어려운 문제가 덜 어려워지는건 아님 ㅋㅋ

[qqq(119.202)]

수학 책들은 불친절하게 쓰여져 있음. 무슨 말이냐면 논리학 교재인 것마냥 연역적으로 쓰여져 있어서, 처음 가정들(개념)을 어떻게 생각 / 발상하게 되었는지의 설명이 부실한 경우가 많음. 이걸 "어떻게든" 채워넣으면 증명 개괄 자체는 자연스럽게 나올거임. 개념 발상을 이해하려면 교수, 선배, 친구들하고 수학 이야기를 많이 하는 게 베스트

[qqq(119.202)]

예를 들면 PMA 처음 보면 엄청 막막하잖아? 그런데 미적분을 어떻게 정의해야 하는지를 굉장히 고민하다 보면, PMA에 나오는 정의들의 조합으로 나오는 게 효과적임(현대 수학에서 으레 그렇듯이 ㅋㅋ). 실수 체계가 왜 필요한지, 최대 최소 정리는 어떤 조건에서 쓸 수 있는지, 극한이라는 것을 어떻게 정의해야 하는지 등. 그래서 어떤 면에서는 그 과목에 해당하는 "올바른 질문들(의 체인)"을 잘 찾는 게 증명, 수학을 잘하는 방법이라고 생각함

[qqq(119.202)]

요약 : 연역은 결국 가장 밑에 깔린 가정들을 기반으로 하는 단순한 논리학의 적용이라 익숙해지면 되는 문제인데, 그 밑에 깔린 가정들이 상위 과목으로 갈수록 이해하기가 어려워지므로(책 보는 걸로는 매우 불충분) 사람들을 통해서 이 부분을 채우면 증명도 잘 하게 될 것이다. 왜냐하면 현대에 배우는 개념들은 결국 큼지막한 정리들을 가장 효과적으로 증명할 수 있음이 나름대로(역사를 통해) 검증되었기 때문임.

[qqq(119.202)]

개념의 발상 동기를 충분히 이해한다면 "자연스러운" 증명(들)이 떠오름. 왜냐하면 개념들이 그렇게 증명을 강제하거든.

[익명(121.136)]

종합법과 분석법