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

FFI2009-09345

Financiado

NOCIONES DE COMPLETUD

RECONCILIAR LAS DEFINICIONES Y LOS PLANTEAMIENTOS SINTACTICOS Y SEMANTICOS DE CONSECUENCIA CONSTITUYE EL NUCLEO DE TODA LOGICA; ESTO ES, CALIBRAR LA CAPACIDAD EXPRESIVA DE UN LENGUAJE CON SU CAPACIDAD COMPUTACIONAL,EL OBJETIVO DE... ver más

01/01/2009

USAL

48K€

Presupuesto del proyecto: 48K€

Líder del proyecto

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

Total investigadores 1149

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

0% 100%

Participantes

USAL

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

ExtenDD Coming to Terms: Proof Theory Extended to Definite Descripti... 2M€ Cerrado

FFI2013-47126-P LOGICA INTENSIONAL HIBRIDA 35K€ Cerrado

EPRICOT Efficient Proofs and Computation A Unified Algebraic Appro... 2M€ Cerrado

FFI2010-15704 CONCEPTOS DE ORDEN SUPERIOR. UNA APROXIMACION EXPRESIVISTA 100K€ Cerrado

PGC2018-095869-B-I00 HERRAMIENTAS LOGICAS, ALGEBRAICAS Y DIFUSAS PARA RECURSOS DE... 97K€ Cerrado

TIN2010-20967-C04-03 TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL 77K€ Cerrado

Líder del proyecto

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

Total investigadores 1149

Presupuesto del proyecto 48K€

Descripción del proyecto RECONCILIAR LAS DEFINICIONES Y LOS PLANTEAMIENTOS SINTACTICOS Y SEMANTICOS DE CONSECUENCIA CONSTITUYE EL NUCLEO DE TODA LOGICA; ESTO ES, CALIBRAR LA CAPACIDAD EXPRESIVA DE UN LENGUAJE CON SU CAPACIDAD COMPUTACIONAL,EL OBJETIVO DE ESTE PROYECTO ES JUSTAMENTE EL DE INDAGAR EN ESTOS ASPECTOS TAN FUNDAMENTALES E INCLUYE LOS SIGUIENTES GRANDES TEMAS:1, INVESTIGACION EN LOGICAS PURAS Y APLICADAS, CLASICAS Y NO CLASICAS, CON ESPECIAL INTERES EN LAS ALGEBRAICAS, DESCRIPTIVAS E HIBRIDAS, Y EN LAS CLASICAS DE PRIMER ORDEN Y EN LAS DE ORDEN SUPERIOR, EL TEMA TRASVERSAL A INVESTIGAR EN TODOS LOS CASOS ES EL DE LAS DEMOSTRACIONES DE COMPLETUD EXISTENTES PARA CADA UNA DE ESTAS LOGICAS Y SU RELACION CON LA CAPACIDAD EXPRESIVA DE LA LOGICA EN ESTUDIO, INDAGAR EN LAS DEMOSTRACIONES DE INCOMPLETUD TAMBIEN, SE TRATARIA DE ELABORAR UN CATALOGO DE PRUEBAS DE COMPLETUD (EN SU CASO INCOMPLETUD) PARA INVESTIGAR SUS SEMAJANZAS Y DIFERENCIAS Y POSTERIORMENTE PROPONER UNAS PASARELAS ENTRE LAS DISTINTAS DEMOSTRACIONES DE COMPLETUD (O INCOMPLETUD),2, HISTORIA DE LA LOGICA, SE UTILIZARA COMO PUNTO DE REFERENCIA EL DE LA PRUEBA DE COMPLETUD DE HENKIN, SU TESIS DOCTORAL, Y MUY ESPECIALMENTE SUS ARTICULOS DE 1949 Y 1950,3, UNA FACETA DE INVESTIGACION PEDAGOGICA, CENTRADA ESPECIALMENTE EN E-LEARNING, EN PARTICULAR TRABAJAREMOS SOBRE VERSIONES ``PEDAGOGICAS' DE COMPLETUD, MANTENDREMOS Y AMPLIAREMOS LA BIBLIOTECA DIGITAL CREANDO NUEVOS TEXTOS DOCENTES Y EJERCICIOS PRACTICOS DE VARIAS DE LAS RAMAS DE LA SUMMA Y EN ESPECIAL DE LAS NUEVAS LOGICAS ESTUDIADAS, AMPLIANDO DE ESTA FORMA EL REPOSITORIO DEL PORTAL HTTP://LOGICAE,USAL,ES, ASIMISMO SE CREARA SOFTWARE EDUCATIVO PARA ESTAS LOGICAS Y SE AMPLIARA CONVENIENTEMENTE EL GLOSARIO DE TERMINOS, SE HARA ESPECIAL HINCAPIE EN EL DESARROLLO DE MATERIAL ESPECIFICO PARA EL E-LEARNING ADAPTANDOSE A LOS ESTANDARES ACTUALES DE INTERACTIVIDAD, COMPLETUD\DECIDIBILIDAD\CORRECCION\TEORIA DE TIPOS\LOGICAS HIBRIDAS\LOGICAS DESCRIPTIVAS\LOGICAS ALGEBRAICAS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores