Скачать
"린 4로 하는 정리 증명" 8장 (5) 접근 가능성
Автор: 차불휘(Bulhwi Cha)
Загружено: 2026-03-06
Просмотров: 20
Описание:
• "린 4로 하는 정리 증명" 8장: https://lean-lang.org/theorem_proving...
• 호모토피 유형론 책: https://homotopytypetheory.org/book/
• 린 정리 증명 교재에 관한 재생 목록: • "린 4로 하는 정리 증명" 교재 해설
린 정리 증명기를 배우는 제 멘티분들과 다른 한국인들을 위해 "린 4로 하는 정리 증명" 교재의 8장을 한국어로 해설했습니다.
앞으로 이 교재의 모든 연습 문제 풀이를 담은 깃 저장소를 만들고, 자연수 게임을 멘티분들과 함께 한국어로 번역할 계획입니다.
"린 4로 하는 정리 증명"은 아파치 라이선스, 버전 2.0의 조건에 따라 재이용할 수 있습니다.
호모토피 유형론 책은 크리에이티브 코먼스 저작자표시-동일조건변경허락 3.0(CC BY-SA 3.0) 이용 허가증에 따라 이용할 수 있습니다. https://creativecommons.org/licenses/...
#교육 #수학 #컴퓨터과학 #논리학 #증명
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Best of Deep House [2026] | Melodic House & Progressive Flow](https://imager.clipsaver.ru/Il-ZpBuC8tA/max.jpg)
![[고뉴브] 트럼프](https://imager.clipsaver.ru/hP51sNKcfMU/max.jpg)
![[정치인싸] 이정현 공관위원장 돌연 사퇴, 오세훈-장동혁 힘겨루기 외 with 김용남, 윤희석, 곽우신, 강찬호](https://imager.clipsaver.ru/TPJY-f0tf3w/max.jpg)
