Reflexiones filosoficas sobre la demostracion matematica a la sombra de Thomas Tymoczko proyectadas desde algunas demostraciones computarizadas
Autor principal: | Torres Villa, Mauricio |
---|---|
Otras Contribuciones: | Macias Pimentel, Benjamin (Asesor) |
Formato: | Tesis de licenciatura |
Publicado: |
MX
2006
|
Materias: | |
Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000604537 http://132.248.9.195/pd2006/0604537/Index.html |
Ejemplares similares
-
Matemática A posteriori : las demostraciones por computadora
por: Rico Sotelo, Jesús Alberto
Publicado: (2022) -
Introducción a los métodos de demostración de proposiciones matemáticas
por: Puebla Ramírez, José Luis
Publicado: (2008) -
Metodos y demostraciones matematicas de algunos resultados mas conocidos
por: Sanchez Rico, Ramiro
Publicado: (2006) -
Demostraciones sin palabras
por: Santillán Baltazar, Rosario
Publicado: (2005) -
Algunas aplicaciones, equivalencias y demostraciones relacionadas con el axioma de elección
por: Angtuncio Hernández, Osvaldo
Publicado: (2011)