알고리즘 BASICS - 이산수학 2

수업목표

• 이산수학 - 명제의 개념을 파악한다
• 수학 논리 흐름의 기본을 파악한다
• 논리 언어의 정의를 파악한다
• 논리적인 흐름, 컴퓨팅 사고를 배양한다,
• 알고리즘에서 수도코드를 짜는 포맷 (응용)을 이해한다.

---

1 명제 ?

참 거짓을 명확하게 구분할수 있는 문장
정확한 구분을 할 수 없는 문장 !== 명제

거짓/참 중 하나의 값만 가진다
여러 가지 명제를 조합할 수 있다.

1-2 예시

1. 명제일까 아닐까?
   1 카리나는 여신이다 -> 명제가 아닙니다.
   2 알고리즘에 재능이 없는것 같다 -> 명제가 아닙니다.
   3 허수는 실수가 아닌 복소수를 뜻한다. -> 참인 명제
   4 복소수는 실수와 허수로 이루어져있다. -> 참인 명제

2 연산자?

연산자는 명제를 위한 도구
이산도구의 기본 연산자

NOT, AND , OR, EXCLUSIVE OR , IMPLICATION,BICONDITIONAL

각 연산자는 컴퓨터 분야에서 주로 쓰인다.

• NOT 거짓 <-> 참

• AND 논리곱 / 참참참, 거거거거, 하나라도 다르면 거짓

• OR 논리합 / 둘중 하나라도 참이면 참이다.

• EXCLUSIVE OR 배타적 논리합 / 서로를 배제한다

• • P +Q => 한개만 참일때 참!

• IMPLICATION 함축, 조건명제 / 중요!

• • P -> Q => p일때 q이다. (조건 => 결과)

1 +1 => (2 +2 =4 ) T  => T => T

1 +1 => (2 +3 =4 ) T  => F => F

• BICONDITIONAL 쌍방조건명제/ 조건명제이지만 서로가 서로를 가르킨다
• • P<->Q => 두개의 값이 일치할때만 참!

---

2-2 예시

링크텍스트