책 이미지
eBook 미리보기
책 정보
· 제목 : 최소한의 이산수학 with 파이썬 
· 분류 : 국내도서 > 컴퓨터/모바일 > 컴퓨터 공학 > 전산수학(SPSS/MATLAB)
· ISBN : 9791173400742
· 쪽수 : 368쪽
· 출판일 : 2026-06-30
· 분류 : 국내도서 > 컴퓨터/모바일 > 컴퓨터 공학 > 전산수학(SPSS/MATLAB)
· ISBN : 9791173400742
· 쪽수 : 368쪽
· 출판일 : 2026-06-30
책 소개
엄밀한 증명과 지엽적인 이론 대신 명료한 예와 풍부한 그림을 통해 개념이 성립하는 이유를 직관적으로 보여준다. 특히 그래프와 트리, 이를 활용한 알고리즘을 중심에 두고 논리·관계·함수 등의 개념이 전공 심...
수식이 아니라 사고방식으로 배우는 이산수학
이산수학은 컴퓨터공학의 언어이다. 명제와 논리, 집합과 관계, 그래프와 알고리즘은 자료구조, 운영체제, 알고리즘 설계 등 전공 심화 과목 전반에 걸쳐 등장하며, 컴퓨터가 문제를 인식하고 처리하는 방식의 근간을 이룬다. 그러나 많은 학생이 이산수학을 '또 하나의 수학 과목'으로 생각해서 벽을 느끼곤 한다. 이 책 『최소한의 이산수학 with 파이썬』은 그 진입장벽을 허물 수 있도록 컴퓨터공학 전공을 시작하기 전에 반드시 알아야 할 핵심 주제만을 엄선하여 직관적으로 익힐 수 있도록 구성했다.
이 책은 엄밀한 증명과 지엽적인 이론 대신 명료한 예와 풍부한 그림을 통해 개념이 성립하는 이유를 직관적으로 보여준다. 특히 그래프와 트리, 이를 활용한 알고리즘을 중심에 두고 논리·관계·함수 등의 개념이 전공 심화 과목과 어떻게 연결되는지 자연스럽게 드러나도록 구성했다. 또한 모호한 의사코드 대신 실제로 실행할 수 있는 파이썬 코드를 제시하여, 추상적인 수학 개념이 컴퓨터 속에서 어떻게 구현되는지 직접 확인할 수 있게 했다.
이 책은 수학에 자신이 없는 컴퓨터공학 학부 2학년을 주요 대상으로 하며, 파이썬 기초 문법을 알고 있다면 무리 없이 따라갈 수 있도록 구성했다. 공식을 외우는 것이 아니라 개념의 구조를 파악하고 스스로 문제를 해결하는 사고방식을 기르고자 하는 독자에게 적합하다.
이산수학은 컴퓨터공학의 언어이다. 명제와 논리, 집합과 관계, 그래프와 알고리즘은 자료구조, 운영체제, 알고리즘 설계 등 전공 심화 과목 전반에 걸쳐 등장하며, 컴퓨터가 문제를 인식하고 처리하는 방식의 근간을 이룬다. 그러나 많은 학생이 이산수학을 '또 하나의 수학 과목'으로 생각해서 벽을 느끼곤 한다. 이 책 『최소한의 이산수학 with 파이썬』은 그 진입장벽을 허물 수 있도록 컴퓨터공학 전공을 시작하기 전에 반드시 알아야 할 핵심 주제만을 엄선하여 직관적으로 익힐 수 있도록 구성했다.
이 책은 엄밀한 증명과 지엽적인 이론 대신 명료한 예와 풍부한 그림을 통해 개념이 성립하는 이유를 직관적으로 보여준다. 특히 그래프와 트리, 이를 활용한 알고리즘을 중심에 두고 논리·관계·함수 등의 개념이 전공 심화 과목과 어떻게 연결되는지 자연스럽게 드러나도록 구성했다. 또한 모호한 의사코드 대신 실제로 실행할 수 있는 파이썬 코드를 제시하여, 추상적인 수학 개념이 컴퓨터 속에서 어떻게 구현되는지 직접 확인할 수 있게 했다.
이 책은 수학에 자신이 없는 컴퓨터공학 학부 2학년을 주요 대상으로 하며, 파이썬 기초 문법을 알고 있다면 무리 없이 따라갈 수 있도록 구성했다. 공식을 외우는 것이 아니라 개념의 구조를 파악하고 스스로 문제를 해결하는 사고방식을 기르고자 하는 독자에게 적합하다.
목차
CHAPTER 01 이산수학이란
1.1 컴퓨터공학에서 이산수학의 위상
1.2 어떤 관점으로 접근해야 하는가
1.3 수학적 모델링의 예
연습문제
CHAPTER 02 논리와 명제
2.1 논리와 명제의 정의
2.2 논리 연산
2.3 추론
2.4 술어와 한정
2.5 부울 대수의 표현
2.6 부울 대수의 응용
연습문제
CHAPTER 03 집합론
3.1 집합의 정의와 표현
3.2 집합의 연산
3.3 집합의 크기와 분할
3.4 집합의 응용
연습문제
CHAPTER 04 증명법
4.1 여러 가지 증명 방법
4.2 프로그램의 정확성 입증
4.3 증명의 응용
연습문제
CHAPTER 05 관계
5.1 관계의 정의와 표현
5.2 관계의 속성과 연산
5.3 관계의 합성과 중첩
5.4 동치관계와 분할
5.5 부분순서와 위상정렬
5.6 관계의 응용
연습문제
CHAPTER 06 함수
6.1 함수와 관계
6.2 함수의 그래프
6.3 함수의 성질
6.4 비둘기집 원리
6.5 함수와 무한집합
6.6 함수의 응용
연습문제
CHAPTER 07 그래프
7.1 그래프의 정의와 기본 개념
7.2 트리의 정의
7.3 그래프의 탐색
7.4 트리의 탐색
7.5 최소 신장 트리
7.6 한붓그리기
7.7 그래프의 응용
연습문제
CHAPTER 08 경우의 수
8.1 경우의 수 기본 개념
8.2 순열
8.3 조합
8.4 경우의 수 응용
연습문제
CHAPTER 09 알고리즘
9.1 알고리즘의 정의
9.2 시간복잡도와 공간복잡도
9.3 탐색 알고리즘의 예
9.4 정렬 알고리즘의 예
9.5 알고리즘의 응용
연습문제
CHAPTER 10 오토마타, 형식언어, 문법
10.1 오토마타와 형식언어
10.2 유한 상태 기계
10.3 정규 표현식
10.4 오토마타의 응용
연습문제
찾아보기
1.1 컴퓨터공학에서 이산수학의 위상
1.2 어떤 관점으로 접근해야 하는가
1.3 수학적 모델링의 예
연습문제
CHAPTER 02 논리와 명제
2.1 논리와 명제의 정의
2.2 논리 연산
2.3 추론
2.4 술어와 한정
2.5 부울 대수의 표현
2.6 부울 대수의 응용
연습문제
CHAPTER 03 집합론
3.1 집합의 정의와 표현
3.2 집합의 연산
3.3 집합의 크기와 분할
3.4 집합의 응용
연습문제
CHAPTER 04 증명법
4.1 여러 가지 증명 방법
4.2 프로그램의 정확성 입증
4.3 증명의 응용
연습문제
CHAPTER 05 관계
5.1 관계의 정의와 표현
5.2 관계의 속성과 연산
5.3 관계의 합성과 중첩
5.4 동치관계와 분할
5.5 부분순서와 위상정렬
5.6 관계의 응용
연습문제
CHAPTER 06 함수
6.1 함수와 관계
6.2 함수의 그래프
6.3 함수의 성질
6.4 비둘기집 원리
6.5 함수와 무한집합
6.6 함수의 응용
연습문제
CHAPTER 07 그래프
7.1 그래프의 정의와 기본 개념
7.2 트리의 정의
7.3 그래프의 탐색
7.4 트리의 탐색
7.5 최소 신장 트리
7.6 한붓그리기
7.7 그래프의 응용
연습문제
CHAPTER 08 경우의 수
8.1 경우의 수 기본 개념
8.2 순열
8.3 조합
8.4 경우의 수 응용
연습문제
CHAPTER 09 알고리즘
9.1 알고리즘의 정의
9.2 시간복잡도와 공간복잡도
9.3 탐색 알고리즘의 예
9.4 정렬 알고리즘의 예
9.5 알고리즘의 응용
연습문제
CHAPTER 10 오토마타, 형식언어, 문법
10.1 오토마타와 형식언어
10.2 유한 상태 기계
10.3 정규 표현식
10.4 오토마타의 응용
연습문제
찾아보기
추천도서
분야의 베스트셀러 >
분야의 신간도서 >




















