topics:
1. computability logic: Japaridze:
in the beginning was game semantics

2. traditonal software engineering: (textbook, ppt자료)

3. book:
title1: 21 c 형 programming title
     2: 그들이 프로그래밍에 대해 말하지 않은 10가지
report: 5 page Java 비판, CL 찬양 그들은 말한다
        : 객체는 method를 수행하고 method는 함수나 procedure이다.
         그들은 말하지 않는다: 부연설명:

5. term project:
구현전단계까지:
- idea brain storming:

grade: - class participation: 20%

----------------------------------------------
problem: coffee vending machine: how can we explain a coffee vending machine?
유: 외모: 성격: capability: 론: sw = capability를 어떻게 표현하느냐를 연구하는 학문
=> CL is the first approach to express capability:

'Courses' 카테고리의 다른 글

[임베디드] 명령어 실습  (0) 2011.09.15
[소공] 실습 3주차  (0) 2011.09.14
[소공] 11.09.06  (0) 2011.09.10
[소공] 실습 1주차  (0) 2011.08.31
[소공] 수업 계획  (0) 2011.08.30

+ Recent posts