Editor logico para ayuda de deducciones formales en logica

Editor logico para ayuda de deducciones formales en logica

Detalles Bibliográficos
Autor principal:	Perez Gonzalez, Simon
Otras Contribuciones:	Loyo Varela, Maria Cristina (Asesor)
Formato:	Tesis de licenciatura
Publicado:	MX 1990
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000135956 http://132.248.9.195/pmig2017/0135956/Index.html

Ejemplares similares

Deducción natural en lógica modal : una implementación en Coq
por: Linares Arévalo, Pilar Selene
Publicado: (2015)

Verificación formal en lógica modal
por: Prieto Larios, Estefanía
Publicado: (2018)

Logica medieval explicada por Euler, antecedente de la logica formal
por: Villanueva Ledesma, José
Publicado: (2002)

Verificación formal de programas con lógicas de separación
por: Medina Martínez, Diego Roberto
Publicado: (2021)

El sistema axiomatico en la logica formal desde Aristoteles hasta Frege
por: Ramos Izquierdo Muller, Eduardo Antonio
Publicado: (1976)

Editor dirigido por sintaxis
por: Hernandez Taja, Edgar Oscar, et al.
Publicado: (1988)

Sobre el pragmatismo y el empirismo lógico, significado, realidad y lógica
por: González Borrego, Sergio Santiago
Publicado: (2020)

Sistema editor de gráficas
por: Guadarrama García, Irma, et al.
Publicado: (1990)

Deduccion parcial por factorizacion
por: Gutierrez Gonzalez, Paulo Maximo
Publicado: (1997)

Programas de orientados a estados : su relacion con programas logicas y lenguajes formales
por: Alvarez Manilla Villanueva, Mauricio
Publicado: (1995)

Desarrollo de un editor para documentos xml
por: Ruiz Salinas, Oscar
Publicado: (2004)

Editor de pantallas en ambiente Unix
por: Cabrera Pomar, Carlos
Publicado: (1997)

Redactor y editor de revista tecnológica
por: Nagore Cázares, Gabriel
Publicado: (2008)

Sistema logico formal del tipo en el Derecho penal
por: Vargas Castro, Rodrigo
Publicado: (1971)

Analisis logico formal del tipo en el Derecho penal
por: Ramirez Hernandez, Elpidio
Publicado: (1968)

Elementos metodologicos en la logica matematica y su aplicacion en los circuitos logicos
por: Varela Rubio, Gricel, et al.
Publicado: (1988)

Editor orientado a los lenguajes para microcomputadoras
por: Juárez Castellanos, Cristobal
Publicado: (1985)

Diseno e implementacion de un editor compartible
por: Mendivil Gutierrez, José Ignacio
Publicado: (1980)

Diseño de un circuito logico para functores logicos
por: Vega Ramírez, Alejandro Antonio
Publicado: (2006)

Diseno de un editor de pantalla para microcomputadora Cromemco
por: Parra Gomez, Iliana, et al.
Publicado: (1988)

Diseño conceptual de un editor de redes electricas industriales
por: Gonzalez Garduño, Luis
Publicado: (1999)

Diseño conceptual de un editor de redes electricas industriales
por: Barrios Toledano, Raul, et al.
Publicado: (1999)

Sistema editor de figuras geometricas basicas en tercera dimension para P.C.
por: Gonzalez Galindo, Graciela, et al.
Publicado: (1995)

Diseño de un editor matematico usando el proceso unificado
por: Aguilar Sierra, Alejandro
Publicado: (1999)

Diseño de un editor de trayectorias de objetos tridimensionales
por: Hernández Cabrera, Jesús
Publicado: (2002)

Desarrollo de un editor interactivo de sistemas neumaticos reactivos
por: Flores Castro, Marisol
Publicado: (2006)

Ambiente de programacion para c editor y compilador a codigo intermedio
por: Siguenza Vega, Rodrigo Armando
Publicado: (1989)

Diseno logico
por: Suastegui Nava, Jorge
Publicado: (1993)

Deducciones eqivalentes de la formula de Black-Scholes
por: Martinez Sanchez, José Francisco
Publicado: (2000)

Deduccion adicional
por: Pasten Espinoza, Alfredo
Publicado: (1985)

Un editor de pantalla orientado a interpretes de codigo hilvanado
por: Orozco y Orozco, Octavio
Publicado: (1985)

Analisis y diseño de un editor de texturas para materiales 3D
por: Ramirez Amezcua, Guadalupe, et al.
Publicado: (2003)

Circuitos logicos
por: Bustamante Acuña, Carlos
Publicado: (0000)

La geometria de la tortuga de logo como estimulo para el desarrollo del pensamiento logico formal
por: Gomez Fernandez, Marcela
Publicado: (1988)

Programador logico modular
por: Salva Calleja, Antonio
Publicado: (1999)

Deducciones para personas morales
por: Jurado Muñoz, Lorena
Publicado: (1997)

La apariencia de la logica formal moderna como medio de control social
por: Aguilar Altamirano, Jesus
Publicado: (2001)

El editor : estudio jurídico
por: García Bonilla, Ricardo Sergio
Publicado: (1969)

Logica matematica
por: Martinez Vega, Hilda
Publicado: (2000)

Lógica matemática
por: Bustamante Ll., Enrique
Publicado: (1942)