Departamento de Ciencias de la Computación e Inteligencia Artificial
De Wikiversidad
Este departamento es parte de la Escuela de Ingeniería Informática.
Contenido |
[editar] Presentación del Departamento
Bienvenido al Departamento de Ciencias de la Computación e Inteligencia Artificial. En este departamento se estudian e investigan aquellas áreas relacionadas con las bases teóricas de los distintos modelos de computación que podemos encontrarnos hoy en día, y de la aplicación de otros modelos aun teóricos a otros problemas que por su complejidad, aún no podemos resolver en tiempos razonables. Por otra parte también nos ocupamos de los campos de la Inteligencia Artificial y del razonamiento automático, los cuales tratan de conseguir procedimientos que simulen en cierto modo la inteligencia humana para la resolución de problemas en los que el enfoque clásico algorítmico-determinista no sea una solución adecuada.
Se subdivide en cuatro áreas de conocimiento que abarcan desde los fundamentos de la teoría de la computación y la lógica hasta el desarrollo de sistemas capaz de interpretar el lenguaje natural o razonar automáticamente la demostración de teoremas.
[editar] Áreas de Conocimiento
- Área de Teoría de la Computabilidad
- Área de Modelos de Computación
- Área de Inteligencia Artificial
- Área de Razonamiento Automático
[editar] Cursos
[editar] Área de Teoría de la Computabilidad
- Curso: Teoría de la Computación
- Curso: Lógica Informática
[editar] Área de Modelos de Computación
[editar] Área de Inteligencia Artificial
- Curso: Curso de Inteligencia Artificial
- Curso: Lógica Difusa
- Curso: Sistemas Expertos
- Curso: Agentes Inteligentes
- Curso: Algoritmos Genéticos
- Curso: Redes Neuronales Artificiales
- Curso: Procesamiento del Lenguaje Natural
- Curso: BioInformática
- Curso: Minería de datos
- Máquinas de estado finito: son una herramienta útil, sobre todo en el diseño de agentes que simulen algo vivo como pueden ser insectos, enemigos y otros, en un videojuego.
[editar] Área de Razonamiento Automático
- Curso: Programación Declarativa
- Curso: Demostración Automática de Teoremas
