Today I learned

  •  회화 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) 논리적 동치 법칙 증명법 


:  진리표가 아닌 멱등, 항등, 지배, 보수, 교환, 결합, 분배, 흡수, 드모르간, 함축, 대우 법칙을 이용하여 하나의 명제에서 다른 명제를 유도한다.


2교시. 추론 

1) 추론

: 주어진 명제들이 참인 것을 바탕으로 새로운 명제를 유도하는 과정 
: 주어진 명제 p1, p2, ... ,pn 의 나열을 전제, 새로이 유도된 명제q를 결론이라 한다 

2) 유효 추론과 허위 추론

: 주어진 명제들은 참이고 결론도 참이면 유효 추론, 주어진 명제들은 참이고 결론이 거짓이면 허위 추론 

3) 추론 법칙의 유효함 증명


     : 긍정법칙, 부정법칙, 삼단논법의 유효함 증명 


3교시. 술어와 한정사


1) 술어


: 유한개의 변수들을 가진 문장, 특정값을 변수에 대입하면 명제가 된다.


2) 한정사

    • 전체 한정사 : 모든 x에 대하여 p(x)는 참이다.(변수x가 가지는 모든 값에 대하여 술어 x는 참이다.) For all x 
    • 존재 한정사 : 어떤 x에 대하여 p(x)가 참인 x가 존재한다. Htere exists an x such that p(x) 

3) 한정사 예제


: 전체 한정사는 주어로 존재 한정사는 뒤 어구로 해석되기 쉽다.

      : 전체 한정사와 존재 한정사의 순서에 따라서 해석이 달리 될 수 있다.






 



Today I learned

  •  생활영어 2주차 강의
  •  한마디로닷컴 연습문제1
  •  mogaco 부트스트랩 적용, 레이아웃 구성, 게시판 CRUD (추가,조회,갱신,삭제) 
  •  나머지 카테고리 디비 설계및 테이블 생성 
회고
이것저것 욕심나지만 천천히 


Today I learned

  • 한마디로 닷컴 CHAPTER 1 - UNIT 4
  • 모각코 코딩 
  • 2주차 컴퓨터구조, 게임디자인이론 강의 
회고
일요일이라 늘어진 기분이었다.
TIL이 부족한 것 같다.
다른 것 들을 참고해보고
공부한 것을 구체적으로 기록해보자.


+ Recent posts