소프트웨어 공학용 수학

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

아래 모든 날짜는 시간대 입니다.
   열리는 날    닫히는 날
수강기간
2024-09-02 00:00:00 GMT
2024-12-15 23:59:59 GMT
수강신청기간
2024-08-19 00:00:00 GMT
2024-09-01 23:59:59 GMT

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

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

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

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

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

수강 시작 날짜 : 2024-09-02 00:00:00 GMT

수업 내용
  • 과목 설명
  • 숫자 체계(10진법, 2진법, 8진법, 16진법)
  • 진수 변환
  • 비트와 바이트

동영상 강의 범위(총 2시간 36분): 이 과목에서 사용하는 서비스 및 도구 ~ 컴퓨터의 데이터 단위

과제 및 실습

  • 실습 1

  • 과제 1  (제출 마감: 2024-09-22 22:00:00 GMT)

수업 내용
  • 다양한 진법 간의 관계
  • 컴퓨터의 정수 표현법
    • 부호 없는 정수
    • 부호 있는 정수
  • 1의 보수, 2의 보수
  • BCD (Binary-Coded Decimal)
  • 2진수의 사칙연산
  • 언더플로와 오버플로
  • 컴퓨터의 문자 표현법
    • 아스키(ASCII)
    • 멀티바이트
    • 유니코드
    • 인코딩 (UTF-8, UTF-16, UTF-32)

동영상 강의 범위(총 2시간 52분): 다양한 진법간의 관계 ~ 정리

과제 및 실습

  • 실습 2

  • 과제 1  (제출 마감: 2024-09-22 22:00:00 GMT)

수업 내용
  • 컴퓨터의 실수 표현법
  • 고정소수점 수
  • 부동소수점 수 (IEEE754)

동영상 강의 범위(총 2시간 28분): 실수 ~ 정리

과제 및 실습

  • 실습 3

  • 과제 1  (제출 마감: 2024-09-22 22:00:00 GMT)

수업 내용
  • 집합의 개념과 관계
  • 집합의 연산
  • 함수

동영상 강의 범위(총 1시간 21분): 집합의 개념과 관계 ~ 정리

과제 및 실습

  • 실습 4

  • 과제 2  (제출 마감: 2024-10-13 22:00:00 GMT)

수업 내용
  • 명제
  • 불 대수(Boolean algebra)
  • 논리 회로 설계
  • 논리 게이트의 조합

동영상 강의 범위(총 2시간 01분): 논리 ~ 정리

과제 및 실습

  • 실습 5

  • 과제 2  (제출 마감: 2024-10-13 22:00:00 GMT)

수업 내용
  • 조건명제
  • 증명
  • 모순에 의한 증명
  • 사례에 의한 증명 (Proof by cases)
  • 존재/반례 증명

동영상 강의 범위(총 1시간 58분): 조건 명제 ~ 정리

과제 및 실습

  • 실습 6

  • 과제 2  (제출 마감: 2024-10-13 22:00:00 GMT)

수업 내용
  • 과학적 사고방법
  • 이진수를 이용한 꼼수
    • 비트 마스킹

동영상 강의 범위(총 1시간 38분): 과학적 사고방법 ~ 정리

과제 및 실습

  • 과제 3  (제출 마감: 2024-11-10 22:00:00 GMT)

수업 내용
  • 수업 및 실습/과제 제출 없음 (이유: 중간고사 주간)
과제 및 실습

  • 과제 3  (제출 마감: 2024-11-10 22:00:00 GMT)

수업 내용
  • 수학적 귀납법
  • 재귀
  • 분할 정복

동영상 강의 범위(총 2시간 16분): 수학적 귀납법 ~ 정리

과제 및 실습

  • 실습 7

  • 과제 3  (제출 마감: 2024-11-10 22:00:00 GMT)

수업 내용
  • 벡터(vector)
  • 튜플(tuple)
  • 행렬(matrix)

동영상 강의 범위(총 2시간 29분): 벡터 ~ 정리

과제 및 실습

  • 실습 8

  • 과제 3  (제출 마감: 2024-11-10 22:00:00 GMT)

수업 내용
  • 경우의 수
  • 경우의 수 세기(counting)
  • 순열
  • 조합
  • 확률
  • 확률 분포

동영상 강의 범위(총 3시간 20분): 조합론과 경우의 수 ~ 연속 확률 분포

과제 및 실습

  • 실습 9

  • 과제 4  (제출 마감: 2024-12-01 22:00:00 GMT)

수업 내용
  • 이항 분포
  • 몬테카를로 알고리듬
  • 통계
  • 정규 분포

동영상 강의 범위(총 4시간 19분): 베르누이 시행 ~ 정리

과제 및 실습

  • 실습 10

  • 과제 4  (제출 마감: 2024-12-01 22:00:00 GMT)

수업 내용
  • 도수 분포표
  • 히스토그램 (histogram)
  • 데이터 비닝(data binning)
  • 근삿값 구하기(approximation)

동영상 강의 범위(총 1시간 31분): 도수 분포표 ~ 정리

과제 및 실습

  • 실습 11

  • 과제 4  (제출 마감: 2024-12-01 22:00:00 GMT)

수업 내용
  • 점근 표기법(asymptotics)
  • 빅오 표기법(big-O notation)
  • 지수(exponent)
  • 로그(logarithm)

동영상 강의 범위(총 1시간 13분): 점근 표기법 ~ 에필로그

과제 및 실습

  • 없음

수업 내용
  • 수업 및 실습/과제 제출 없음 (이유: 기말고사 주간)
과제 및 실습

  • 없음

제목   공지일   제출 마감  
실습 1
2024-09-02 00:00:00 GMT (1주 차) 2024-09-08 22:00:00 GMT
실습 2
2024-09-09 00:00:00 GMT (2주 차) 2024-09-15 22:00:00 GMT
실습 3
2024-09-16 00:00:00 GMT (3주 차) 2024-09-22 22:00:00 GMT
실습 4
2024-09-23 00:00:00 GMT (4주 차) 2024-09-29 22:00:00 GMT
실습 5
2024-09-30 00:00:00 GMT (5주 차) 2024-10-06 22:00:00 GMT
실습 6
2024-10-07 00:00:00 GMT (6주 차) 2024-10-13 22:00:00 GMT
실습 7
2024-10-28 00:00:00 GMT (9주 차) 2024-11-03 22:00:00 GMT
실습 8
2024-11-04 00:00:00 GMT (10주 차) 2024-11-10 22:00:00 GMT
실습 9
2024-11-11 00:00:00 GMT (11주 차) 2024-11-17 22:00:00 GMT
실습 10
2024-11-18 00:00:00 GMT (12주 차) 2024-11-24 22:00:00 GMT
실습 11
2024-11-25 00:00:00 GMT (13주 차) 2024-12-01 22:00:00 GMT
과제 1
2024-09-02 00:00:00 GMT (1주 차) 2024-09-22 22:00:00 GMT
과제 2
2024-09-23 00:00:00 GMT (4주 차) 2024-10-13 22:00:00 GMT
과제 3
2024-10-14 00:00:00 GMT (7주 차) 2024-11-10 22:00:00 GMT
과제 4
2024-11-11 00:00:00 GMT (11주 차) 2024-12-01 22:00:00 GMT
2024-09-15 23:59:59 GMT 환불 신청 마감
  • 성적표에 기록되지 않음
  • 전액 환불 (처리 수수료 US$ 100 공제)
2024-11-03 23:59:59 GMT 수강 철회 신청 마감
  • 성적표에 "W"로 표시
수료하지 않은 선수과목에 대한 자가평가 질문
  1. COMP1500: 나는 C#에서 재귀함수를 이용하여 하노이의 탑 문제를 풀 수 있다.
  2. COMP1500: 나는 C#을 이용하여 .csv 파일 하나를 읽어 2D 문자열 배열로 만들 수 있다.
권장 소프트웨어
  1. 윈도우 운영체제
  2. 비주얼 스튜디오 2022
    • 주의: 비주얼 스튜디오 코드와는 다름
  3. 기타 POCU 아카데미에서 제공하는 설치형 프로그램(윈도우즈/맥/리눅스 지원)
시험 응시 준비물

  1. 반드시 PC에서(모바일은 응시 불가) 크롬(Chrome) 브라우저를 사용해야 합니다.

  2. 시험을 볼 때 시험 감독 서비스를 사용하며, 서비스를 이용하기 위한 시스템 최소 사양은 다음과 같습니다.

윈도우 맥 리눅스 크롬 운영체제
운영체제 윈도우 7+ 맥 OSX 10.9+ 우분투 18.04+ 크롬 58+
프로세서 인텔 펜티엄 이상 인텔 또는 ARM 인텔 펜티엄 이상 인텔 또는 ARM
사용 가능한 디스크 공간 250 MB 250 MB 250 MB 250 MB
램(메모리) 4 GB1 4 GB1 4 GB1 4 GB1
업로드 속도 0.092 Mbps - 0.244 Mbps
마이크 내장형 또는 독립형
웹캠 VGA 해상도 320x240 이상, 내장형 또는 독립형
1   메모리의 적어도 25%는 다른 응용 프로그램에서 사용되지 않는다고 가정할 때의 최소 용량입니다. 시험 도중에 시스템 크래시가 나는 일이 생기지 않도록 최소 용량의 50%를 확보해 두길 권장합니다.

통과 점수: 85%

  • 실습 1 (1.00 %)

  • 실습 2 (2.40 %)

  • 실습 3 (2.40 %)

  • 실습 4 (2.40 %)

  • 실습 5 (2.40 %)

  • 실습 6 (2.40 %)

  • 실습 7 (2.40 %)

  • 실습 8 (2.40 %)

  • 실습 9 (2.40 %)

  • 실습 10 (2.40 %)

  • 실습 11 (2.40 %)

  • 과제 1 (6.25 %)

  • 과제 2 (6.25 %)

  • 과제 3 (6.25 %)

  • 과제 4 (6.25 %)

  • 중간고사 (25.0%)

  • 기말고사 (25.0%)

학생 비율 점수
   열리는 날    닫히는 날
수강기간
2025-05-05 00:00:00 GMT
2025-08-17 23:59:59 GMT
수강신청기간
2025-04-21 00:00:00 GMT
2025-05-04 23:59:59 GMT

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

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

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

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

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

수강 시작 날짜 : 2025-05-05 00:00:00 GMT

수업 내용
  • 과목 설명
  • 숫자 체계(10진법, 2진법, 8진법, 16진법)
  • 진수 변환
  • 비트와 바이트

동영상 강의 범위(총 2시간 36분): 이 과목에서 사용하는 서비스 및 도구 ~ 컴퓨터의 데이터 단위

과제 및 실습

  • 실습 1

  • 과제 1  (제출 마감: 2025-05-25 22:00:00 GMT)

수업 내용
  • 다양한 진법 간의 관계
  • 컴퓨터의 정수 표현법
    • 부호 없는 정수
    • 부호 있는 정수
  • 1의 보수, 2의 보수
  • BCD (Binary-Coded Decimal)
  • 2진수의 사칙연산
  • 언더플로와 오버플로
  • 컴퓨터의 문자 표현법
    • 아스키(ASCII)
    • 멀티바이트
    • 유니코드
    • 인코딩 (UTF-8, UTF-16, UTF-32)

동영상 강의 범위(총 2시간 52분): 다양한 진법간의 관계 ~ 정리

과제 및 실습

  • 실습 2

  • 과제 1  (제출 마감: 2025-05-25 22:00:00 GMT)

수업 내용
  • 컴퓨터의 실수 표현법
  • 고정소수점 수
  • 부동소수점 수 (IEEE754)

동영상 강의 범위(총 2시간 28분): 실수 ~ 정리

과제 및 실습

  • 실습 3

  • 과제 1  (제출 마감: 2025-05-25 22:00:00 GMT)

수업 내용
  • 집합의 개념과 관계
  • 집합의 연산
  • 함수

동영상 강의 범위(총 1시간 21분): 집합의 개념과 관계 ~ 정리

과제 및 실습

  • 실습 4

  • 과제 2  (제출 마감: 2025-06-15 22:00:00 GMT)

수업 내용
  • 명제
  • 불 대수(Boolean algebra)
  • 논리 회로 설계
  • 논리 게이트의 조합

동영상 강의 범위(총 2시간 01분): 논리 ~ 정리

과제 및 실습

  • 실습 5

  • 과제 2  (제출 마감: 2025-06-15 22:00:00 GMT)

수업 내용
  • 조건명제
  • 증명
  • 모순에 의한 증명
  • 사례에 의한 증명 (Proof by cases)
  • 존재/반례 증명

동영상 강의 범위(총 1시간 58분): 조건 명제 ~ 정리

과제 및 실습

  • 실습 6

  • 과제 2  (제출 마감: 2025-06-15 22:00:00 GMT)

수업 내용
  • 과학적 사고방법
  • 이진수를 이용한 꼼수
    • 비트 마스킹

동영상 강의 범위(총 1시간 38분): 과학적 사고방법 ~ 정리

과제 및 실습

  • 과제 3  (제출 마감: 2025-07-13 22:00:00 GMT)

수업 내용
  • 수업 및 실습/과제 제출 없음 (이유: 중간고사 주간)
과제 및 실습

  • 과제 3  (제출 마감: 2025-07-13 22:00:00 GMT)

수업 내용
  • 수학적 귀납법
  • 재귀
  • 분할 정복

동영상 강의 범위(총 2시간 16분): 수학적 귀납법 ~ 정리

과제 및 실습

  • 실습 7

  • 과제 3  (제출 마감: 2025-07-13 22:00:00 GMT)

수업 내용
  • 벡터(vector)
  • 튜플(tuple)
  • 행렬(matrix)

동영상 강의 범위(총 2시간 29분): 벡터 ~ 정리

과제 및 실습

  • 실습 8

  • 과제 3  (제출 마감: 2025-07-13 22:00:00 GMT)

수업 내용
  • 경우의 수
  • 경우의 수 세기(counting)
  • 순열
  • 조합
  • 확률
  • 확률 분포

동영상 강의 범위(총 3시간 20분): 조합론과 경우의 수 ~ 연속 확률 분포

과제 및 실습

  • 실습 9

  • 과제 4  (제출 마감: 2025-08-03 22:00:00 GMT)

수업 내용
  • 이항 분포
  • 몬테카를로 알고리듬
  • 통계
  • 정규 분포

동영상 강의 범위(총 4시간 19분): 베르누이 시행 ~ 정리

과제 및 실습

  • 실습 10

  • 과제 4  (제출 마감: 2025-08-03 22:00:00 GMT)

수업 내용
  • 도수 분포표
  • 히스토그램 (histogram)
  • 데이터 비닝(data binning)
  • 근삿값 구하기(approximation)

동영상 강의 범위(총 1시간 31분): 도수 분포표 ~ 정리

과제 및 실습

  • 실습 11

  • 과제 4  (제출 마감: 2025-08-03 22:00:00 GMT)

수업 내용
  • 점근 표기법(asymptotics)
  • 빅오 표기법(big-O notation)
  • 지수(exponent)
  • 로그(logarithm)

동영상 강의 범위(총 1시간 13분): 점근 표기법 ~ 에필로그

과제 및 실습

  • 없음

수업 내용
  • 수업 및 실습/과제 제출 없음 (이유: 기말고사 주간)
과제 및 실습

  • 없음

제목   공지일   제출 마감  
실습 1
2025-05-05 00:00:00 GMT (1주 차) 2025-05-11 22:00:00 GMT
실습 2
2025-05-12 00:00:00 GMT (2주 차) 2025-05-18 22:00:00 GMT
실습 3
2025-05-19 00:00:00 GMT (3주 차) 2025-05-25 22:00:00 GMT
실습 4
2025-05-26 00:00:00 GMT (4주 차) 2025-06-01 22:00:00 GMT
실습 5
2025-06-02 00:00:00 GMT (5주 차) 2025-06-08 22:00:00 GMT
실습 6
2025-06-09 00:00:00 GMT (6주 차) 2025-06-15 22:00:00 GMT
실습 7
2025-06-30 00:00:00 GMT (9주 차) 2025-07-06 22:00:00 GMT
실습 8
2025-07-07 00:00:00 GMT (10주 차) 2025-07-13 22:00:00 GMT
실습 9
2025-07-14 00:00:00 GMT (11주 차) 2025-07-20 22:00:00 GMT
실습 10
2025-07-21 00:00:00 GMT (12주 차) 2025-07-27 22:00:00 GMT
실습 11
2025-07-28 00:00:00 GMT (13주 차) 2025-08-03 22:00:00 GMT
과제 1
2025-05-05 00:00:00 GMT (1주 차) 2025-05-25 22:00:00 GMT
과제 2
2025-05-26 00:00:00 GMT (4주 차) 2025-06-15 22:00:00 GMT
과제 3
2025-06-16 00:00:00 GMT (7주 차) 2025-07-13 22:00:00 GMT
과제 4
2025-07-14 00:00:00 GMT (11주 차) 2025-08-03 22:00:00 GMT
2025-05-18 23:59:59 GMT 환불 신청 마감
  • 성적표에 기록되지 않음
  • 전액 환불 (처리 수수료 US$ 100 공제)
2025-07-06 23:59:59 GMT 수강 철회 신청 마감
  • 성적표에 "W"로 표시
수료하지 않은 선수과목에 대한 자가평가 질문
  1. COMP1500: 나는 C#에서 재귀함수를 이용하여 하노이의 탑 문제를 풀 수 있다.
  2. COMP1500: 나는 C#을 이용하여 .csv 파일 하나를 읽어 2D 문자열 배열로 만들 수 있다.
권장 소프트웨어
  1. 윈도우 운영체제
  2. 비주얼 스튜디오 2022
    • 주의: 비주얼 스튜디오 코드와는 다름
  3. 기타 POCU 아카데미에서 제공하는 설치형 프로그램(윈도우즈/맥/리눅스 지원)
시험 응시 준비물

  1. 반드시 PC에서(모바일은 응시 불가) 크롬(Chrome) 브라우저를 사용해야 합니다.

  2. 시험을 볼 때 시험 감독 서비스를 사용하며, 서비스를 이용하기 위한 시스템 최소 사양은 다음과 같습니다.

윈도우 맥 리눅스 크롬 운영체제
운영체제 윈도우 7+ 맥 OSX 10.9+ 우분투 18.04+ 크롬 58+
프로세서 인텔 펜티엄 이상 인텔 또는 ARM 인텔 펜티엄 이상 인텔 또는 ARM
사용 가능한 디스크 공간 250 MB 250 MB 250 MB 250 MB
램(메모리) 4 GB1 4 GB1 4 GB1 4 GB1
업로드 속도 0.092 Mbps - 0.244 Mbps
마이크 내장형 또는 독립형
웹캠 VGA 해상도 320x240 이상, 내장형 또는 독립형
1   메모리의 적어도 25%는 다른 응용 프로그램에서 사용되지 않는다고 가정할 때의 최소 용량입니다. 시험 도중에 시스템 크래시가 나는 일이 생기지 않도록 최소 용량의 50%를 확보해 두길 권장합니다.

통과 점수: 85%

  • 실습 1 (1.00 %)

  • 실습 2 (2.40 %)

  • 실습 3 (2.40 %)

  • 실습 4 (2.40 %)

  • 실습 5 (2.40 %)

  • 실습 6 (2.40 %)

  • 실습 7 (2.40 %)

  • 실습 8 (2.40 %)

  • 실습 9 (2.40 %)

  • 실습 10 (2.40 %)

  • 실습 11 (2.40 %)

  • 과제 1 (6.25 %)

  • 과제 2 (6.25 %)

  • 과제 3 (6.25 %)

  • 과제 4 (6.25 %)

  • 중간고사 (25.0%)

  • 기말고사 (25.0%)

학생 비율 점수