Ciencias de la Computacin

Curso 2104-15

Presentacin

Profesor: Joaqun Borrego Daz

Departamento de Ciencias de la Computacin e Inteligencia Artificial
 Contenido

Qu vamos a hacer?

Temas

Dinmica del curso

Evaluacin alternativa

Despus qu?
 Qu vamos a hacer?
Las Ciencias de la Computacin (CC) es una rama
de la matemtica que tiene como objetivo estudiar
los algoritmos

Existe una parte de las CC que su base matemtica

Como la teora de la medida, la topologa, las
estructuras algebraicas, etc.

Objetos: algoritmos

Estructuras: construccin, clases de funciones
computables, etc.
Temas
 Dinmica del curso
Clases tericas

Clases de problemas: inmediatamente
despus de cada tema

Charlas, conferencias, etc.

Uso de la enseanza virtual como repositorio

Horas de tutora:

Lunes, Martes de 10 a 13 horas
 Evaluacin
Evaluacin oficial: Examen final (fecha y hora a fijar por la Junta de Centro)

Evaluacin alternativa:

Dos exmenes:

Al final del tema 9 (en hora de clase, da: a fijar por vosotros)

El ltimo da de clase

Trabajos:

Complementario a la alternativa, voluntarios

Calificacin: hasta 2 puntos (que se suman a la calificacin por
parciales)

Temas de este ao:

Algortmica
Memoria de Participacin en FORMA 14 (http://
forma.culturadigital.cc/es/portada )
 Despus qu?
Para qu sirve CC?

Estudio de la potencia y los lmites de la computabilidad

Complemento fundamental para el grado de
Matemticas (Indecidibilidad, Turing, etc.)

ntimamente relacionado con los teoremas de
incompletitud de Gdel

Complemento ideal para cursar el Mster

Lgica, Computacin e Inteligencia Artificial (http://
master.cs.us.es/ )
Preguntas?