Lógica matemática

Lógica matemática

Detalles Bibliográficos
Autor principal:	Bustamante Ll., Enrique
Formato:	Tesis de maestría
Lenguaje:	Español
Publicado:	1942
Materias:	Ciencias Físico-Matemáticas e Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000349818 http://132.248.9.195/ptd2014/anteriores/0349818/Index.html

Ejemplares similares

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

Programa de logica matematica nivel bachillerato
por: Jimenez Navarrete, Roberto
Publicado: (1994)

Matematica y logica : una busqueda de la verdad
por: Gonzalez Medina, Sergio Ivan
Publicado: (2006)

La logica matematica aplicada a los algoritmos y tecnicas del calculo programado
por: Labastida Morales, Antonio
Publicado: (1982)

Algunas relaciones entre las investigaciones de Kurt Godel en logica matematica y fisica
por: Tellez Nieto, Osvaldo Alfonso
Publicado: (2004)

Un sistema de apoyo automatizado para los cursos de logica matematica I y II
por: Aliseda, Atocha
Publicado: (1989)

Un enfoque distinto de la enseñanza de las matematicas y la logica a nivel primaria
por: Pando Figueroa, Sara Alejandra
Publicado: (2002)

Analisis comparativo del uso de los conectores and, or, not, en la logica matematica y en la lengua inglesa
por: Christen Gracia, Maria Esther
Publicado: (2005)

Lógicas paraconsistentes en la reconstrucción de teorías matemáticas
por: Quallenberg Menkes, Ian Ariel
Publicado: (2020)

La lógica de la práctica matemática : la cuestión de la lógica de primer orden y la lógica de segundo orden
por: Barragan Ochoa, José Luis
Publicado: (2013)

Origen y desarrollo inicial de la logica, matematica a partir del esclarecimiento del metodo axiomatico en la geometria, y de la crisis de los fundamentos de la matematica
por: Amor Montaño, José Alfredo
Publicado: (1976)

Logica infinitaria
por: Torres Falcon, Yolanda
Publicado: (1979)

LOGMAT sistema tutorial para la ensenanza-aprendizaje de logica matematica
por: Asencio Armenta, Maribel
Publicado: (1994)

Abducción y lógicas no clásicas : un acercamiento desde las lógicas adaptativas y la lógica modal
por: Leonides Jiménez, Laura Alicia
Publicado: (2011)

Conceptos de logica matematica, teoria de conjuntos y funciones para cientificos de areas bilogicas y de la salud
por: Alatorre Frenk, Silvia
Publicado: (1980)

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

Computabilidad y logica
por: Gomez Soto, José Manuel
Publicado: (1994)

Topicos en logica
por: Ocampo Marquez, José Gabriel
Publicado: (1997)

Estructura logica de los sistemas normativos (un ensayo de logica modal)
por: Estudillo Ponce, Ma. Silvia
Publicado: (1972)

La equivalencia entre lógica y autómatas
por: Zenil Rivas, Pablo Enrique
Publicado: (2016)

Logica inductiva y logica deductiva : una alternativa para la ensenanza media superior
por: Pastor Alarcon, Raul
Publicado: (1995)

Logica de la negociacion
por: Corvera Poire, Xavier
Publicado: (1991)

Logica temporal y computacion
por: Carrillo Barajas, Miguel
Publicado: (1993)

Latices ortomodulares logica cuantica
por: Miranda Hernandez, Jesus
Publicado: (1989)

Programacion lineal mixta-logica
por: Osorio Lama, Maria Auxilio
Publicado: (1996)

Logica paraconsistente: una introduccion
por: Favela Vara, Sonia
Publicado: (1985)

Simulación matemática de un reactor anaerobio/aerobio
por: Newton Bustamante, Jorge
Publicado: (2010)

Familias logicas en circuitos integrados
por: López Perez, G.A. Rafael
Publicado: (1981)

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

Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden
por: García Cornejo, Parmenides
Publicado: (2002)

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

Lógica de Hoare para programación funcional
por: López García, Gilberto Isaac
Publicado: (2021)

Programación lógica orientada a riesgos actuariales
por: Cid López, Laima Michelle
Publicado: (2016)

Problemas de calendarizacion y programacion logica
por: Macias Perez, Francisco Javier
Publicado: (1993)

Control de temperatura con logica difusa
por: Gonzalez Mancilla, Juan Luis, et al.
Publicado: (2003)

Logica de hoare para programas concurrentes
por: Montero Mejia, Emma Ceclia
Publicado: (1985)

Consecuencia logica e informacion semantica
por: Plata Perez, Leobardo Pedro
Publicado: (1981)

Lógica de segundo orden y [omega]-modelos
por: Salinas Rodríguez, Mauricio
Publicado: (2008)

Lógica modal : una sintaxis y una semántica
por: Loustalot Knapp, Daniela
Publicado: (2019)

Simulador de compuertas lógicas usando lenguaje C
por: Nava Linares, Armando
Publicado: (2006)