참고문헌
- Martin DAVIS, The Universal Computer The Road from Leibniz to Turing, (Korean translation by PARK J. I. and JANG Y. T. ), Knowledge of Landscape, 2006. 박정일, 장영태 역, 수학자 컴퓨터를 만들다, 지식의 풍경, 2006.
- KIM D. S., Introduction to Computers, Sengneung Publisher, 2013. 김대수, 컴퓨터 개론, 생능출판사, 2013.
- LEE S. W., An Analysis on the Relationship of Mathematics/Statistics in Software and Hardware Fields, The Mathematical Education 47(4) (2008), 505-517. 이승우, 소프트웨어 및 하드웨어분야의 트랙과 수학/통계와의 연관성 정도 파악, 한국수학교육학회지 시리즈 A <수학교육> 47(4) (2008), 505-517.
- LEE S. W., A Curriculum Analysis with respect to Computer Programming, The Korean Journal for History of Mathematics 22(2) (2009), 69-80. 이승우, 컴퓨터프로그래밍과 관련된 교과목 내용분석, 한국수학사학회지 22(2) (2009), 69-80.
- LEE S. W., Exploration of Teaching Method through Curriculum and Teaching Case connecting Math/Stat: Focused on Software Field, The Mathematical Education 50(3) (2011), 385-396. 이승우, 수학/통계와 연계된 교과과정과 교육사례를 통한 교육방안의 연구-소프트웨어 교과과정을 중심으로-, 한국수학교육학회지 시리즈 A <수학교육> 50(3) (2011), 385-396. https://doi.org/10.7468/mathedu.2011.50.3.383
- YUN N. I., LEE K. W., Computer Architecture, Sengneung Publisher, 2013. 윤남일, 이강우, 컴퓨터구조론, 생능출판사, 2013.
- 괴델의 불완전성 정리, http://navercast.naver.com
- 기호 논리학, http://terms.naver.com
- 네이피어, http://terms.naver.com
- 논리주의, http://terms.naver.com
- 라이프니츠, http://ko.wikipedia.org
- 러셀, http://navercast.naver.com
- 앨런 튜링, http://terms.naver.com
- 파스칼, http://100.daum.net
- 페아노, http://navercast.naver.com
- 프레게, http://navercast.naver.com
- 형식주의, http://terms.naver.com
- 힐베르트, http://100.daum.net