계산 이론 개론 문서 원본 보기

[[분류:계산 이론 개론]]
[[분류:컴퓨터 공학]]
[[:Category:계산 이론 개론]]

==개요==

==[[Logic and Proofs]]==
수학적 명제(Assertion)의 구조에 익숙해지기 위해서는 명제 연결자(Propositional connectives)와 수량자(Quantifier) 등의 개념에 익숙해져야 한다. 또한 어떤 명제가 주어졌을 때, 이를 바탕으로 다른 명제를 증명하는 구조 역시 중요하다. 이러한 개념과 구조 등은 [[Logic and Proofs]] 문서에 자세히 설명된다.

==[[Sets]]==

==각주==