Modelo de solución para el problema de programación de tareas en dos máquinas por medio del metaheurístico búsqueda tabú

Tesis (Maestro en Ciencias de la Administración con Especialidad en Sistemas) UANL, 1999.

Aplicación del software AutoCAD en el diseño dimensional de elementos de máquinas

Tesis (Maestría en Ciencias de la Ingeniería Mecánica con Especialidad en Diseño Mecánico) UANL, 2000.

Procedimientos de operación de las máquinas de ensamblaje y prueba para la producción de tarjetas electrónicas basado en el modelo de aseguramiento de calidad ISO 9002

Tesis (Maestro en Ciencias con Especialidad en Producción y Calidad) - U.A.N.L.

Optimización de la producción en máquinas en paralelo de inyección de plástico.

Tesis (Maestro en Ciencias en Ingeniería de Sistemas) UANL, 2012.

Algunas consideraciones sobre las máquinas de combustión interna

UANL

Mantenimiento preventivo y máquinas A.D.P. desde el punto de vistade lubricación

UANL

Análisis de las máquinas de control numérico

UANL

Proyecto sobre máquinas eléctricas especiales : regulación automá

UANL

Máquinas sincrónicas

UANL

Instructivo de la materia de dibujo de máquinas

UANL

Creación de un Instituto de construcción de máquinas-herramientas en la U.A.N.L.

UANL

Manual de Mecánica industrial con aplicación a varias máquinas

UANL

Manual del conductor de máquinas tipográficas

UANL

Secuenciación en máquinas paralelas no relacionadas con tiempos de preparación y tareas de mantenimiento preventivo.

Tesis (Doctor en Ingeniería con especialidad en Ingeniería de Sistemas) UANL, 2014.

La logique ordinale de Turing

Le sujet visé par cette dissertation est la logique ordinale de Turing. Nous nous référons au texte original de Turing «Systems of logic based on ordinals» (Turing [1939]), la thèse que Turing rédigea à Princeton sous la direction du professeur Alonzo Church. Le principe d’une logique ordinale consiste à surmonter localement l’incomplétude gödelienne pour l’arithmétique par le biais de progressions d’axiomes récursivement consistantes. Étant donné son importance considérable pour la théorie de la calculabilité et les fondements des mathématiques, cette recherche méconnue de Turing mérite une attention particulière. Nous retraçons ici le projet d’une logique ordinale, de ses origines dans le théorème d’incomplétude de Gödel jusqu'à ses avancées dans les développements de la théorie de la calculabilité. Nous concluons par une discussion philosophique sur les fondements des mathématiques en fonction d’un point de vue finitiste.