컴퓨터 논리

강의상세

학생들의 논리적 사고능력을 배양시키는 것을 주 목표로 한다. 더 나아가 프로그래밍에 기본적으로 사용되는 논리적 사고의 기본원칙과 활용을 배운다. 명제논리, 불(Boole) 연산자 논리, 조건문, 1차 술어논리, 귀납법 등이 강의내용의 주를 이룬다.

1.	논리와 합리성	1. 과목 소개 2. 논리와 합리성 3. 논리의 역할 4. 논리와 인공언어
2.	단순명제	1. 명사구 및 술어 2. 단순명제 3. 1차 논리 언어
3.	단순명제 논리	1. 주장의 타당성 2. 증명 방식 3. 정형증명
4.	불(Boole) 연결자	1. 불(Boole) 연결자 2. 모호성과 괄호사용 3. 논리적 동일성
5.	불(Boole) 연결자 논리	1. 진리와 가능성 2. 진리표와 항진명제 3. 논리적 결과 vs. 항진적 결과 4. 논리적 동일설 vs. 항진적 동일성
6.	불(Boole) 논리 관련 증명 방식	1. 비정형증명 2. 경우별 증명 3. 간접증명
7.	정형증명과 불(Boole) 논리 1부	1. 자연 연역 체계 2. 증명 규칙: 논리곱 규칙 3. 증명 규칙: 논리합 규칙
8.	정형증명과 불(Boole) 논리 2부	1. 증명 규칙: 논리역과 모순 규칙 2. 모순과 일관성 3. 증명 전략과 전술
9.	조건명제	1. 진리함수 연결자 2. 조건문 관련 비정형증명 3. 조건문 관련 정형증명
10.	Fitch 시스템의 안전성과 완전성	1. 안전성 2. 완전성 3. 안전성과 완전성의 활용
11.	양화사 논리	1. 양화사 소개 2. 양화사 논리 3. 여러 개의 양화사 기호를 사용하는 문장
12.	양화사를 위한 증명 방법	1. 비정형증명: 존재양화사 2. 비정형증명: 전칭양화사 3. 정형증명
13.	귀납법	1. 귀납법 소개 2. 자연수에 대한 귀납법 사례 3. 귀납법에 바탕을 둔 프로그래밍 사례