Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

MTM2008-06435

Financiado

MODELOS DE LA ARITMETICA Y ALGEBRAS DE FUNCIONES COMPUTABLES

LAS DIFICULTADES QUE PRESENTA LA SOLUCION DE ALGUNOS PROBLEMAS DE LA TEORIA DE LA COMPLEJIDAD, ENTRE LOS QUE DESTACA POR SU IMPORTANCIA EL PROBLEMA P=?NP, SUGIEREN LA NECESIDAD DE NUEVOS METODOS PARA ABORDAR DICHAS CUESTIONES, UNO... ver más

01/01/2008

20K€

Presupuesto del proyecto: 20K€

Líder del proyecto

UNIVERSIDAD DE SEVILLA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3670

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2008-01-01 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

MTM2008-06435 MODELOS DE LA ARITMETICA Y ALGEBRAS DE FUNCIONES COMPUTABLES 20K€ Cerrado

ALBA Algebraic Formula Lower Bounds and Applications 2M€ Cerrado

POCOCOP Polynomial-time Computation: Opening the Blackboxes in Const... 8M€ Cerrado

MTM2014-59178-P LOGICA MATEMATICA 47K€ Cerrado

PID2020-113206GB-I00 METODOS EN ALGEBRA NO CONMUTATIVA Y APLICACIONES 53K€ Cerrado

PID2021-125052NA-I00 MEDIDAS DE IDEALES EN UNA SINGULARIDAD 45K€ Cerrado

Líder del proyecto

UNIVERSIDAD DE SEVILLA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 3670

Presupuesto del proyecto 20K€

Descripción del proyecto LAS DIFICULTADES QUE PRESENTA LA SOLUCION DE ALGUNOS PROBLEMAS DE LA TEORIA DE LA COMPLEJIDAD, ENTRE LOS QUE DESTACA POR SU IMPORTANCIA EL PROBLEMA P=?NP, SUGIEREN LA NECESIDAD DE NUEVOS METODOS PARA ABORDAR DICHAS CUESTIONES, UNO DE ESTOS METODOS ES EL ESTUDIO DE LOS SUBSISTEMAS DE LA ARITMETICA DE PRIMER Y SEGUNDO ORDEN Y DE LAS ALGEBRAS DE FUNCIONES COMPUTABLES ASOCIADAS A ELLOS, EL PRESENTE PROYECTO SE ENMARCA EN ESTA LINEA DE INVESTIGACION Y PROPONE EL ESTUDIO, FUNDAMENTALMENTE MEDIANTE LAS TECNICAS PROPIAS DE LA TEORIA DE MODELOS, DE LA INTERACCION ENTRE SUBSISTEMAS DE LA ARITMETICA Y ALGEBRAS DE FUNCIONES COMPUTABLES, CONTINUANDO EL TRABAJO EN ESTA LINEA INICIADO EN EL PROYECTO MTM-2005-08658, SE PROPONEN LOS SIGUIENTES OBJETIVOS:1, CONSTRUIR ALGEBRAS DE FUNCIONES COMPUTABLES QUE NO SEAN ∆0-GENERADAS, O BIEN QUE SEAN ∆0-GENERADAS Y NO SEAN CERRADAS BAJO UN CIERTO OPERADOR RECURSIVO, APLICACION A LA SEPARACION DE TEORIAS DE LA ARITMETICA Y DE CLASES DE COMPLEJIDAD COMPUTACIONAL, 2, ESTUDIAR SUBSISTEMAS DE LA ARITMETICA ACOTADA DEFINIDOS POR DISTINTAS FORMAS DEL PRINCIPIO DE REEMPLAZAMIENTO ACOTADO Y SUS RELACIONES CON EL ALGEBRA DE FUNCIONES TC0, 3, DESARROLLAR VARIACIONES JERARQUICAS DE LA TEORIA DE MODELOS EXISTENCIALMENTE CERRADOS (FORCING FINITO, MODELOS GENERICOS,,,,) EN EL CONTEXTO DE LOS SUBSISTEMAS DE LA ARITMETICA, APLICACION A PROPIEDADES DE CONSERVACION ENTRE ESTAS TEORIAS, Teoría de ModelosModelos de la AritméticaAritmética AcotadaModelos Existencialmente CerradosFunciones ComputablesComplejidad Computacional

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores