Computer Science/Discrete Mathematics Seminar II

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.