Definition of Seon

Terminology Theorem (정리) : 참이라는 것을 보일 수 있는 진술, 증명의 대상 Axiom (공리) : 우리가 진실이라고 가정하는 진술, 증명의 대상이 아님 Lemma (보조정리) : 참이라는 것을 보일 수 있는 진술 중 중요도가 낮은 것, theorem 증명 간소화하기 위해 중간에 미리 정리 Corollary : 참이라는 것을 보일 수 있는 진술 중 증명이 필요 없는 것, theroem을 보면 자동적으로 알 수 있는 것 Conjecture : 아직 증명되지 않은 것 중 참이라고 가정하는 진술 → Axiom - Theorem(중요), Lemma, Corollary - Conjecture Methods of Proving Theorems Direct Proof (직접 증명법) : 조건 명제..

Quantifiers Predicates에 대한 T/F를 알 수 있음 All → A 거꾸로 / E 뒤집어서 Universal quantification: VxP(x) → 모든 x에 대해서 참인가? Existential quantification : ExP(x) → 어떤 x에 대해서 참인가? quantifier가 다른 모든 논리연산자보다 우선순위가 높다 Valid Arguments 주어진 사실로 새로운 사실을 깨닫는 것 Premises (p1, p2, …, pn-1) 전제 Conclusion (pn) 결론 모든 전제가 사실일 때 결론도 사실이다 Rules of Inference Inference : 이미 알고 있는 것으로 새로운 사실을 찾는 것 p + p→q = q ㄱq + p→q = ㄱp p→q + →r..

강좌 소개 kocw 가천대학교 김철연 교수님 2014-1 이산수학 이산 : 떨어져 있는, discrete(↔continuous) 0과 1 사이의 실수는 무한개, 정수는 없음 → 이산수학은 마치 정수(0,1) 같이 서로 끊어지는 개념 소프트웨어는 수학에 근간을 두고 있음 discrete math는 출발점이자 도착점임. (c언어, 컴퓨터구조) 고등학생 때 배운 집합과 명제가 기초지식(50% 이상은 고등학생 때 배운 내용을 영어로 다시 배우는 것 뿐) 가장 중요한 것은 로직 ch.1 Foundation part 1 Proposition(명제) proposition = declarative sentence (선언적 문장) True or false, but not both (참 또는 거짓) natural lang..