|COMPUTER SCIENCE/DISCRETE MATH II|
|Topic:||Black Boxes, Inc.|
|Date:||Tuesday, April 18|
|Time/Room:||10:30am - 12:30pm/S-101|
I will survey a number of settings withing theoretical computer sceince in which certain computations are abstracted by "black boxes", namely devices for which we can observe the input-output behavior, but not the actual "guts" of the computation. I will try to illustrate the advantages and limitations of this abstraction in different contexts.