(예제 1-11)

명제 p, q, r이 주어졌을 때 → 명제 p, q가 주어졌을 때

(36p, 43p)

36p
[표 1-9]의 부정법칙에 기호는 = → ≡ 

43p
예제 1-27에서 (4)번 문제 풀이

(4) 어떤 x에 대해 모든 y가 P(x,y)를 만족하면 ∃x∀yP(x,y)는 참이 된다. 그러나 |x|<|y|인 경우에만 P(x,y)를 만족하므로 어떤 x에 대해 모든 y가 P(x,y)를 만족하는 경우는 없다(반례 : y=0인 경우). 그러므로 ∃x∀yP(x,y)는 거짓이다.

(예제 1-30)

A : (┐p V ~q) → ┐r을 (┐p V ┐q) → ┐r로 수정

(예제 1-31 풀이)

(1)
(e) 항목을 (d) 항목으로 수정

(2) 설명에서 다음과 같이 수정
f →e, g →f, h →g, i →h 

(p.53 <5번-(2)>)

(p∧q) → r ≡ (p→r) ∨ (q→r)
                  ↓
(p∧q) → r ≡ (p→r) ∧ (q→r)

(10번 문제 (2))

2행과 4행을 다음으로 수정
p ∨ q
∴ p

(두 군데 수정)

(1) 예제 3-10에서 주어진 E 집합
E 집합에서 z 원소 삭제


(2) 풀이 (6)를 다음으로 수정
집합 B와 집합 E는 상등이다.   ∴  B=E

(정리 3-2의 (4))

|A∩B| = |A|+|B|를 |A∪B| = |A|+|B|로 수정

(3번 문제 (4))

5≤k를 5<k로 수정

(정의 4-5)

0<a_i <b 부분을 0≤a_i <b로 수정

(5번 문제 (4))

i 변수를 k로 수정

(정의 5-9)

오른쪽 행렬에서 맨 마지막 항목을 a_mn으로 수정

(정리 5-2의 (3))

r × s 부울행렬 B → n × s 부울행렬 B

(아래서 셋째 줄)

원서의 → 원소의

(정의 6-17)

둘째 줄의 S를 P에 대한 R의 폐포를 R에 대한 P의 폐포로 수정

(둘째 단락 둘째 줄)

a가 b로 나누어떨어지는 관계 → b가 a로 나누어떨어지는 관계 

(6번 문제 (6))

반순서관계 P를 구하고 하세도표를 그려라.
↓
부분순서관계 P를  구할 수 있는지 판별하라.

(정의 7-3 첫 번째 항목)

B의 원소 y → B의 원소 b

(예제 7-3 (2)번 풀이)

치역을 ran(f)={f(x)|1≤f(x), x∈N}으로 수정

(정의 7-5)

두 원소 x1, x2 ∈A에 대하여 → 두 원소 x1, x2 ∈X에 대하여 

(정의 7-11)

상수 함수 표현에서 c를 b로 수정

(7번 문제 (2))

S = {(1, x), (1, y), (2, w), (2, z), (3, x), (3, y), (4, w), (4, z), (5, x), (5, y)}로 수정

(예제 8-20 (2)번 문제와 풀이)

첨부 파일과 같이 수정

(예제 8-23)

그림 (5)의 A-F, C-D를 연결하는 변 추가.

(예제 8-28 풀이)

(4)와 (5)의 탐색 후 최단경로 집합을 다음으로 수정
(4) S={a, b, d, c, e}
(5) S={a, b, d, c, e, f}

([그림 9-14])

맨 위 노드의 오른쪽 포인터를 null로 수정

(연습문제 2번)

(10)의 G→g로 바꾸기

(예제 10-12)

(2) 적어도 한쪽 끝에 모임이 오는 경우는 몇 가지인가?
(3) 한쪽 끝은 자음, 한쪽 끝은 모음이 오는 경우의 수는 몇 가지인가?  

-> (수정) 
(2) 적어도 한쪽 끝에 모임이 오는 경우는 몇 가지인가?

(예제 10-26 풀이 (4)와 (5))

첨부 파일과 같이 수정

(표 11-1, 네 번째 줄)

유계법칙(Doundedness Law) → 유계법칙(Boundedness)

(첫째 줄)

퀸-맥틀러스키 → 퀸-맥클러스키

(순차 탐색 알고리즘 코드 4행)

arr[i] == key then으로 수정(=를 ==로 수정)

(알고리즘 표, 3번째 라인)

for i = 0 to n → for i = 0 to n-1 

(알고리즘 표, 3번째 라인)

int right = n → int right = n-1

(알고리즘 표, 5번째 라인)

for j = 1 to n-i → for j = 1 to n-1-i

(예제 12-11)

i = 1일 때 → i = 0일 때

(예제 12-11)

i = 2일 때 → i = 1일 때

i = 3일 때 → i = 2일 때

i = 4일 때 → i = 3일 때
 

(알고리즘 표, 1번째 라인)

(int arr[ ], int n) → (int A[ ], int n)