CS/이론 (8) 썸네일형 리스트형 이산수학 벼락치기 (작성중) 논리와 명제명제는 참과 거짓을 명확하게 구분할 수 있는 문장이다. '명확하게 구분할 수 있다'는 의미는 주관적인 기준이 아니라 명확한 기준을 갖는다는 의미이고, '구분할 수 있는 문장'이라는 의미는 오직 평서문만 명제가 될 수 있다는 것을 의미한다. 명제는 논리의 기본 구성 요소이다. 참과 거짓을 진릿값이라 하고, 명제는 진리값을 갖는다. 가능한 모든 경우를 나열한 것을 진리표라고 한다. 논리 연산논리 연산자하나 이상의 단순명제가 연산에 의해 합쳐지면 합성명제가 된다. 합성명제의 진릿값은 구성하고 있는 단순명제들에 의해 정해진다. 합성명제를 구성하는 논리 연산자에는 논리합, 논리곱, 부정, 배타적 논리합, 함축이 있다. 논리합 ($\lor$, or)'또는'의 의미두 명제 중 하나 이상이 참이면 논리합이 .. CS 주말반 #4 토론주제: 온라인 컴파일 시간이 나면 유명 OJ 오픈소스 (hustoj, DMOJ) 분석과 도커 실행환경 구축까지 추가해 보는걸로... CS 주말반 #1 8.1 예외 상황 (인터럽트, 트랩, 폴트) CSAPP 스터디 #5 2/7날 했었는데, 올리는걸 깜빡했었네요 10. 시스템 수준 입출력 CSAPP 스터디 #4 5. 프로그램 최적화 5.1~5.9 CSAPP 스터디 #3 9.9 동적 메모리 할당 CSAPP 스터디 #2 4.5 파이프라인형 Y86-64 구현 4.5.5 파이프라인 해저드 4.5.6 예외처리 4.5.7 PIPE 단계의 구현 4.5.8 파이프라인 제어로직 4.5.9 성능분석 CSAPP 스터디 #1 3. 프로그램의 기계수준 표현 3.6 제어문 이전 1 다음