무야뭐야 무야뭐야

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 기존양자

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 양쪽 모두 참이거나 거짓 Def..

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 기하의 합

링크 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, the..