Rene Antonio Alfaro Hernndez

CAMPOS DE LAS CIENCIAS DE LA COMPUTACIN

Fundamentos matemticos

Criptografa
Consta de algoritmos para proteger datos privados, incluido
el cifrado.

Teora de grafos
Recursos elementales para las estructuras de almacenamiento
de datos y para los algoritmos de bsqueda.

Lgica matemtica
La lgica matemtica estudia los sistemas formales en
relacin con el modo en el que se codifican nociones
intuitivas de objetos matemticos como conjuntos,
nmeros, demostraciones y computacin.

Teora de tipos
Anlisis formal de los tipos de datos y el uso de estos para
entender las propiedades de los programas, en particular
la seguridad de estos.

Teora de la computacin

Teora de autmatas
Teora de la computabilidad
Teora de la complejidad computacional

Lmites fundamentales (en especial de espacio en memoria y

tiempo) de los cmputos.
 Rene Antonio Alfaro Hernndez

Algoritmos y estructuras de datos

Anlisis de algoritmos

Algoritmos
Procesos formales usados para los cmputos, y eficiencia de
estos procesos.

Estructuras de datos organizacin y manipulacin de los datos

Lgica y computabilidad estudio de diferentes tipos de lgicas,
su poder expresivo, decidibilidad, aplicaciones.

Especificacin desarrollo de mtodos para definir formalmente

(matemtica y lgicamente) el comportamiento esperado de
un algoritmo, para luego probar terminacin y correctitud.

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.
 Rene Antonio Alfaro Hernndez

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 que el software y
las computadoras son herramientas bsicas para su desarrollo y
progreso.

Razonamiento automatizado

Robtica algoritmos para controlar el comportamiento de los

robots.

Visin por computador algoritmos para extraer objetos

tridimensionales de una imagen bidimensional.
 Rene Antonio Alfaro Hernndez

Aprendizaje automtico

Grficos por computador

Computacin grfica algoritmos tanto para generar

sintticamente imgenes visuales como para integrar o alterar
la informacin visual y espacial tomada del mundo real.

Procesamiento digital de imgenes por ejemplo, para sensores

remotos.

Geometra computacional por ejemplo, algoritmos veloces para

seleccionar solo los puntos visibles en un poliedro visto desde
cierto ngulo, usado en motores 3D.

Referencia
https://sites.google.com/site/fcehibapac/campos-de-la-
ciencia-de-la-computacion