CS310 Foundations of Computer Science
CS310 Foundations of Computer Science
CS310 Foundations of Computer Science
❑ CoC
No music/video/surfing in class
No copy ‘n paste from unreferenced sources
Gibbs, N. E., and Tucker, A. B. “A Model Curriculum for a Liberal Arts Degree in
Computer Science,” Comm. of the ACM, vol. 29, no. 3 (March 1986).
→formal algorithm
❑ Why formal algorithm looks so complicated?
❑ Why it is important?
❑ If we can specify an algorithm to solve a problem, then
we can automate its solution.
[Ref. 2]
Microchip
Good
Die or other part Part
Die die
Dicer tester Mounting tester
Usable
part
to ship
~1 cm ~1 cm