- 회화 day1~7 암기, 단어암기
- 한마디로닷컴 연습문제2
- 이산수학2주차-2, 컴퓨터구조3주차
- 게시판 템플릿 만들어 적용
- 템플릿 코드 연결
내일은 모각코 날 . 세션 처리 하고, 나머지 만들자.
내일은 모각코 날 . 세션 처리 하고, 나머지 만들자.
디지털 논리 회로
(컴퓨터 나라에서 이해하는, 집을 짓는?)
(컴퓨터 나라말을 디지털 논리로 표현하는)
1. 논리회로
1) 게이트
- 디지털 검퓨터 : 전기적 신호를 이용하여 자료를 정보로 가공할 수 있도록 제작된 기계
- 논리회로 : 특정 대상을 디지털 코드로 정의 하였다면 이를 처리하기 위해 전기적 신호를 제어하는 회로가 필요하며 이를 위해 제작된 회로가.
- 게이트 : '0', '1'의 이진 정보를 처리하는 논리회로(부울대수로 표현)
2) 논리회로의 종류
- NOT 게이트 (반대)
- AND 게이트 (곱하기, 모두 on일경우에만 on)
- OR 게이트 (더하기, 둘중하나 on일경우면 on)
- XOR 게이트 (서로 다른 값일 경우만 on)
- *NAND 게이트 (and 의 반대, 모두 on일 경우에만 off)
- *NOR 게이트 (or의 낫, 모두 off일 경우에만 on)
- Exclusize NOR 게이트 (서로 같은 값일 경우만 on)
- 유니버셜 게이트 ( NAND, NOR 게이트로 모든 게이트 구성 가능)
2. 부울대수 (0과1 세상의 수학)
1) 부울대수란 ( f = x + y'z )
- 2진변수와 논리동작을 취급하는 대수
- 게이트를 최소화 하면서 원하는 결과를 나타낼 수 있는 회로를 만들기 위해 사용
- 논리 회로의 형태와 구조를 기술하는데 필요한 수학적 이론
- 변수들의 지리표 관계와 논리도의 입출력 관계를 대수 형식으로 표시
- 같은 기능을 갖은 더 간단한 회로 발견
2) 부울대수의 기본 법칙
- 교환법칙, 분배법칙
- 다중부정(A''=A).
- 드 모르간 법칙(NOR와 NAND를 취급하는데 유용)
: 카르노 도표는 부울 대수식을 간소화 하기 위한 가장 체계적이고, 간단한 방법
- 2변수 카르노 도표
- 3변수 카르노 도표
- 4변수 카르노 도표
논리와 명제(2)
1교시. 논리적 동치
1) 항진명제와 모순명제
: 합성명제를 구성하고 있는 명제들의 진리값에 상관없이 합성명제의 진리값이 항상 참이면 "항진명제" 항상 거짓이면 "모순명제" 라고 한다
2) 논리적 동치
: 합성명제 p, q의 진리값이 서로 같은 경우 이를 논리적 동치라고 하며, p<->q 라고 표시한다.
: 다른말로 p, q의 쌍방조건 p<->q가 항진명제 이면 p와 q는 논리적 동치이다.
3) 논리적 동치 법칙 증명법
: 진리표가 아닌 멱등, 항등, 지배, 보수, 교환, 결합, 분배, 흡수, 드모르간, 함축, 대우 법칙을 이용하여 하나의 명제에서 다른 명제를 유도한다.
3) 추론 법칙의 유효함 증명
: 긍정법칙, 부정법칙, 삼단논법의 유효함 증명
3교시. 술어와 한정사
1) 술어
: 유한개의 변수들을 가진 문장, 특정값을 변수에 대입하면 명제가 된다.
2) 한정사
3) 한정사 예제
: 전체 한정사는 주어로 존재 한정사는 뒤 어구로 해석되기 쉽다.
: 전체 한정사와 존재 한정사의 순서에 따라서 해석이 달리 될 수 있다.
이것저것 욕심나지만 천천히
일요일이라 늘어진 기분이었다.TIL이 부족한 것 같다.다른 것 들을 참고해보고공부한 것을 구체적으로 기록해보자.