Ciencia computacional teórica

La ciencia computacional teórica es una colección de temas de Ciencias de la computación que se centra en los aspectos más abstractos, lógicos y matemáticos de la computación, tales como Teoría de la computación, Análisis de algoritmos, Teoría de categorías y Semántica formal de lenguajes de programación. Pese a no ser un tema aislado, los que se dedican a este tema forman un subgrupo distinto dentro de los investigadores en ciencias de la computación.


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Ciencia cognitiva — Las ciencias cognitivas: teorías explicativas en torno a las funciones de la mente, encefálicamente incorporadas, en sujetos socio comunicativamente vinculados. Se denomina ciencia cognitiva al estudio interdisciplinario de cómo la información es …   Wikipedia Español

  • Lingüística computacional — La lingüística computacional es un campo multidisciplinar de la lingüística y la informática que utiliza la informática para estudiar y tratar el lenguaje humano. Para lograrlo, intenta modelar de forma lógica el lenguaje natural desde un punto… …   Wikipedia Español

  • Un nuevo tipo de ciencia — Una nueva clase de ciencia (en inglés, A New Kind of Science) es un libro de Stephen Wolfram, publicado en 2002. Contiene un estudio empírico y sistemático de los sistemas computacionales tales como los autómatas celulares. Wolfram denomina… …   Wikipedia Español

  • Química computacional — Saltar a navegación, búsqueda La química computacional es una rama de la química que utiliza computadores para ayudar a resolver problemas químicos. Utiliza los resultados de la química teórica, incorporados en algún software para calcular las… …   Wikipedia Español

  • Historia de la ciencia en la Argentina — Luis Leloir (a la izquierda) festejando con sus compañeros el día que fue galardonado con el Premio Nobel de Química de 1970. La historia de la ciencia en la …   Wikipedia Español

  • Matemáticas discretas — Las matemáticas discretas son un área de las matemáticas encargadas del estudio de los conjuntos discretos: finitos o infinitos numerables. En oposición a las matemáticas continuas, que se encarga del estudio de conceptos como la continuidad y el …   Wikipedia Español

  • Gramática formal — Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas. Una gramática formal …   Wikipedia Español

  • Problema abstracto — Saltar a navegación, búsqueda En ciencia computacional teórica, un problema abstracto o problema computacional es una relación entre un conjunto de instancias y un conjunto de soluciones. Un problema abstracto permite establecer formalmente la… …   Wikipedia Español

  • László Babai — László Babai, apodado Laci por sus colegas y nacido el 20 de julio de 1950 en Budapest, es catedrático de Matemática y Computación en la Universidad de Chicago. Su investigación se centra en la teoría de la complejidad computacional, algoritmos,… …   Wikipedia Español

  • Lógica epistémica — La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento. Mientras que la epistemología posee una larga tradición filosófica que se origina en la Grecia Antigua, la lógica epistémica es un desarrollo …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.