Ciencia computacional teórica
From Wikipedia, the free encyclopedia
Les ciencies de la computación teórica (TCS) ye una división o un subconxuntu de les ciencies de la computación y les matemátiques que s'enfoca n'aspeutos más astractos o matemáticos de la computación.
Estes divisiones y subconxuntos inclúin analises d'algoritmos y semántica formal de llinguaxes de programación. Téunicamente, amás d'estos dos, hai cientos de divisiones y subconxuntos. Caúna de les múltiples partes tienen los sos propios líderes personales individuales (de popularidá) y hai munches asociaciones y grupos sociales profesionales y publicaciones de distinción.