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

Cerrado

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 1151

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 2009-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

USAL

Lider

Proyectos interesantes

PAnaMoL

Software

Applied Physics

178K€ Cerrado

GALE

Software

Applied Physics

932K€ Cerrado

GETFUN

Software

Applied Physics

222K€ Cerrado

TIN2010-20967-C04-03

Software

Data Science

77K€ Cerrado

MeReMath

Software

Applied Physics

196K€ Cerrado

FFI2013-47126-P

Software

Applied Physics

35K€ 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 SALAMANCA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 1151

Presupuesto del proyecto 48K€

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

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