Theory and Formal Methods Lab.


< Graduate Course >

Semester

Code

Title

2015-1

CIT503

고급알고리즘

2014-2

CIT705

고안정성임베디드소프트웨어특별연구3

2014-1

IMS5006

보안개발방법론

2014-1

CIT703

임베디드소프트웨어특별연구1

2013-1

CIT503

고급알고리즘

2012-2

CIT706

임베디드소프트웨어인허가특별연구4

2012-1

CIT504

고급자료구조

2011-2

CIT705

고안정성임베디드소프트웨어특별연구3

2011-1

CIT602

휴대폰응용

2010-2

CRE512

System Modeling (시스템 모델링)

2010-1

CRE602

Advanced Modeling and Simulation (고급 모델링 및 시뮬레이션)

2009-2

CRE703

Theory of Modeling (모델링 이론)

2009-1

CRE704

Model Checking and Verification (모델 체킹 및 검증)

2008-2

CRE622

Theories in Formal Methods (정형기법 이론)

2008-1

CRE501

Computational Logic (전산 논리)

2007-2

CRE713

Embedded System Testing (임베디드시스템테스팅)

2007-1

CRE712

Theory & Models in Real-Time Systems (실시간시스템 모델링)

2006-2

CSE577

Introduction to Formal Methods (정형기법입문)

2006-1

CSE610

Embedded Systems (내장시스템)

2005-2

CSE636

Theories in Formal Methods (정형기법 이론)

2005-1

CSE578

Advanced Automaton Theory (고급오토마타이론)

2004-2

CSE704

Advanced Real-Time Systems (실시간시스템특론)

2004-1

CSE803

Advanced Programming Languages I (프로그래밍언어특수연구I)

2003-2

CSE577

Introduction to Formal Methods (정형기법입문)

2002-1

CSE576

Introduction to Process Algebrae (프로세스알제브라입문)

2001-2

CSE610

Embedded Systems (내장시스템)

2001-1

CSE641

Computer Securities (컴퓨터보안)

2000-2

CSE527

Introduction to Internet Commerce (인터넷상거래입문)

2000-1

CSE504

Theory of Computation (계산학이론)

1999-2

CSE707

Advanced Formal Methods (정형기법특론)



< Undergraduate Course >

Semester

Code

Title

2015-1

CYDF214

과목23

2014-2

CYDF214

과목23

2014-2

CYDF221

논리설계

2014-1

CYDF201

과목5

2014-1

CNCE220

Theory of Computation (계산 이론)

2013-1

CYDF201

과목5

2013-1

CNCE220

Theory of Computation (계산 이론)

2012-2

CYDF207

과목12

2012-1

CYDF201

과목5

2012-1

CNCE220

Theory of Computation (계산 이론)

2011-2

CNCE230

Digital Design (논리회로 설계 및 실습)

2011-1

CNCE220

Theory of Computation (계산 이론)

2010-2

CNCE220

Theory of Computation (계산 이론)

2010-2

CNCE230

Digital Design (논리회로 설계 및 실습)

2009-1

CNCE230

Digital Design (논리회로 설계 및 실습)

2008-2

CNCE220

Theory of Computation (계산 이론)

2007-2

CNCE220

Theory of Computation (계산 이론)

2007-1

CNCE230

Digital Design (논리회로 설계 및 실습)

2006-2

CSCE354

Computational Logic (전산 논리)

2006-1

CSCE215

Digital Design (논리회로 설계 및 실습)

2005-2

CSCE354

Computational Logic (전산 논리)

2005-2

CSCE215

Digital Design (논리회로 설계 및 실습)

2005-1

CSCE215

Digital Design (논리회로 설계 및 실습)

2004-2

CSCE354

Computational Logic (전산 논리)

2004-1

CSCE215

Digital Design (논리회로 설계 및 실습)

2003-2

CSE294

Computational Logic (전산 논리)

2002-1

CSE431

Computational Logic (전산 논리)

2001-2

CSE212

Digital Design (논리회로 설계 및 실험)

2001-1

CSE431

Computational Logic (전산 논리)

2000-2

CSE212

Digital Design (논리회로 설계 및 실험)

2000-1

CSE431

Computational Logic (전산 논리)

1999-2

CSE412

Compiler (컴파일러)




SNS

  • Facebook Group
  • Yammer


  • ©all rights reserved