The study of the size, depth, and other attributes of circuits that decide specified languages or compute specified functions.