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

Cerrado

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 3671

Fecha límite participación Sin fecha límite de participación.

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

Proyectos interesantes

MTM2008-06435

Applied Physics

Data Science

20K€ Cerrado

PACCAP

Applied Physics

Data Science

173K€ Cerrado

POCOCOP

Applied Physics

Data Science

8M€ Cerrado

FEALORA

Applied Physics

Data Science

1M€ Cerrado

ACOSE

Applied Physics

Data Science

252K€ Cerrado

MTM2008-01545

Applied Physics

Data Science

45K€ Cerrado

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

Líder del proyecto

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

Total investigadores 3671

Presupuesto del proyecto 20K€

Fecha límite de participación Sin fecha límite de participación.

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