Скачать
"린 4로 하는 정리 증명" 8장 (4) 피보나치수열과 일련의 값 재귀
Автор: 차불휘(Bulhwi Cha)
Загружено: 2026-02-11
Просмотров: 44
Описание:
• "린 4로 하는 정리 증명" 8장: https://lean-lang.org/theorem_proving...
• 린 정리 증명 교재에 관한 재생 목록: • "린 4로 하는 정리 증명" 교재 해설
린 정리 증명기를 배우는 제 멘티분들과 다른 한국인들을 위해 "린 4로 하는 정리 증명" 교재의 8장을 한국어로 해설했습니다.
앞으로 이 교재의 모든 연습 문제 풀이를 담은 깃 저장소를 만들고, 자연수 게임을 멘티분들과 함께 한국어로 번역할 계획입니다.
"린 4로 하는 정리 증명"은 아파치 라이선스, 버전 2.0의 조건에 따라 재이용할 수 있습니다.
이 영상에 나온 모든 Wikipedia 문서는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 4.0에 따라 사용할 수 있으며, 추가적인 조건이 적용될 수 있습니다. Wikipedia®는 미국 및 다른 국가에 등록되어 있는 Wikimedia Foundation, Inc. 소유의 등록 상표입니다.
#교육 #수학 #컴퓨터과학 #논리학 #증명
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
