1. Repositorio de Tesis DGBSDI

Buscar por Asesor Amor Montaño, Jose Alfredo

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 1 a 17 de 17
Vista previaTítuloSustentanteFecha de publicación
0606007.pdf.jpgAlgebras de Lindenbaum : una introduccion booleana a la logicaHernández-Cruz, César2006
0028295.pdf.jpgAlgunos aspectos del concepto de infinito en los griegos y su influencia en Denekind y NewtonVega Ceron, Reynaldo de la1985
0322728.pdf.jpgAxioma de eleccion y teoria de la medidaAlvarez Velasco, Ana2003
290544.pdf.jpgContra hasta el infinitoRuisanchez Serra, Juan Manuel2001
0171257.pdf.jpgConvergencia dorada : un estudio del numero de oro y la sucesion de FibonacciFuentes de la Pena, Adrian1991
0199083.pdf.jpgDe la teoria de estratos a las estructuras matematicas a traves de la teoria de conjuntosPalomino López, Cesareo1993
0335282.pdf.jpgEl teorema de incompletud de Godel-Rosser para la teoria de conjuntosMartinez Gonzalez, Mariana2004
261987.pdf.jpg¿Es V distinto L? independencia del axioma de constructibilidad y algunas reflexiones sobre la no-constructibilidad del universo conjuntistaCampero Arena, Gabriela1998
272882.pdf.jpgFundamentos logicos del programa de razonamiento automatico OtterMiranda Perea, Favio Ezequiel1999
0044969.pdf.jpgIntroduccion al análisis logico : Del lenguaje natural al lenguaje analiticoMartinez Gallardo, Victor Manuel1987
0003292.pdf.jpgLa logica matematica aplicada a los algoritmos y tecnicas del calculo programadoLabastida Morales, Antonio1982
0193254.pdf.jpgLas pruebas de consistencia relativa y el metodo de modelos internosAguirre Hernandez, Baltazar1993
0311955.pdf.jpgLogica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer ordenGarcía Cornejo, Parmenides2002
0003400.pdf.jpgLogica paraconsistente: una introduccionFavela Vara, Sonia1985
0189603.pdf.jpgLuxemburg y Robinson dos modelos del análisis no-estandarPeralta Marquez, Norma Elvira1993
0334325.pdf.jpgNumerosidades : una nueva manera de contar conjuntos infinitosTorres Perez, Victor Manuel Fernando2004
0205330.pdf.jpgTablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciadosRamirez del Castillo, Carlos1994
Mostrando resultados 1 a 17 de 17