다른 명령
새 문서: 분류:계산 이론 개론 분류:컴퓨터 공학 Category:계산 이론 개론 ==개요== ==각주== |
편집 요약 없음 |
||
| 4번째 줄: | 4번째 줄: | ||
==개요== | ==개요== | ||
==[[Logic and Proofs]]== | |||
수학적 명제(Assertion)의 구조에 익숙해지기 위해서는 명제 연결자(Propositional connectives)와 수량자(Quantifier) 등의 개념에 익숙해져야 한다. 또한 어떤 명제가 주어졌을 때, 이를 바탕으로 다른 명제를 증명하는 구조 역시 중요하다. 이러한 개념과 구조 등은 [[Logic and Proofs]] 문서에 자세히 설명된다. | |||
==[[Sets]]== | |||
==각주== | ==각주== | ||
2025년 9월 6일 (토) 18:00 판
개요
Logic and Proofs
수학적 명제(Assertion)의 구조에 익숙해지기 위해서는 명제 연결자(Propositional connectives)와 수량자(Quantifier) 등의 개념에 익숙해져야 한다. 또한 어떤 명제가 주어졌을 때, 이를 바탕으로 다른 명제를 증명하는 구조 역시 중요하다. 이러한 개념과 구조 등은 Logic and Proofs 문서에 자세히 설명된다.