Curso

UNA INTRODUCCIÓN A LA HIPERCOMPUTACIÓN: LO QUE LOS ALGORITMOS NO PUEDEN RESOLVER

  • Desde: 3/7/18
  • Hasta: 6/7/18
  • Campus de Valencia
  • Idioma: Castellano
  • Presencial

Preinscripción desde el 22/5/18

Promovido por:
Escuela Técnica Superior de Ingeniería Informática

Responsable de la actividad:
Silvia Mª Terrasa Barrena



Modalidad

Presencial Online Emisión en directo

10 horas


0 horas


0 horas

Horario

Mañana
Martes 3 de julio, miércoles 4 de julio, jueves 5 de julio y viernes 6 de julio: 10:00-12:30

Lugar de impartición
ETSINF - ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA Aula 1G - 1.6
Certificación

Asistencia

Modalidad

PRESENCIAL

Curso

2017-2018

ECTS

0

Campus

Valencia

10 h

Presenciales

0 h

Online

Precio Colectivo
75 € Alumni UPV PLUS o AAA UPV 
75 € Alumno UPV 
75 € Personal UPV 
100 € Público en general 
75 €  Desempleados
75 €  Colegiados COIICV
75 €  Antiguo alumno ETSINF
75,00 € - Alumni UPV PLUS
75,00 € - Alumno UPV
75,00 € - Personal UPV
100,00 € - Público en general
75,00 € - Desempleados
75,00 € - Antiguo alumno ETSINF
75,00 € - Colegiados COIICV

Objetivos

1. Introducir un modelo matemático para definir el concepto de algoritmo
2. Establecer los límites de los problemas que se pueden resolver algorítmicamente y mostrar algunos ejemplos de problemas irresolubles
3. Mostrar una clasificación de los problemas irresolubles
4. Mostrar otros paradigmas de resolución de problemas que superan las resoluciones algorítmicas y que originan el concepto de algoritmo super-recursivo

Acción formativa dirigida a

Dirigido a estudiantes de grados o de postgrados en informática, matemáticas y TIC en general.


Profesores

  • José María Sempere Luna Profesor/a Titular de Universidad

Metodología didáctica y sistemas de evaluación

Clase magistral con discusión y debate entre los asistentes.

Temas a desarrollar

1. Hacia una definición del concepto de algoritmo
2. El límite de los algoritmos
3. Una colección de problemas irresolubles
4. Clasificando los problemas irresolubles
5. Hipercomputación: resolviendo lo irresoluble. Modelos y límites de resolución: super-recursividad


Visita otros cursos relacionados con...

Algorítmica modelos computacionales super recursividad