Académique Documents
Professionnel Documents
Culture Documents
COMUNICACI
N PARA LA
INTERACCION
SOCIAL
Las ciencias de
la computacin
o ciencias
Especificacin
Desarrollo de mtodos para definir formalmente (matemtica y lgicamente)
el comportamiento esperado de un algoritmo, para luego probar terminacin
y correctito.
Lenguajes de programacin y compiladores
Compiladores
Formas de traducir programas computacionales, usualmente a partir de
lenguajes de alto nivel a lenguajes de bajo nivel.
Teora de lenguajes de programacin
Lenguajes formales para expresar algoritmos y las propiedades de estos
lenguajes.
Bases de datos
Bases de datos
Estructura de datos
Minera de datos
Estudio de algoritmos para buscar y procesar informacin en documentos y
bases de datos; muy relacionada con la adquisicin de informacin.
Sistemas concurrentes, paralelos y distribuidos
Programacin concurrente
Teora y prctica de cmputos simultneos y computacin interactiva.
Redes de computadoras
Algoritmos y protocolos para comunicar eficientemente datos a travs de
largas distancias, incluye tambin la correccin de errores.
Cmputo paralelo
Computacin con el uso de mltiples computadoras y mltiples
procesadores en paralelo.
Sistemas distribuidos
Sistemas que utilizan mltiples procesadores repartidos en una gran rea
geogrfica.
Inteligencia artificial
Inteligencia artificial (IA)
La implementacin y estudio de sistemas que exhiben (ya sea por su
comportamiento o aparentemente) una inteligencia autnoma o
comportamiento propio, a veces inspirado por las caractersticas de los
seres vivos. Las ciencias de la computacin estn relacionadas con la IA, ya
6. Al leer te entretenis.