Foundations of Computer Science

Computer science is defined as an approach that includes science and practice to computation and its application. It entails a systematic way of studying structure, feasibility ,expression and mechanization of methodological procedures which underlie the acquisition, representation, processing, communication, storage and access of information which can either be encoded as bits in a computer or transcribed in protein structures and genes in a biological cell. Therefore, computer scientist areas of specialization are computation theory and computational system design. In addition to that, computer science is dived into various sub-fields that are categorized into theoretical and practical disciplines. For instance, computational complexity theory (Explores abstract things like computational fundamental properties and intractable problems) while computer graphics focuses on applications that are real-world visual.

History of Foundation of computer science

Foundation of Computer Science (FOCS) that is the Annual IEE Symposium on FOCS is referred to as a conference in academics that is found in computer science, specifically the field of theory. It was founded as an exhibition of theory of Switching Circuit and Logical design in 1960 though this conference failed to publish separate proceedings although they were later issued during the second half of 1961s conference proceedings. Due to breadth conference increase the name was changed to its present one in 1975 when during this time a distinctive cover art which is an important feature in Foundation of Computer Science up to date was produced by Alvy Ray Smith. The stylized fox logo for FOCS was established for the 26th FOCS hence a 50th anniversary for FOCS was celebrated in 2009.

Complexity Theory

This is a central sub-field of computer science theoretical foundations whose primary concerns are studying intrinsic complexity found in computational task which mainly looks at natural resources of computation and puts a consideration to solving the class of problems by effect of limiting the natural resources to the problems. This theory also focuses on asymptotic whereby it studies this complexity as data size enhances. Besides that complexity theory has boned witness two main research efforts whereby the first effort objective is to establish lower concrete bounds on the problems of complexities through analyzing the evolution of computation process hence termed as low-level computation analysis while the second research aim is to explore the connections that exist among problems of computation and notions without having the ability to give an absolute statement thus it is regarded as high-level computation study.