이산수학2 [이산수학](01) 명제(Proposition)와 논리연산자 명제 논리(命題論理, Propositional logic) 명제논리란 명제(P)에 논리연산을 통해 명제들의 논리적 관계를 다룬다. 명제들은 영어의 대문자(P,Q,R,...)로 표기하고 이들을 명제변수라고 한다. 명제변수가 참이면 T, 거짓이면 F로 표기한다. ex) P="소크라테스는 사람이다.", Q="사람은 반드시 죽는다." 단순명제 : 더 이상 단순명제로 나뉘어 질 수 없는 명제 복합명제 : 기존 명제들과 논리연산을 통해 만들어진 명제 논리 연산자(Logic operator) 단순명제들을 연결해주는 연산자들이다. 이름 기호 의미 부정(negation) ￢P not P 논리곱(conjunction) P∧Q P AND Q 논리합(disjunction) P∨Q P OR Q 베타적 논리합(exclusivr-.. 2022. 9. 21. [이산수학](00) 이산수학(discrete mathematics) 이란? 이산수학(Discrete mathematics, 離散數學) 이란? 이산수학(Discrete mathematics, 離散數學)은 이산적인 수학 구조에 대해 연구하는 학문으로 다른 이름으로는 유한 수학(finite mathematics)이라고도 하며, 전산학적인 측면을 강조할 때는 전산수학이라고도 한다. 이산수학은 컴퓨터 과학에서 기초적인 학문으로 실수처럼 연속되는 것들이 아닌 정수, 논리 연산과 같이 뚝뚝 떨어져 있는 숫자들을 연구하기 위해 만들어졌다. 쉽게 말해 실수를 이용하면 좌표 평면에 선을 그릴 수 있지만, 정수를 이용하면 선을 그릴 수 없는 것과 같다. 이산적이라는 말은 연속되지 않는 원소들로 구성됨을 의미함 이산수학을 배우는 이유는? 컴퓨터는 모든 숫자를 이산적으로 처리한다. 조건문, 반복문, .. 2022. 9. 7. 이전 1 다음
