plzfday's notes

\(\vdash\): It looks like a turnstile and means the following is a law. Example 1) \(\vdash \neg(A\wedge \neg A)\) - law of noncontradiction.

1.2-2 같은 머신에서 각각의 알고리즘을 실행한다고 가정했으니 프로그램의 동작시간을 계산하는 식 (필요연산횟수/단위시간당처리연산개수)에서 분모는 같다고 생각하면 분자만 비교해보면 된다. 그래서 다음과 같은 부등식만 계산해서 최대 n을 찾으면 된다. $$n

영국 유학가는데 수학 용어를 너무 몰라서 걱정되는 마음에 Leonard 교수님의 미적분 강의를 들으면서 새로 듣는 용어가 나올 때마다 이 글에 내용을 추가할 생각이다. Notion이라는 굉장히 좋은 프로그램을 사용해도 되지만 블로그에 쓸 것이다. (나중에 이 글 내용이 너무 많아지면 알파벳 순으로 정리를 하든지 정렬을 해놓겠다.) perpendicular: 수직의 intercept: 절편 ex) y-intercept: y절편 slope-intercept point-slope