기본적인 논리, 집합론 및 증명기법을 강의하며, 집합, 함수, 행렬, 그래프 등으로 표현된 이산 구조를 소개한다.

컴퓨터개론및실습 강의를 바탕으로 좀 더 복잡한 형태의 프로그래밍 기법에 대하여 강의 및 실습을 한다.

컴퓨터 하드웨어를 이해하기 위한 기초 전기/전자회로에 대해 학습하고 하드웨어 모듈을 이용하여 시스템을 구축한다. 구축된 시스템의 소프트웨어를 설계하고 구현하여 실행한다. 이를 통해 컴퓨터 시스템의 하드웨어와 소프트웨어의 동작을 이해한다.

선형방정식의 해를 구하고 고차원 벡터 공간을 이해할 수 있다.