프로그래머 수학

본 과목은 프로그램 작성에 필요한 논리적인 단계를 서술하기 위한 순서도(flow-chart)의 작성과 수학의 주요 논제들인 수학적논리,관계,함수,증명법, 그래프이론 등을 학습한다.

1.	강좌 개요	강좌의 전반적인 설명과 논리 설계와 순서도 개념, 프로그래밍의 기본 논리에 대해 설명한다.
2.	순서도 작성 : 순차구조	순서도의 기호 및 종류, 단계적으로 수행되는 순차 논리에 대해 학습한다.
3.	순서도 작성 : 선택구조	판단의 기본 개념을 배우고 if~then, if~then else 등의 선택형 논리에 대해 학습한다.
4.	순서도 작성 : 반복구조	반복의 기본 개념, 데이터의 반복 처리, 반복 프로그래밍 논리에 대해 학습한다.
5.	명제 논리	수학적 논리란 무엇인지 파악하고 논리 연산자와 진리표, 논리적 동치, 추론등을 공부한다.
6.	술어 논리	술어논리 개념과 한정기호인 전체 수량자, 존재 수량자에 대해 공부한다.
7.	증명법	여러가지 증명방법(귀납적 증명법, 직접증명법, 간접증명법, 대우증명법, 모순증명법, 반례증명법)을 공부한다.
8.	관계	연관성 있는 데이터들을 구체적으로 표현하는 방법과 관계의 성질에 대하여 공부한다.
9.	관계(계속)	연관성 있는 데이터들을 구체적으로 표현하는 방법과 이를 응용하는 과정에 대하여 공부한다.
10.	그래프	그래프의 정의, 용어, 여러 가지 그래프를 소개하고 와 그래프의 표현 방법(인접 행렬, 인접 리스트 사용)에 대해 공부한다.