|
|
c m s c 311
s u m m e r 2 0 0 3 |
One of the most important CS concepts is abstraction. You present the user a view of the world, the way they want to see it (or the way you think they should see it). You hide the implementation from them.
Thinking about programming in a more mathematical way. Breaking down a big problem in terms of smaller problem.
How to prove statements using first order predicate calculus. Also, how to write proofs in mathematician's English. How to be precise in stating ideas. (See CMSC 250, CMSC 330).
Key proof technique. Also, know proof by contradiction. and disproof by counter example. (CMSC 250)
What's the definition? How can we do basic running time analysis? (CMSC 351)
Fundamental operations of a CPU (see CMSC 311)
It's all stored as 0's and 1's.
Inheritance, etc. (see CMSC 214, CMSC 420, CMSC 433)