Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

2-5 알고리즘의 정당성 증명 #1

Open
2 of 4 tasks
workdd opened this issue Nov 10, 2019 · 0 comments
Open
2 of 4 tasks

2-5 알고리즘의 정당성 증명 #1

workdd opened this issue Nov 10, 2019 · 0 comments
Assignees

Comments

@workdd
Copy link

workdd commented Nov 10, 2019

  • 수학적 귀납법과 반복문 불변식
  • 귀류법
  • 다른 기술들
  • 더 읽을 거리
@juppiiiii juppiiiii added this to the 2번째 모임 milestone Nov 12, 2019
@juppiiiii juppiiiii self-assigned this Nov 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants