1. 서울대한양대 ( 안 산 ) 충남대 1년1년 컴퓨터기초 (C) 컴퓨터프로그래밍 (C, Java) 컴퓨터프로그래밍 (C) 2. 봄 프로그래밍 원리 (Scheme, ML) Structure & Interpretation of Computer Programs 프로그래밍 방법론 (Java) 컴퓨터프로그래밍 (C) 튜터 (3,4 학년, 2-30 만 / 월 ) 2. 가을 프로그래밍 원리 (C++) 고급 프로그래밍 (ML)*Python 이용계획 : 책들 이 흥미로움. 책진도 = 게임개발과정

2. 영국 +MIT 기초 프로그래밍교육

3. Imperial College 1 학년 (term1): Programming I – 필수 –fundamentals of programming & problem solving –Haskell and Prolog –mathematical variables and scope, functions, assertions & relations, basic data types, recursive functions, algebraic data types, polymorphism & overloading, list processing, higher-order functions, lazy & eager evaluations 1 학년 (term2): Object Oriented Programming – 필수 –basic concepts of oo program design, principles of abstraction & modularity & reusability –Java 1 학년 (term2): Reasoning About Programs – 필수 –pre/post conditions, loop invariants, standard algorithms and their correctness, mathematical induction, reasoning aout Haskell programs 1 학년 (term3): Programming II – 필수 –practical skills in specification, design, coding & testing –imperative programming using Prolog 2 학년 : C Short Course ( 필수 )

4. Cambridge Univ. Computer Laboratory 전공 1 년 강좌 –Functional Programming in ML –Object-Oriented Programming in Java –Software Design 전공 2 년 강좌 –Logic & Proof –Foundations of Functional Programming –Concurrent Programming in Java –Individual Programming Exercises –Group Programming Project

5. MIT EECS 1 학년 : 6.00 Introduction to Computer Science & Programming – 선택 –for students with little or no programming experience –algorithms, simulations, use of sw libraries 1 학년 : 6.001 Structure and Interpretation of Computer Programs – 필수 –control of complexity in large programming systems, building abstractions, higher-order procedures, compound data, data abstraction, generic operations, message passing, streams and infinite data structures, oo programming, interpretation, compilation –“student can explain and apply the basic methods from programming languages to analyze computational systems, and to generate computational solutions to abstract problems” –Scheme