Logica matematica

Logica matematica

Detalles Bibliográficos
Autor principal:	Martinez Vega, Hilda
Otras Contribuciones:	Suárez Madariaga, Jorge Luis (Asesor)
Formato:	Tesis de licenciatura
Publicado:	MX 2000
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000285153 http://132.248.9.195/pd2000/285153/Index.html

Ejemplares similares

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

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)

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

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

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)

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)

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

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)

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 infinitaria
por: Torres Falcon, Yolanda
Publicado: (1979)

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)

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

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)

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)

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

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

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

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

Secuencia logica, procedimiento y pasos necesarios para reacondicionar un pozo
por: Morales Vega, Abel
Publicado: (1976)

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

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

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)

Logica difusa aplicada en el COP8
por: Cervantes Martinez, Oscar
Publicado: (2000)

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

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

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

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

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)

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

Algoritmo de satisfacción para lógicas multimodales con inversas
por: Medina Martínez, Diego Roberto
Publicado: (2024)

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