토익캠프 2일차
적는대로 다 기억이 나면 좋겠다.
Posts
MIT computer science 1.5.1
lec 1.5.1 Predicate logic( https://www.youtube.com/watch?v=UroprmQHTLc&list=PLUl4u3cNGP60UlabZBeeqOuoLuj_KNphQ&index=13&t=0s ) 논리 술어 술어 논리의 판단·명제에 있어서 주사(主辭)에 대하여 긍정 또는 부정의 입언(立言)을 하는 개념. Quantifiers 양자 1.5.1 Predicate logic 논리 술어 술어 논리의 판단·명제에 있어서 주사(主辭)에 대하여 긍정 또는 부정의 입언(立言)을 하는 개념.    Quantifiers 양자 전량자 수량자 Ax 모든 x에 대해 Ey 일부 y에 대해 Existential Quantifier 기존양자
MIT computer science 1.4.1~ 1.4.4
lec 1.4.1 Propositional Operators 제안 연산자 A proposition is either True or False. 제안은 참 또는 거짓입니다. Example: There are 5 regular solids. True There are 6 regular solids. False Non-examples: Wake up! Where am I? It's 3PM. Copper 구리 Bronze 청동 Definition of OR The value of (P OR Q) is T is T iff P is T, of Q is T, or Both are T. F iff both P,Q are F 모두가 F인 경우 거짓이다 iff = If and only if 양쪽 모두 참이거나 거짓 Definition of XOR The value of (P XOR Q) is T iff exactly one of P and Q is T. Definition of AND The value of (P AND Q) is T iff both P and Q are T. Definition of NOT The value of NOT(P) is T iff the value of P is F. 혼선을 방지하기 위해 평범한 단어 표기법을 쓴다. 하지만 알아는 둬야 한다고 한다. lec 1.4.3 Digital Logic Logic 논리 반가산기는 두개의 입력이 있고 전가산기는 세개의 입력이 있다. a, b, carry lec 1.4.4 Truth Tables( https://www.youtube.com/watch?v=_3WDzxt5p8c&list=PLUl4u3cNGP60UlabZBeeqOuoLuj_KNphQ&index=11 ) 진리표 Truth Assignments 진실 할당 A ...
Python 3 리스트컴프리헨션(List Comprehension), 제너레이터(Generator)
- 리스트 컴프리헨션 - 리스트를 생성할 때 더욱 간결하게 만들어 줌 - `[2*x for x in range(1,10+1)]` - 제너레이터 - 리스트컴프리헨션을 사용할 경우 리스트를 만들 때 많은 용량이 필요할 수도 있어 값을 하나씩 계산하여 출력할 수 있게함.
Mit computer Science Lec 1.3.1 ~ 1.3.3
lec 1.3.1 Well Ordering Principle 잘 정돈된 법칙 Obvious 분명한 Trivial 사소한 N = nonnegative integers 0 포함 Natual number라는 뜻도 있는데 0이 포함될지는 명확하지 않다. lec 1.3.2 Well Ordering Principle 2 lec 1.3.3 Well Ordering Principle 3 Geometric sums 기하의 합
python 3 Power
가장 단순한 방법으로는 a * a 와 같은 방법이 있다. 다른 방법으로는 a ** 2 와 같은 방법이 있다. 뒤에 2외에 다른 숫자를 대입함으로서 세제곱, 네제곱도 가능하다. 함수를 이용한 방법으로는 pow(a,2) 와 같이 pow를 이용한다. 위와같이 2의 자리에 있는 수를 바꿔줌으로 세제곱, 네제곱도 가능하다. 수행시간은 다음과 같은데 반복적으로 돌리다 보면 서로 시간이 계속해서 바뀌며 비슷한 시간이 걸리는 걸 알 수 있다.
python 3 "//" mean
연산자 //은 a // b 일 경우 a 나누기 b를 한뒤 소수점 아래 숫자들을 버린다. f. Floor Division(//) Divides and returns the integer value of the quotient. It dumps the digits after the decimal. https://wikidocs.net/20
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...