Logo UPV
Curso

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

  • Desde: 3/07/18
  • hasta: 6/07/18
  • Campus de Valencia
  • Presencial

Preinscripción desde el 22/05/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

Precio Colectivo Plazos Desde Hasta
75,00 € Alumni UPV PLUS o AAA UPV 1 plazo - -
75,00 € Alumno UPV 1 plazo - -
75,00 € Personal UPV 1 plazo - -
100,00 € Público en general 1 plazo - -
75,00 € Desempleados 1 plazo - -
75,00 € Colegiados COIICV 1 plazo - -
75,00 € Antiguo alumno ETSINF 1 plazo - -
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

  • Jose Maria Sempere Luna Profesor/a Titular de Universidad

Metodología didáctica

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


Certificación

Asistencia

Modalidad

PRESENCIAL

Curso

2017-2018

ECTS

0

Campus

Valencia

10 h

Presenciales

0 h

Online

Visita otros cursos relacionados con...

Algorítmica modelos computacionales super recursividad