Mit computer Science Lec 1. ~ 1.2.3

링크

 

 

lex 1.1.2 Intro to Proofs : Part 1

 

증명:

- 증명하는 방법을 암기하지는 않는다, 하지만 그 과정을 이끌어 낼수 있으므로서 디버깅을 할 수 있다. 

- 증거에 일부는 버그에 빠져있을 수 있다.

 

 

 

lec 1.1.3 Intro to Proofs : Part 2

 

1, Be sure rules are properly applied.

규칙이 올바르게 적용하고 있는지 확인해야한다. 

2.Thoughtless calculation no substitute for understanding.

생각 없는 계산은 이해를 위한 대안이 아니다.

 

lec 1.2.1 Proof by contradiction(모순에 의한 증명)

 

If an assertion implies something false, then the assertion itself must be false!

주장이 잘못된 것을 암시한다면, 그 주장은 거짓이어야 한다.

 

 

Proof by Contradiction

모순에 의한 증거

 

Theorem : root 2 is irrational.

 

- Suppose root 2 was rational

루트 2가 합리적이라고 가정

-So have n,d integers without common prime factors such 

그래서 일반적인 소인수 없이 n,d 정수가 있다.

- we will show that n & d are both even. This contradicts no common factor.

우리는 n & d가 모두 짝수임을 보여줄 것입니다. 이것은 일반적인 요소와 모순되지 않습니다.

 

Quickie 

급히

- Proof assumes that if n^2 is even, then n is even. Why is this true?

증명은 가정한다. 만약 n의 제곱이 짝수면 n은 짝수이다? 왜 이것이 사실인가?

 

lec 1.2.3 Proof by Cases

 

증명하기 쉬운 조각으로 나누어서 그러나 그것은 함께 모든 가능성을 다룬다.

 

Proof by cases

 

Reasoning by cases breaks a complicated problem into easier subproblems. Some philosophers think reasoning this way worrisome.

경우에 따라 추론하면 복잡한 문제가 더 쉬운 하위 문제로 나뉩니다. 일부 철학자들은 이런 식으로 추론하는 것이 걱정 스럽다고 생각합니다.

 

intuitionists 직관론가