Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados
Autor principal: | |
---|---|
Otras Contribuciones: | |
Formato: | Tesis de licenciatura |
Publicado: |
MX
1994
|
Materias: | |
Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000205330 http://132.248.9.195/pmig2016/0205330/Index.html |
_version_ | 1832755883108466689 |
---|---|
author | Ramirez del Castillo, Carlos |
author2 | Amor Montaño, Jose Alfredo |
author2_role | Asesor |
author_facet | Amor Montaño, Jose Alfredo Ramirez del Castillo, Carlos |
author_sort | Ramirez del Castillo, Carlos |
collection | DSpace |
degree_department | Facultad de Ciencias |
degree_department_facet | Facultad de Ciencias |
degree_grantor | Universidad Nacional Autónoma de México |
degree_level | Licenciatura |
degree_name | Licenciatura en Matemáticas |
degree_name_facet | Licenciatura en Matemáticas |
format | Tesis de licenciatura |
id | 20.500.14330-TES01000205330 |
institution | Universidad Nacional Autónoma de México |
publishDate | 1994 |
publisher | MX |
record_format | dspace |
rights | https://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones |
spelling | 20.500.14330-TES010002053302025-04-07T22:44:27Z Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados Ramirez del Castillo, Carlos Amor Montaño, Jose Alfredo Ciencias Físico - Matemáticas y de las Ingenierías 1994 Tesis de licenciatura https://hdl.handle.net/20.500.14330/TES01000205330 http://132.248.9.195/pmig2016/0205330/Index.html 001-00324-R4-1994-2 https://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones MX https://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000205330 Licenciatura en Matemáticas Universidad Nacional Autónoma de México Facultad de Ciencias Licenciatura |
spellingShingle | Ciencias Físico - Matemáticas y de las Ingenierías Ramirez del Castillo, Carlos Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados |
title | Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados |
title_full | Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados |
title_fullStr | Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados |
title_full_unstemmed | Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados |
title_short | Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados |
title_sort | tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados |
topic | Ciencias Físico - Matemáticas y de las Ingenierías |
url | https://hdl.handle.net/20.500.14330/TES01000205330 http://132.248.9.195/pmig2016/0205330/Index.html |
work_keys_str_mv | AT ramirezdelcastillocarlos tablasyarbolesdeverdaddosmetodosdedecisionparalavalidezderazonamientosenlalogicadeenunciados |