CS 백엔드/Computational Thinking (4) 썸네일형 리스트형 [SWEA] Computational Thinking 논리와 증명 / 수와 표현 문제풀이 (3) - 귀류법 1. 귀류법 https://ko.wikipedia.org/wiki/%EA%B7%80%EB%A5%98%EB%B2%95 귀류법 - 위키백과, 우리 모두의 백과사전 위키백과, 우리 모두의 백과사전. ko.wikipedia.org 귀류법 : 명제의 부정이 맞다고 가정해서 명제가 모순임을 보이는 방법. 2. 문제 문제 15 : 유리수와 무리수의 합은 무리수임을 증명하라 어떤 유리수 a와 무리수 b의 합이 유리수 c가 된다고 가정한다 a+b = c, b = c-a인데 c-a는 유리수의 성질에 의해 유리수여야 하지만 이는 가정에 모순된다 따라서 유리수와 무리수의 합은 무리수이다 문제 16 : √2 는 무리수임을 증명하라 2가 유리수라 가정하고 이를 기약분수로 나타내면 b/a이고 a와 b는 서로소이고 a는 0이 아.. [SWEA] Computational Thinking 논리와 증명/수와 표현 문제 (2) 문장 뿐만 아니라 수를 이용해서 명제를 증명할 수도 있다. https://ko.wikipedia.org/wiki/%EC%88%98%ED%95%99_%EA%B8%B0%ED%98%B8 수학 기호 - 위키백과, 우리 모두의 백과사전 위키백과, 우리 모두의 백과사전. 수학 기호(數學記號)는 수학에서 쓰는 기호이며 수, 계산, 논리 등 수학의 개념을 간결하게 표현하기 위해 사용한다. 흔히 사용하는 기호로 사칙연산의 + (더하 ko.wikipedia.org ∀ : 모든 것에 대하여(모든 수가 만족한다) ∃ : 존재한다(만족하는 어떤 것이 있다) 1. 문제 문제에 들어가기 앞서 위의 수학 기호를 이해하고 있어야 하고, 주어진 명제를 증명하기 굉장히 까다롭다고 느낀다면 서슴없이 대우를 통해 그 명제를 증명해내야 한다... [SWEA] Computational Thinking 논리와 증명/수와 표현 문제 (1) 1. 명제식 번호이름공식 1 항등 법칙 p∧T = p , p∨F = p 2 지배 법칙 p∨T = T , p∧F = F 3 멱등 법칙 p∨p = p , p∧p = p 4 이중 부정 법칙 ~(~p) = p 5 교환 법칙 p∧q = q∧p , p∨q = q∨p 6 결합 법칙 (p∨q)∨r = p∨(q∨r) 7 분배 법칙 p∨(q∧r) = (p∨q)∧(p∨r) 8 드 모르간의 법칙 ~(p∨q) = ~p∧~q 9 흡수 법칙 p∨(p∧q) = p , p∧(p∨q) = p 10 부정 법칙 p∨~p = T , p∧~p = F 2. 문제 문제 1 : 다음 명제들이 항진명제라는 것을 진리표를 이용해서 보이시오 (~p∨q)∨(p∧~q) -> 항진명제 문제 2 : 다음 명제들이 모순명제라는 것을 진리표를 이용해서 보이시오 (.. [SWEA] SWEA Computational Thinking 프로그래밍과 논리/수학 https://swexpertacademy.com/main/learn/course/subjectDetail.do?courseId=AVuPCwCKAAPw5UW6&subjectId=AV1lGbkqAAQCFAb_ SW Expert Academy SW 프로그래밍 역량 강화에 도움이 되는 다양한 학습 컨텐츠를 확인하세요! swexpertacademy.com 프로그래머가 기본으로 가지고 있어야 할 논리와 수학적인 생각을 공부한 내용을 정리한 글이다. 프로그래머는 어떤 문제를 하드 논리적으로 해결할 수 있어야 하며, 해결하기 어렵기에 논리적으로 해결하는 연습을 해야한다. 문제 1. 다음을 명제식으로 쓰고 참인지 거짓인지 판단하시오. 1번. 만약 0이 홀수라면, 미국에서 2080년 월드컵이 열린다. 가정이 거짓(F)이.. 이전 1 다음
