목록Implication (1)

서두르지 말고 쉬지 말자

1.1 Introduction to Proofs(What is a Proof 1.1 ~1.6)

1. Propositions  명제(proposition)란 참 혹은 거짓인 문장을 말한다. 이때, 참과 거짓을 구별할 수 없거나 상황에 따라 참 거짓이 달라진다면 명제가 아니다.  컴퓨터 과학에서 프로그램과 시스템을 검증하기 위해서 우리는 명제의 참 거짓을 증명하는 법을 알아야 한다.2. Predicates  술어(predicate)란 하나 이상의 변수에 대해 참 또는 거짓을 취하는 명제다.  변수 값이 무엇인가에 따라 참 거짓이 달라지므로 다음과 같은 함수와 비슷한 표기법을 사용한다.P(n) ::= "n is a perfect square"우리는 4 is a perfect square is true, 5 is a perfect square is false 대신 P(4) is true, P(5) is ..
MIT opencourse/6.042J Mathematics for Computer Science 2025. 2. 15. 06:48
이전 Prev 1 Next 다음