소프트웨어 공학용 수학
4.9 (81 ratings)
Course Ratings are calculated from individual students’ ratings and a variety of other signals, like age of rating and reliability, to ensure that they reflect course quality fairly and accurately.
198 students enrolled

소프트웨어 공학용 수학

이 강좌에서는 2차 산업혁명 때 필요했던 선형적인 수학 보다는 이산수학을 기본으로 하되 소프트웨어 공학자들이 커리어에서 유용하게 사용 가능한 여러가지 수학적 지식을 가르칩니다.
Bestseller
4.9 (81 ratings)
Course Ratings are calculated from individual students’ ratings and a variety of other signals, like age of rating and reliability, to ensure that they reflect course quality fairly and accurately.
198 students enrolled
Created by Pope Kim
Last updated 6/2020
Korean
Price: $199.99
30-Day Money-Back Guarantee
This course includes
  • 30 hours on-demand video
  • Full lifetime access
  • Access on mobile and TV
  • Certificate of Completion
Training 5 or more people?

Get your team access to 4,000+ top Udemy courses anytime, anywhere.

Try Udemy for Business
What you'll learn
  • 소프트웨어 공학 수학
  • 논리적 사고 방식
  • 실용적인 수학
  • 프로그래머 수학
Requirements
  • 고등학교 수준 수학
  • "프로그래밍 입문(C#)" 과목 수료
Description

본 비디오 강좌는 포큐아카데미에서 진행하는 COMP1000 수업의 비디오 강좌입니다.


수학은 과거부터 소프트웨어 공학에서 필수 학문으로 요구되어 왔습니다. 현재까지도 많은 프로그래밍 교육 기관에서 수학을 가르치고 있지만, 많은 학생들이 수학 공부의 필요성을 이해하지 못할 뿐만 아니라 배움에 어려움을 토로하는 경우가 많습니다.

수학은 수량 및 공간의 성질에 관하여 연구하는 학문으로써, 세상을 이해하기 위해 연구되는 학문입니다. 예를 들어, 그림자를 이용해 피라미드의 높이를 구하는 것 혹은 중력을 증명해내는 것이 이에 해당됩니다. 현재 중고등학교에서 배우는 수학은 과거에 천재 수학자들이 현실에 존재하는 여러가지 미지의 원리/현상들을 이해하기 위해 증명해낸 것들입니다. 이는 이론과 증명을 중요시하는 순수 수학에 해당됩니다.

현실 세상을 이해하기 위한 수학적 이론과 증명을 공부하기 위해서는 순수 수학이 필요하지만, 문제 해결을 위해 수학을 사용하고 컴퓨터 속 세상에서 살아야하는 현대의 소프트웨어 공학자들에게 이론 중심의 전통적인 수학은 맞지 않습니다. 고로, 본 강좌는 이론/증명 위주가 아닌 실용성 위주의 수학 & 컴퓨터를 이해하는데 중요한 수학에 중점을 두어 진행합니다.

여전히 수학은 매우 중요합니다. 소프트웨어 공학은 논리적 사고가 요구되는 일이기 때문에, 논리력이 부족하면 좋은 소프트웨어 공학자가 될 수 없다는 것을 의미합니다. 수학 또한 논리적 사고가 요구 되기 때문에, 수학을 통해 논리력을 향상 시키는 것이 곧 좋은 소프트웨어 공학자가 되는 길이라 할 수 있겠습니다.

이 강좌에서는 2차 산업혁명 때 필요했던 선형적인 수학 보다는 이산수학을 기본으로 하되 소프트웨어 공학자들이 커리어에서 유용하게 사용 가능한 여러가지 수학적 지식을 가르칩니다. 이 코스를 성공적으로 마무리한 분들은 다양한 문제 해결에 필요한 수학 지식과 함께 컴퓨터를 더 잘 이해 할 수 있을 것입니다.

Who this course is for:
  • 컴퓨터 공학의 기본기를 배우고 싶은 분들
  • 프로그래머로서 평생 커리어를 꿈꾸는 입문자들
Course content
Expand all 262 lectures 29:57:13
+ 숫자 체계, 비트와 바이트
19 lectures 01:38:47
숫자 체계
04:41
10진법
09:18
2진법
09:14

2진법의 덧셈과 뺄셈을 복습해봅니다.

복습 퀴즈
2 questions
8진법
08:18

8진법의 덧셈과 뺄셈을 복습해봅니다.

복습 퀴즈
2 questions
16진법
06:36

16진법의 덧셈과 뺄셈을 복습해봅니다.

복습 퀴즈
2 questions
진수 변환
01:28
10진수->2진수 변환
07:42
2진수->10진수 변환
03:31
10진수/8진수 변환, 10진수/16진수 변환
04:28
2진수->8진수 변환
02:06
8진수->2진수 변환
03:25
2진수/16진수 변환
03:32
8진수/16진수 변환
01:31

여러가지 진수간의 변환을 복습해봅니다.

복습 퀴즈
10 questions
정리
02:05
비트와 바이트
03:47
비트
04:12
비트 수와 오디오 포맷
09:10
바이트
05:00
컴퓨터의 데이터 단위
08:43
+ 다양한 진법간의 관계, 컴퓨터의 정수/문자 표현법
24 lectures 02:51:31
다양한 진법간의 관계
06:22

16진법과 비트의 연관 관계에 대해 복습해봅니다.

영상 퀴즈
1 question
16진수와 비트
09:29
8진법, 32진법, 64진법
08:53

16진법과 바이트의 연관 관계에 대해 복습해봅니다.

복습 퀴즈
1 question
정수, 부호없는 정수
06:50
부호없는 정수의 덧셈, 오버플로
07:41

부호 없는 정수의 덧셈과 오버플로에 대해 복습해봅니다.

복습 퀴즈
1 question
부호있는 정수
07:16

부호있는 정수의 음수/양수 표기법에 대해 복습해봅니다

복습 퀴즈
2 questions
부호있는 정수 표현의 문제
03:37
보수(complement)
09:48
1의 보수
10:42

보수와 1의보수에 대해 복습해봅시다.

복습 퀴즈
4 questions
1의 보수의 장점과 한계
02:01
2의 보수
06:01

2의보수를 복습해봅시다.

복습 퀴즈
5 questions
2의 보수의 장점
03:16
부호있는 정수의 덧셈
07:32
부호있는 정수의 뺄셈
01:55

2의 보수를 이용한 뺄셈에 대해 배워봅니다.

영상 퀴즈
2 questions
2의 보수를 이용한 뺄셈
02:27
언더플로, 프로그래밍 언어의 정수형
07:05
2진수의 곱셈
03:25

2진수의 곱셈을 복습해봅시다.

복습 퀴즈
1 question
보편적인 2진수의 곱셈, 2진수의 나눗셈, BCD(Binary-Coded Decimal)
08:55

2진수의 곱셈/나눗셈을 복습해봅니다.

복습 퀴즈
4 questions

ASCII에 대해 복습해봅니다.

복습 퀴즈
1 question

리틀 엔디언/빅 엔디언에 대해 복습해봅니다.

복습 퀴즈
2 questions
UTF-8의 장점과 단점
04:15

UTF-8의 장점과 단점에 대해 복습해봅니다.

복습 퀴즈
1 question
UTF-8의 예, UTF-16, UTF-32
06:38

각 UTF 인코딩의 장단점에 대해 복습해봅니다.

복습 퀴즈
1 question
정리
05:51
+ 컴퓨터의 유리수 표현법
16 lectures 02:27:54
실수
07:06
실수의 10진수->2진수 변환
11:48

실수의 10진수->2진수 변환에 대해 복습합니다.

영상 퀴즈
1 question
정수의 이진법 표기의 한계
05:38

실수의 10진수 <-> 2진수 변환에 대해 복습합니다.

복습 퀴즈
2 questions
고정 소수점 수
09:13

고정 소수점의 장점에 대해 복습합니다.

복습 퀴즈
1 question
부동 소수점 수, 과학적 표기법, 유효 숫자
13:17

부동 소수점 수, 과학적 표기법 그리고 유효 숫자에 대해 복습해봅니다.

복습 퀴즈
1 question
정확도와 정밀도, 정규화한 과학적 표기법
09:07

정규화한 과학적 표기법에 대해 복습해봅니다.

복습 퀴즈
2 questions
32비트 부동 소수점(IEEE 754), 가수비트
14:38
지수와 지수비트
13:42

부동 소수점 수의 장단점과 32비트 부동 소수점 수에 대해 복습해봅니다.

복습 퀴즈
3 questions
32 비트 부동 소수점의 예
10:52

32비트 부동소수점 수 <->10진수 간 변환을 복습해봅니다.

복습 퀴즈
1 question
32 비트 부동 소수점의 정밀도
04:54
유효 숫자와 정밀도
07:13
정밀도의 중요성
08:11

정밀도와 유효숫자에 대해 복습해봅니다

복습 퀴즈
1 question
정밀도 9
10:08

정밀도 6/9와 유효숫자에 대해 복습합니다.

복습 퀴즈
2 questions
자료형 변환, 부동 소수점 비교하기, 64 비트 부동 소수점, 16 비트 부동 소수점
12:55

부동 소수점 수의 자료형 변환과 비교에 대해 복습합니다.

복습 퀴즈
2 questions
부동 소수점 수의 사칙 연산
05:29

부동 소수점 수의 사칙연산에 대해 복습합니다.

복습 퀴즈
4 questions
정리
03:43
+ 집합론
20 lectures 01:20:37
집합의 개념과 관계
04:22
원소(element), 원소의 표현법
05:44
공집합(empty set)
02:36
영상 퀴즈
4 questions
집합의 동치
00:30
부분 집합
06:06
멱집합
03:31
영상 퀴즈
1 question
멱집합 구하기
01:10
집합의 연산
03:29
합집합, 교집합
04:30
교집합과 서로소(disjoint) 집합
01:46
차집합, 여집합
04:39
전체집합
01:29

합집합, 교집합, 여집합 등에 대해 복습해봅니다.

복습 퀴즈
4 questions
집합의 연산 법칙, 항등 법칙, 지배 법칙
05:09
멱등 법칙, 여집합의 여집합
04:12
교환 법칙, 결합 법칙
04:35
분배 법칙
05:16
드 모르간의 법칙
06:04
흡수 법칙
02:55

여태까지 배운 집합의 연산 법칙들에 대해 복습해봅니다.

복습 퀴즈
1 question
함수
10:21
정리
02:13
+ 명제, 불 대수, 논리 회로 설계
16 lectures 02:00:32
논리
09:47
명제
03:56

명제에 대해 복습해봅니다.

복습 퀴즈
2 questions
진리표, 합성 명제, 논리 부정, '모든(all)'과 '어떤(any)'
12:26

논리 부정, '모든(all)' 과 '어떤(any)'의 부정에 대해 복습해봅니다.

복습 퀴즈
3 questions
논리곱
03:44

논리곱에 대해 복습해봅니다.

복습 퀴즈
1 question
논리합
02:57

논리합에 대해 복습해봅니다.

복습 퀴즈
1 question
배타적 논리합
04:10

배타적 논리합에 대해 복습해봅니다.

복습 퀴즈
1 question
항진 명제, 모순 명제
05:59

항진 명제, 모순 명제에 대해 복습해봅니다.

복습 퀴즈
2 questions
정리
03:16
불 대수, 불 대수의 기초 연산
18:45

불 대수의 기초 연산, 연산 우선 순위에 대해 복습해봅니다.

복습 퀴즈
2 questions
불 대수 연산 법칙
02:50

불 대수의 연산 법칙에 대해 복습해봅니다.

복습 퀴즈
2 questions
교환 법칙, 결합 법칙, 분배 법칙, 흡수 법칙
16:30

불 대수의 연산 법칙에 대해 복습해봅니다.

복습 퀴즈
2 questions
드 모르간 법칙
03:53

불 대수의 드 모르간 법칙에 대해 복습해봅니다.

복습 퀴즈
3 questions
논리 회로, 기본 게이트, NAND 게이트, NOR 게이트
12:09

논리 회로, 게이트(gate)에 대해 복습해봅니다.

복습 퀴즈
1 question
논리 회로를 이용한 비트 연산
02:53

논리 회로를 이용한 비트 연산에 대해 복습해봅니다.

복습 퀴즈
1 question
게이트의 조합, 게이트는 돈이다
13:07

게이트의 조합과 게이트가 돈과 직결되는 이유에 대해 복습해봅니다.

복습 퀴즈
1 question
정리
04:10
+ 조건 명제, 증명
17 lectures 01:57:35
조건 명제
05:04
조건 명제의 진리 판단
05:05
다른 조건 명제의 전제가 되는 조건 명제
10:42
조건 명제와 인과관계
03:36

조건 명제에 대해서 복습해봅니다.

복습 퀴즈
1 question
조건 명제의 역, 조건 명제의 이
06:39
논리적 동치, 조건 명제의 대우, 쌍방 조건 명제
13:33

조건 명제, 조건 명제의 역, 조건 명제의 이, 논리적 동치에 대해 복습해봅니다.

복습 퀴즈
2 questions
영상 퀴즈
1 question
누가 기사고 누가 구라쟁이일까?
05:37
모자 색깔 맞추기
05:07
영상 퀴즈
2 questions
증명, 추론
07:24
논리융합
04:52

증명, 추론에 대해서 복습해봅니다.

복습 퀴즈
1 question
증명 방법, 모순에 의한 증명
07:08
모순에 의한 증명의 예, 사례에 의한 증명
07:24

모순에 의한 증명,사례에 의한 증명에 대해 복습해봅니다.

복습 퀴즈
1 question
동치 증명, 존재/반례 증명, 유일성 증명
06:19
보너스: 크래시 발생
04:05
조건 명제, 인과관계, 디버깅
14:15
정리
04:55
+ 과학적 사고방법, 이진수를 이용한 꼼수
18 lectures 01:38:11
과학적 사고방법
05:51
귀납법, 연역법, 과학적 사고방법과 관련 있는 것들
06:09
과학적 사고방법 과정
06:34
과학적 사고방법이 주는 교훈
09:08
머신러닝과 과학적 사고방법
05:20
이진수를 이용한 꼼수
03:38
비트 연산을 사용한 0 초기화
03:55
영상 퀴즈
1 question
XOR 연산으로 두 수 바꾸기
04:01
2진수의 짝수/홀수 판단
01:56

2진수의 짝수/홀수 판단에 대해 복습해봅니다.

복습 퀴즈
1 question
비트 마스킹
03:42
비트 마스킹: 양수/음수 판단
02:04
비트 플래그, 특정 플래그 바꾸기
10:20

비트 플래그에 대해 복습해봅니다.

복습 퀴즈
1 question
비트 마스킹: 데이터 패킹, 기수(radix) 정렬
06:06
비트 마스킹: 대소문자 변환
04:44
영상 퀴즈
2 questions
비트 마스킹: 2의 승수 판별하기
09:02
이러한 꼼수들이 왜 중요할까?
03:45
정리
05:24
+ 수학적 귀납법, 재귀, 분할 정복
20 lectures 02:15:43
수학적 귀납법
07:27
수학적 귀납법의 실생활 예: 도미노 쓰러뜨리기
04:45
수학적 귀납법과 재귀 함수의 연관성
05:13
수학적 귀납법으로 코드 작성하기
06:39
내 스스로 만든 공식 검증하기
07:40
공식 증명: 홀수인 자연수 n개의 합 구하기
04:34
공식 증명: 멱집합의 원소수 구하기
06:06

수학적 귀납법에 대해 복습해봅니다.

복습 퀴즈
2 questions
재귀와 분할 정복, 재귀
04:04
재귀 복습: 피보나치 수열
06:54
재귀 복습: 하노이의 탑
05:27
재귀로 풀 수 있는 다양한 문제, 다중 분기 재귀
05:37

재귀에 대해 복습해봅니다.

복습 퀴즈
1 question
분할 정복, 분할 정복 예: 배열에서 요소 찾기, 시간 복잡도
04:57
오름차순으로 정렬된 배열에서 요소 찾기, 시간 복잡도의 변화
04:34
이진 탐색(binary search)
13:17
분할 정복 알고리듬 예: 최댓값 구하기
03:54
분할 정복 알고리듬의 필요성, 멀티 스레딩
09:26
병렬(parallel) 알고리듬
05:55
분산 시스템
13:03

분할 정복에 대해 복습해봅니다.

복습 퀴즈
1 question
정리
06:24
+ 벡터, 튜플, 행렬
28 lectures 02:28:26
벡터
02:00
전통적 의미의 벡터
06:34
프로그래밍에서 벡터를 표현하는 방법, 성분 표기법
06:44
벡터 성분으로 길이, 각도 구하기
05:53

벡터에 대해 복습해봅니다.

복습 퀴즈
2 questions
벡터의 연산
01:22
벡터의 각 성분을 2배로 늘리기
02:05
단위(unit) 벡터
03:36
다른 벡터로부터 단위 벡터 구하기
05:10
벡터의 덧셈, 벡터의 뺄셈
09:35

단위 벡터, 벡터의 덧셈, 벡터의 뺄셈에 대해 복습해봅니다.

복습 퀴즈
2 questions
내적
09:50
벡터가 프로그래밍에 필요한 이유
02:41
튜플(tuple)
08:22

튜플에 대해 복습해봅니다.

복습 퀴즈
1 question
행렬, 행렬의 구성, 행렬의 크기와 요소 접근, 정사각 행렬
07:43
벡터 연산 행렬에 적용하기, 전치 행렬(transpose matrix)
06:20
행렬 연산이 필요한 이유 1
06:43
행렬 연산이 필요한 이유 2, 행렬과 벡터의 곱
05:17
벡터 X 행렬 곱
08:24

행렬과 벡터의 곱에 대해 복습해봅니다.

복습 퀴즈
6 questions
벡터 값 안바꾸고 벡터 X 행렬 곱 하기, 단위 행렬(identity matrix)
04:33
행렬 X 행렬 곱 1
04:36
행렬 X 행렬 곱 2
03:34
행렬 X 행렬 곱 예
06:17

행렬 X 행렬 곱에 대해 복습해봅니다.

복습 퀴즈
3 questions
행렬의 변환
04:21
행렬의 변환: 두 배 확대하는 행렬의 예
05:16
모든 변환 원래 상태로 되돌리기
01:54
역행렬
04:53
역행렬이 존재하지 않는 행렬
01:32
공간 변환 행렬, 행렬의 용도
09:02

역행렬에 대해 복습해봅니다.

복습 퀴즈
3 questions
정리
04:09