일

JAVA 공부에 집중

Chap 2 논리와 명제 학습 목표: 논리 연산의 쌍방 조건, 항진 명제와 모순 명제, 논리적 동치 관계를 배우고 예제를 해결한다. (6) 쌍방 조건 necessary and sufficient condition ○ 임의의 두 명제 p, q의 진리값 차이 유무로 참 또는 거짓을 판단하는 논리 연산 ○ 기호: p↔q 해석: p이면 q이고, q이면 p이다 ○ p, q가 모두 참이거나 거짓일 때 참의 진리값을 가짐 ○ 그렇지 않으면 거짓의 값을 가짐 쌍방 조건 진리표 p q p↔q T T T T F F F T F F F T ○ 위의 표현 외에도 더 다양하게 나타낼 수 있음: p if and only if q / p이면 q이고, q이면 p이다 p is necessary and sufficient for q / ..

Chap 2 논리와 명제 학습 목표: 논리와 명제, 부정, 논리합, 논리곱, 배타적 논리합, 조건에 대해 배우고 예제를 해결한다. 논리: 論(논의할 논)理(다스릴 리): 1. 말이나 글에서 사고나 추리 따위를 이치에 맞게 이끌어 가는 과정이나 원리. 2. 사물 속에 있는 이치. 또는 사물끼리의 법칙적인 연관. 3. 바른 판단과 인식을 얻기 위한 올바른 사유의 형식과 법칙 따위를 연구하는 학문. 논증의 형식을 정리 및 분석하고, 이론의 논리적 구조를 밝히며, 이론과 사상과의 대응을 논함. 형식 논리학과 인식론적 논리학으로 크게 나눌 수 있음. 주어진 문제를 객관적으로 명확하게 파악하고, 사고의 법칙을 체계적으로 추구하여 분석한다면 논리적인 사고를 하는 사람이라고 볼 수 있다. 논리의 목적: 1. 특정 논리..

참고 영상: http://www.kocw.net/home/cview.do?cid=16c93f5155e50f51 이산수학 1. 이산수학의 개요, 논리와 명제, 집합론과 디저털적인 수의 세계, 관계, 함수 등의 수학적 논제들을 다룸 2. 그래프, 트리, 부울 대수 등 컴퓨터정보공학과 관련이 깊은 논제들을 다룸 www.kocw.net 참고 도서: http://www.yes24.com/Product/Goods/74301500 4차 산업혁명 시대의 이산수학 - YES24 이산수학(Discrete mathematics, 離散數學)은 연속의 개념을 사용하지 않고 이산적인 수학 구조에 대해 연구하는 학문인데, 주로 집합, 정수, 관계, 그래프, 형식 언어와 같은 개념을 다루는 학문 분야 www.yes24.com 1~2..