프로그래밍/이산 수학20 과학적 사고 방식 과학적 사고 방법(Scientific Reasoning) - 'why'에서 출발해 결론을 도출해 내는 방법이다. 확률과 비율을 사용한다. 가설-연역법이라고도 한다. 과학적 연구의 신뢰도를 확보하는 논리적인 사고체계이다. 현존하는 방법 중 최고의 객관성을 보장하므로 신뢰도 확보가 가능하다. 귀납법(Inductive Reasoning) - 관찰을 통해 확인한 현상들로부터 보편적인 결론을 도출하는 추론 방법이다. 연역법(Deductive Reasoning) - 하나 이상의 전제에서 논리적으로 특정 결론에 도달하는 추론 방법이다. 논리(Logic) - 올바른 판단에 기반한 합리적인 사고 방식이다. 명제(Proposition) - 참 또는 거짓을 판별할 수 있는 말이다. 공리(Axiom) - 항상 참이라고 믿는 .. 2023. 1. 11. 조건 명제, 증명 조건 명제(Implication) - p(전제)가 참이면 q(결론)도 참이라고 주장하는 명제이다. 전제와 결론이 존재한다. 전제한 상황이 일어나고(T) 결과가 다를 때만(F) 거짓(F)이다. 전제하지 않은 내용은 무조건 참이다.(무의미한 참 - Vacuous truth) 해당 명제를 다른 조건 명제의 전제로 사용할 수 있기 때문에 반드시 참 또는 거짓이 나와야 한다. 조건 명제에서 전제와 결론의 인과관계는 중요하지 않다. 전제와 결론이 모두 참이어도 인과관계가 성립하지 않을 수도 있다. 공리(Axiom) - 증명 없이 참인 명제이다. 조건 명제의 역(Converse) - p와 q의 위치를 바꾼 것이다. p가 참일 때 q가 참이라고 반드시 q가 참일 때 q가 참이지 않는다. 조건 명제의 이(Inverse).. 2023. 1. 8. 불 대수 불 대수(Boolean Algebra) - 변수의 값으로 숫자 대신 진리값을 사용한다. 참(1) 또는 거짓(0), 논리학을 형식화 하기 적합하다. 연산자 우선 순위 - NOT > AND > XOR > OR 비트 연산 > 논리 연산 ~(NOT) > &(AND) > ^(XOR) > |(OR) {비트연산} > !(NOT) > &&(AND) > ||(OR) {논리 연산} 분배법칙, 결합법칙, 교환법칙, 흡수법칙이 적용 가능하다. 논리 회로 - 논리 연산을 통해 전기 장치를 제어하는 회로이다. 게이트 - 논리 회로의 기초 구성요소로, 각 게이트는 불 연산 하나를 구현한다. 데이터 저장 기능은 없다. NAND(AND NOT), NOR(OR NOT), XNOR(XOR NOT) NAND와 NOR만 있으면 AND, OR.. 2023. 1. 7. 명제 명제(proposition) - 참 또는 거짓 중 하나로 판별이 가능한 것이다. 불가능한 것은 명제가 아니다. 단순 명제라고도 한다. 진리표(Truth table) - 명제에서 나올 수 있는 참, 거짓의 모든 가능성을 표로 나열한 것이다. 여러 명제를 확인할 때 사용한다. 합성명제(Compound Proposition) - 단순 명제를 논리 연산자로 결합한 것, 조건 명제 2가지를 말한다. 논리부정(NOT) - p는 아니다. ~, 모든(all)의 부정은 어떤(any), 어떤의 부정은 모든 논리곱(AND) - p와 q가 모두 참인 경우만 참이다. ^, X 논리합(OR) - p와 q 중에 하나만 참이어도 참이다. V, + 배타적 논리합(XOR) - p와 q 중에 하나만 참이어야 참이다. 둘 다 참인 경우는 .. 2023. 1. 5. 이전 1 2 3 4 5 다음