A demonstraÁ§Á£o matemática e o professor: formaÁ§Á£o e ensino
Tesis doctoral de Cacilda Dos Santos Paz Este trabajo está enmarcado en el programa de doctorado investigar para educar en […]
Tesis doctoral sobre Teoría de la demostracion
Accede a todas las tesis doctorales sobre Teoría de la demostracion mas relevantes.
Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza
Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a
Descripción y análisis de un caso de enseñanza y aprendizaje de la demostración en una comunidad de práctica de futuros profesores de matemáticas de educación secundaria
Tesis doctoral de Leonor Camargo Uribe A partir de la descripción y análisis de una enseñanza experimental desarrollada en un
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar
Sistemes de gentzen multidimensionals i logiques finitament valorades. teoria i aplicacions.
Tesis doctoral de Gil Estallo Angel Javier Se define sistema de gentzen m-dimensional como una pareja formada por un lenguaje
«de la teoria del significado en prawitz a la busqueda inteligente de pruebas: una aplicacion del teorema de inversion a la inteligencia artificial».
Tesis doctoral de Martinez Vidal M. Concepcion Datos académicos de la tesis doctoral ««de la teoria del significado en