start

¡Esta es una revisión vieja del documento!

Tabla de Contenidos

Materias
Institucional
Grupos de investigación
Vinculación Tecnológica
Otros
Uso del Wiki

Materias

Introducción a los Algoritmos

Algoritmos y Estructuras de Datos I

Algoritmos y Estructuras de Datos II

Lenguajes y Compiladores

Sistemas Operativos

Introducción a la Lógica y La computación

Teoría de Categorías

Procesamiento de Lenguaje Natural

Técnicas formales para la seguridad del código móvil

Trayecto en Tecnologías del Lenguaje Humano

Institucional

Comisión Asesora de Computación

Temas para trabajos finales

Ciclo de Charlas “Saliendo del Termo”

Grupos de investigación

Grupo de Sistemas Dependibles

Grupo de Procesamiento de Lenguaje Natural

Grupo de Lógica, Interacción y Sistemas Inteligentes

Grupo de Semántica Algebraica (con la Sección de Matemáticas)

Grupo de Semántica de la programación

Vinculación Tecnológica

VTCom

Otros

Seminarios de Métodos Formales

Charlas de Computación

Uso de la Salita de Computación / Proyector Móvil

Contenidos mínimos de Materias

Preguntas frecuentes para usar la red cs

Trucos para Linux y Windows

Memorias de la Sección de Ciencias de la Computación

Plan de Crecimiento

Borrador de Trabajo para Cambio de Plan de Estudios

Uso del Wiki

Recomendaciones iniciales antes de meter mano

Documentación Wiki

start.1533870219.txt.gz · Última modificación: 2018/08/10 03:03 por 127.0.0.1