독고냥이 개발자의 그냥 저냥 기억 저장소 독고냥이 개발자의 그냥 저냥 기억 저장소

[출처] 방송통신대학교 이산수학 강의 정리 학습목표 다양한 증명방법의 종류를 이해하고 때에 따라 적절한 증명방법을 선택할 수 있다. 기본단계와 귀납가정을 설계하고 귀납단계를 통해서 주어진 명제가 타당함을 증명할 수 있다. 직접적으로 명제를 증명하기 어려울 때는 증명하기 쉬운 형태로 주어진 명제를 변경할 수 있다. 전수증명, 조합적 증명법, 컴퓨터를 이용한 증명방법을 이해하고 상황에 따라 증명방법을 사용할 수 있다. 3.1 기본사항 (1)정의 - 공리(axiom) : 어떤 다른 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정으로, 별도의 증명 없이 참(T)으로 이용되는 명제 예1: 두점이 주어졌을 때, 두 점을 통과하는 직선을 그릴 수 있다.(유클리드 기하학) 예2: 어떤 자연수도, 그 수의 다..

[출처] 방송통신대학교 이산수학 강의 정리 학습 목표 - 명제와 명제가 아닌 것을 구분할 수 있다. - 다양한 논리연산자의 역할을 이해하고 합성명제의 진리값을 판별할 수 있다. - 조건명제와 쌍조건명제를 구분하고 진리값을 찾아낼 수 있다. - 서로 다른 두 명제의 논리적 동치 여부를 판별할 수 있다. - 추론규칙 또는 벤 다이어그램을 이용하여 타당한 추론을 판별할 수 있다. 2.1 명제(Proposition) - 참과 거짓을 구별할 수 있는 문장이나 수학적 식 - 명제의 진리값 - 참 true, 거짓 false - 명제의 종류 - 합성명제 (and, or) : 하나 이상의 명제와 논리연산자 그리고 괄호로 이루어진 명제 - 조건명제, 쌍조건명제 - 항진명제, 모순명제 - 예제) 다음 문장이 명제인지 아닌지..

[출처]방송통신대학교 이산수학 과목 손진곤 교수님 강의 이산수학이란? 이산적인 수학구조에 대해서 연구하는 학문 이산적 데이터를 처리하기 위해 필요한 수학 주요내용 - 논리, 증명, 집합, 행렬(선형대수), 관계, 함수, 부울대수(0, 1, or gate, not gate 등), 그래프, 트리, 조합이론(확률), 알고리즘, 오토마타(자동기기, 계산이론, 컴파일러등) 및 형식언어 학습 목적 문제해결 방법 모델링 구현 과정에서 사용되는 수학구조 이해 및 활용 수학적 추론기법을 익히기 위해 새로운 개념 체계화, 표현할 수 있는 역량 함양 위해 학습 방법 약속을 잘 지키자. 정의 정의란 무엇인지 면의란 무엇인지 기호논리학 기호들이 무엇을 뜻하는지 기억하라. 암기 연습하자 논리적 사고 및 표현 방법의 훈련 예습, ..