| 17 |
[Overview] SW교육론
 |
moonkun |
2023-06-01 |
48 |
| 16 |
[Special Lecture] Theory of Multi-Paradigm Programming Languages
|
moonkun |
2023-06-01 |
67 |
| 15 |
[Term Project] Smart IoT for CPS with Mobility: Overview
|
moonkun |
2023-05-18 |
58 |
| 14 |
[LN 4-1] Formal Methods : NEMO'22 (Updated)
|
moonkun |
2023-05-08 |
33 |
| 13 |
[LN 4-0] Formal Methods : Motivation
|
moonkun |
2023-05-08 |
45 |
| 12 |
[LN-3] Motivation for Logic (Parts C, D)
|
moonkun |
2023-05-04 |
14 |
| 11 |
[LN-3] Motivation for Logic (Parts A, B)
|
moonkun |
2023-04-06 |
50 |
| 10 |
[LO-3] Motivation for Logic
|
moonkun |
2023-04-06 |
26 |
| 9 |
[HW-3][3주차] Informal Fallacy
|
JS |
2023-03-23 |
48 |
| 8 |
[LA-3] Assignment: Informal Fallacy
|
moonkun |
2023-03-17 |
46 |
| 7 |
[LN-2] Evolution of Computer Systems, Curriculum, etc.
|
moonkun |
2023-03-16 |
50 |
| 6 |
[LO-2] Evolution: Computer Systems
|
moonkun |
2023-03-16 |
5 |
| 5 |
[HW-2][2주차] 나는 컴퓨터 과학자인가? 컴퓨터 공학자인가?
|
JS |
2023-03-16 |
16 |
| 4 |
[LN-1][PPT] History and Overview
|
moonkun |
2023-03-09 |
21 |
| 3 |
[LO-1][한글] History and AI Singularity
|
moonkun |
2023-03-09 |
14 |
| 2 |
[LN-0][PPT] Syllabus
|
moonkun |
2023-03-09 |
10 |
| 1 |
[LO-0][한글] Syllabus
|
moonkun |
2023-03-08 |
14 |
