저자                                                 
김 진 욱 
서울대학교 자연과학대학 수학과 학사
서울대학교 대학원 컴퓨터공학과 석사
서울대학교 대학원 전기컴퓨터공학부 박사
前 서울대학교병원 의료정보센터 교수
現 한국방송통신대학교 컴퓨터과학과 교수
저서: 『운영체제』(2016), 『UNIX시스템』(2017), 『컴퓨터보안』 (2017), 『알고리즘』(2018), 『프로그래밍언어론』(2019)
논문: 「편집거리 계산을 위한 맵리듀스 알고리즘」(2015), 「블록 체인을 이용한 부동산종합공부시스템 참조모델」(2018) 외 다수

정 세 윤
서울대학교 조경·지역시스템공학부 & 연합전공 기술경영 학사
서울대학교 산업공학과 석사
한국과학기술원 경영공학부 박사
前 한국전자통신연구원 미래전략연구소 연구원
現 한국방송통신대학교 프라임칼리지 첨단공학부 교수
저서 : 『산업공학개론』(2018), 『대학기초수학』(2019), 『대학수학』(2019), 『공업수학』(2020)
논문 : 「Offshoring and Outsourcing in a Global Supply Chain: Impact of the Arm’s Length Restriction on Transfer Pricing」(2018), 「4차 산업혁명 시대의 제조 업과 제조 IDX(Intelligent Digital Transformation)」 (2018) 외 다수

 목차                                               

제1장 집합
1. 집합을 정의하는 방법 2. 공집합과 부분집합 3. 멱집합과 데카르트 곱 4. 집합의 연산 5. 집합표현과 중복집합
제2장 논리
1. 명제 논리 2. 명제의 동치 3. 술어와 한정기호 4. 부울대수 5. 논리게이트
제3장 증명
1. 증명에 대한 이해 2. 직접 증명 3. 대우 증명 4. 모순 증명 5. 증명 과정의 실수
제4장 관계
1. 관계와 그 표현 2. 합성 관계 3. 관계의 성질 4. 동치 관계 5. 부분 순서
제5장 함수
1. 함수의 정의와 성질 / 2. 함수의 그래프 / 3. 함수의 종류 / 4. 몇 가지 중요한 함수
제6장 알고리즘 분석
1. 알고리즘이란? / 2. 여러 가지 알고리즘 / 3. 알고리즘 성능 / 4. 알고리즘 성능 분석
제7장 순열과 조합 Ⅰ
1. 합의 법칙과 곱의 법칙 / 2. 순열 / 3. 조합
제8장 순열과 조합 Ⅱ
1. 이항정리와 파스칼의 삼각형 / 2. 원순열 / 3. 중복순열 / 4. 중복조합
제9장 그래프 이론 Ⅰ
1. 그래프 정의 / 2. 그래프 표현 / 3. 그래프 동형 / 4. 부분 그래프
제10장 그래프 이론 Ⅱ
1. 경로와 사이클 / 2. 연결 그래프 / 3. 트리
제11장 그래프 이론 Ⅲ
1. 이분 그래프 / 2. 방향 그래프
제12장 오토마타
1. 오토마타 / 2. DFA와 NFA