Computer science is the science that studies computers and various phenomena and laws around them, that is, the science that studies the structure of computer systems, program systems (software), artificial intelligence, and the nature and problems of computing itself. Computer science is a systematic discipline involving a variety of topics related to computing and information processing, ranging from abstract algorithm analysis, formal syntax, etc. to more specific topics such as programming languages, programming, software and hardware. Computer science is divided into theoretical computer science and experimental computer science. The latter is often called "computer science" rather than "experiment". The former has other names, such as computational theory, computer theory, computer science foundation, computer science mathematics foundation, etc. Mathematical literature generally refers to theoretical computer science.