Are Proofs Important In Computer Science - Categories Of Conceptions Of Proofs By Students Of Computer Science Semantic Scholar : This area covers the theory and application of information and computation, and some universities also include information.