JavaScript is disabled for your browser. Some features of this site may not work without it.

    Listar

    Todo RIUMAComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosDepartamentos/InstitutosEditoresEsta colecciónPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosDepartamentos/InstitutosEditores

    Mi cuenta

    AccederRegistro

    Estadísticas

    Ver Estadísticas de uso

    DE INTERÉS

    Datos de investigaciónReglamento de ciencia abierta de la UMAPolítica de RIUMAPolitica de datos de investigación en RIUMAOpen Policy Finder (antes Sherpa-Romeo)Dulcinea
    Preguntas frecuentesManual de usoContacto/Sugerencias
    Ver ítem 
    •   RIUMA Principal
    • Investigación
    • Ponencias, Comunicaciones a congresos y Pósteres
    • Ver ítem
    •   RIUMA Principal
    • Investigación
    • Ponencias, Comunicaciones a congresos y Pósteres
    • Ver ítem

    Complejidad y computabilidad desde un punto de vista lógico

    • Autor
      Sciavicco, Guido
    • Fecha
      2017-04-28
    • Palabras clave
      Matemáticas computacionales
    • Resumen
      En esta charla trataremos temas clasicos de complejidad y computabilidad visto desde un punto de vista lógico. En particular, veremos como a cada clase de complejidad corresponde, en general, un problema de satisfiactibilidad de fórmulas de un lenguaje lógico concreto, mostrando así como la jerarquía computacional es, en efecto, una jerarquía lógica. Trataremos entonces los teorema de Goedel, de Cook, y otros teoremas clasicos desde un nuevo punto de vista.
    • URI
      http://hdl.handle.net/10630/13524
    • Compartir
      RefworksMendeley
    Mostrar el registro completo del ítem
    Ficheros
    CharlaGS.pdf (86.31Kb)
    Colecciones
    • Ponencias, Comunicaciones a congresos y Pósteres

    Estadísticas

    Buscar en Dimension
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
     

     

    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA