도경구 교수의 강의

2016년 1학기

  • [CSE1017] 프로그래밍기초 (화 10:00-12:00,14:30-16:30, 금 13:00-17:00)
  • [ENE4014] 프로그래밍언어론 (화 13:00-14:30, 목 13:00-14:30)
  • [CUL7070] 프로그래밍개론(교양)

학부

  • ENE4014 프로그래밍언어론: 2016, 2015, 2012, 2011, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996
  • CSE1017 프로그래밍기초: 2016, 2015, 2014, 2012, 2011, 2010
  • CUL7070 프로그래밍개론(교양): 2016, 2015(예비대학,1학기, 2학기)
  • CSE3009 컴파일러구조: 2014, 2000, 1999
  • CSE2016: 프로그램설계방법론: 2014
  • CSE107 논리학: 2011, 2010(E), 2009(K,E), 2008, 2007, 2006
  • CSE215 프로그램설계기초: 2009(E), 2008(E)
  • ECC203 고급프로그래밍: 2007, 2006, 2004, 2003, 2001, 2000
  • COM218 객체지향프로그래밍: 2002
  • CSE319 알고리즘해석: 1999, 1998, 1997, 1996, 1995
  • COBOL: 1997, 1996
  • 수치계산: 1995

대학원

  • 2014년 2학기: [CSE6035] Principles of Reactive Programming [English lecture]
  • 2014년 1학기: [CSE8045] Principles of Programming Languages [English lecture]
  • 2011년 1학기: [CSE845] Principles of Programming Languages [English lecture]
  • 2010년 1학기: [CSE879] 소프트웨어보안특강
  • 2009년 1학기: [CSE845] Principles of Programming Languages [English lecture]
  • 2008년 2학기: [CIN870] Formal Methods [English lecture]
  • 2007년 2학기: [CSE845] 프로그래밍언어론
  • 2006년 2학기: [CIN870] 정형기법 (Logic in Computer Science, Huth-Ryan)
  • 2004년 2학기: [CIN870] 정형기법 (Logic in Computer Science, Huth-Ryan)
  • 2004년 1학기: [CSE???] 프로그램분석기법(Principles of Program Analysis, Nielson-Nielson-Hankin)
  • 2003년 2학기: [CSE997] 타입시스템(Types and Programming Languages, Pierce)
  • 2003년 1학기: [CSE856] 프로그래밍언어의미론(Semantics with Applications, Nielson & Nielson)
  • 2002년 2학기: [CIN870] 정형기법 (Logic in Computer Science, Huth-Ryan)
  • 2002년 1학기: [CSE???] 프로그램분석기법(Principles of Program Analysis, Nielson-Nielson-Hankin)
  • 2001년 1학기: [CSE856] 프로그래밍언어의미론(Semantics of Programming Languages, Nielson-Nielson)
  • 2000년 2학기: [GHY801] 전공세미나(Programming in Haskell)
  • 2000년 1학기: [CSE857] 컴파일러(Partial Evaluation and Automatic Program Generation, Jones, et.el.)
  • 1999년 2학기: [CSE845] 프로그래밍언어론(The Structure of Typed Programming Languages, Schmidt)
  • 1999년 1학기: [CSE856] 프로그래밍언어의미론(Semantics with Applications, Nielson-Nielson)
  • 1998년 2학기: [CSE848] 계산이론(Computability, Jones)
  • 1998년 1학기: [CSE857] 컴파일러(Modern Compiler Implementation, Appel)
  • 1997년 2학기: [CSE845] 프로그래밍언어론(The Structure of Typed Programming Languages, Schmidt)
  • 1997년 1학기: 고급알고리즘해석(Logic)
  • 1996년 2학기: [CSE845] 프로그래밍언어론(Programming Language Concepts & Paradigms, Watt)
  • 1996년 1학기: 고급알고리즘해석(Algorithms, Cormen, et.el)
  • 1995년 2학기: 프로그램이론(The Structure of Typed Programming Languages, Schmidt)

산업경영대학원

  • 2001년 1학기: 프로그래밍언어론
  • 1999년 1학기: 프로그래밍언어론
  • 1997년 2학기: 알고리즘해석
  • 1996년 1학기: 프로그래밍언어론