CS (11) 썸네일형 리스트형 이산수학 벼락치기 (작성중) 논리와 명제명제는 참과 거짓을 명확하게 구분할 수 있는 문장이다. '명확하게 구분할 수 있다'는 의미는 주관적인 기준이 아니라 명확한 기준을 갖는다는 의미이고, '구분할 수 있는 문장'이라는 의미는 오직 평서문만 명제가 될 수 있다는 것을 의미한다. 명제는 논리의 기본 구성 요소이다. 참과 거짓을 진릿값이라 하고, 명제는 진리값을 갖는다. 가능한 모든 경우를 나열한 것을 진리표라고 한다. 논리 연산논리 연산자하나 이상의 단순명제가 연산에 의해 합쳐지면 합성명제가 된다. 합성명제의 진릿값은 구성하고 있는 단순명제들에 의해 정해진다. 합성명제를 구성하는 논리 연산자에는 논리합, 논리곱, 부정, 배타적 논리합, 함축이 있다. 논리합 ($\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 제어문 [Unix] Signal Safety https://80000coding.notion.site/Unix-Signal-Safety-1a51ce3ca0c0460488b50234526754bc [Unix] Signal Safety | Built with Notion [Unix] Signal Safety 80000coding.notion.site 2023.12.16 수정 GPT의 답변 중 뮤텍스와 관련된 내용을 취소선 처리했습니다. 공유자원을 사용하는 것 자체가 재진입성과는 반대되는 효과를 가져오며, 설령 공유 자원을 사용한다고 해도 뮤텍스 등의 lock을 사용해서는 안됩니다. 만약 lock을 확보한 핸들러 스레드가 다른 시그널에 의해 interrupt된다면 lock이 해제되지 않으면서 deadlock 상태에 놓이게 될 것입니다. thread-sa.. [linux] fork 그만, systemd를 이용해 데몬 생성하기 https://80000coding.oopy.io/5e4cfeac-0cae-49ea-b170-acdeab86beec [linux] fork 그만, systemd를 이용해 데몬 생성하기 last edit 2023.11.25 80000coding.oopy.io 이전 1 2 다음