강의 들어도 과제하나 못 풀겠음
[일반] 정수론이랑 집합론 어케 공부함?
익명(121.159)
2020-12-05 15:36
추천 0
댓글 7
다른 게시글
-
수학 얘기는 아니지만.. [2][일반] 익명(175.198) | 20.12.05추천 0
-
응용수학과랑 수학과랑 학부때 배우는 내용이 많이 다른가요? [9][일반] 5분의1(lillollool) | 20.12.05추천 1
-
탈수학한다 [6][일반] 익명(211.219) | 20.12.05추천 0
-
레퍼런스랑 비빌리오그래피 차이 [2][일반] 익명(223.62) | 20.12.05추천 0
-
Kmo는 재능 or 훈련 [3][일반] Precious(ozinee) | 20.12.05추천 0
-
수학 물리학 복수전공 하시는 분 계세요? [9][일반] Precious(ozinee) | 20.12.05추천 0
-
교수님이 책을 다보면 좋다고 하신 이유가뭘까 [1][일반] 익명(110.70) | 20.12.05추천 0
-
latex질문 [2][일반] 익명(1.250) | 20.12.05추천 0
-
공돌이 공수하는데 [1][일반] 익명(223.33) | 20.12.05추천 0
-
위튼은 수학물리학 둘다 마스터한거임?[일반] 익명(223.39) | 20.12.05추천 0
https://leanprover.github.io/logic_and_proof/
논리학 기초와 집합론 베이스 다질 때 증명보조기로 연습하면서 도움 많이 받았음
집합론 하는 데 증명보조기를 쓴다고? - PushItToTheLimit!
역함수부터 못 만들지 않음? - PushItToTheLimit!
일단 Coq에서는 공리 없이 전단사함수의 역함수 못 만듦 - PushItToTheLimit!
lean에서는 수가 non-computable하다고 힌트를 달아주면 existential variable도 수월하게 꺼낼 수 있음
역설적이지만 문제를 많이 풀어봐야 더 많은 문제를 풀 수 있음