PART 0 들어가기 전에

CHAPTER 01 논리와 인공지능
1.1 논리란 무엇인가?
1.2 인공지능이란 무엇인가?
1.3 논리와 인공지능의 관계

PART 1 명제논리

CHAPTER 02 명제
개념확인문제
연습문제

CHAPTER 03 기본 논리연산자
3.1 AND 연산자(∧)
3.2 OR 연산자(∨)
3.3 NOT 연산자(~)
3.4 문장을 논리식으로 표현하기
3.5 논리식의 계산 순서
3.6 진리표를 이용한 논리식의 계산
개념확인문제
연습문제

CHAPTER 04 조건연산자를 포함한 명제논리식
4.1 조건연산자(→)
4.2 조건을 포함한 명제논리식의 계산 순서
4.3 only if(~해야 ~한다) 조건문과 if and only if 연산자
4.4 조건문과 관련된 논리식의 관계
4.5 필요조건과 충분조건
개념확인문제
연습문제

CHAPTER 05 논리식의 동치와 동치규칙
5.1 동치와 모순
5.2 항진명제와 모순명제
5.3 동치규칙
5.4 동치규칙을 이용한 동치증명
개념확인문제
연습문제
논리퀴즈

PART 2 명제논리의 추론과 증명

CHAPTER 06 주장
6.1 주장이란
6.2 약식 진리표를 이용한 주장의 증명
6.3 주장의 반례를 통한 타당성 검증
개념확인문제
연습문제

CHAPTER 07 추론규칙과 주장의 타당성 증명
7.1 추론과 추론규칙
7.2 기본 추론규칙
7.3 기본 추론규칙을 활용한 패턴 찾기
7.4 추가 추론규칙과 주장의 타당성 증명
개념확인문제
연습문제

CHAPTER 08 자연연역법에 의한 증명 기법
8.1 직접증명
8.2 조건증명
8.3 간접증명
개념확인문제
연습문제
논리퀴즈

PART 3 술어논리

CHAPTER 09 정언명제
9.1 A형식 : 모든 S는 P이다
9.2 E형식 : 모든 S는 P가 아니다
9.3 I형식 : 어떤 S는 P이다
9.4 O형식 : 어떤 S는 P가 아니다
개념확인문제
연습문제

CHAPTER 10 단일변수 술어논리
10.1 술어논리의 구성요소
10.2 한정자 3
10.3 단순 술어논리식으로 변환
10.4 단순 술어논리식의 연결
10.5 변수의 범위와 형식에 맞는 술어논리식
개념확인문제
연습문제

CHAPTER 11 단일변수 술어논리식의 다양한 형태
11.1 단일변수 다중 술어논리식의 기본 형식
11.2 존재 한정자
11.3 단일변수 다중 술어논리식의 활용
개념확인문제
연습문제

CHAPTER 12 다중변수 술어논리식
12.1 다중변수 술어논리식의 형식
12.2 다중변수 술어논리식의 해석
12.3 다중변수 술어논리식으로 변환
개념확인문제
연습문제

PART 4 인공지능

CHAPTER 13 인공지능이란
13.1 인공지능을 구성하는 주요 기술
13.2 인공지능과 소프트웨어 시스템
13.3 인공지능의 간단한 역사
13.4 인공지능의 현재와 미래
개념확인문제

CHAPTER 14 인공지능에서 논리의 역할
14.1 인공지능과 지식
14.2 지식표현 방법
14.3 지식표현과 인공지능 요소의 관계
14.4 지식표현의 불완전성과 불확실성
14.5 비단조 추론 방법
14.6 확률에 기초한 추론
개념확인문제

CHAPTER 15 머신러닝과 딥러닝
15.1 컴퓨터는 어떻게 학습하는가?
15.2 머신러닝
15.3 신경망과 딥러닝
개념확인문제