Definition of Seon

처음으로 받은 수료증! 뿌듯하다. 이 강의를 들으며 어떻게 수학과 컴퓨터를 연결해야 하나 공부할 수 있었다. 단순히 원서로만 공부할 때와 달리 대화형으로 진행되는 커리큘럼에 만족했다. 퀴즈를 풀고 그 퀴즈가 맞았는지 확인하는 과정을 통해 수학에 대한 흥미가 생겼다. 이제 다음은 조합론과 확률이다. 이산수학을 꼼꼼하게 공부해서 컴퓨터과학의 기초를 쌓아야지.

Summary. Invariants are important tools for proving impossibility, termination, and various bounds. 불변량은 불가능성, 종료 등의 문제를 해결하는데 중요한 도구이다. Invariants may take many forms: numbers, "parity", equations, inequalities. 불변량은 숫자, 패리티, 등호, 부등호 등 다양한 형태일 수 있다. To prove impossibility, one finds a quantity that never changes during a process. 불가능성을 증명하기 위해 과정 동안 바뀌지 않는 양을 찾는다. To prove that a process termin..

그간 포스팅이 뜸했다. 마음의 정화를 위해 8월 중순부터 여행을 잔뜩 다녀왔다. 제주도 여행과 부산 여행을 통해 마음이 조금이나마 가벼워졌다. 이제 9월, 다시 달릴 시간. 이산수학 강의를 듣다가 이상한 부분들을 발견했다. 강의 앞뒤가 잘려 있어 숙제를 못 듣거나 ppt에 빠진 내용이 있었던 것. 그래서 조금 더 최신 자료를 이용하고자 coursera를 검색했다. 내가 선택한 과정은 Introduction to Discrete Mathematics for Computer Science이다. 이 강의에는 5개의 강좌가 포함되어 있다. 1. Mathematical Thinking in Computer Science (6주) 2. Combinatorics and Probability (6주) 3. Introd..