Detalle
ISBN 978-958-57491-0-8
Editorial:Fundación IAI, Ideas y Acciones Inteligentes
Materia:510 - Matemáticas
Publicado:2012-07-01
Número de edición:1
Tamaño:6497Kb
Precio:$40.000
Soporte:Digital
Formato:Pdf (.pdf)
Idioma:Español / Castellano
Gráficos existenciales intuicionistas desde un enfoque no tradicional
| Autor: | Zuluaga Duque, Steven |
Materia:510 - Matemáticas
Publicado:2012-07-01
Número de edición:1
Tamaño:6497Kb
Precio:$40.000
Soporte:Digital
Formato:Pdf (.pdf)
Idioma:Español / Castellano
Libros relacionados
Mi Nuevo Grafilandia 7 - Prada Flórez, Germán
Lógica de mis Primeras Operaciones III - Cárdenas Ávila, Blanca Sofía
Lógica de mis Primeras Operaciones II - Cárdenas Ávila, Blanca Sofía
Lógica de mis Primeras Operaciones I - Cárdenas Ávila, Blanca Sofía
Creciendo peso a peso nivel C2 - Molina Ballen, Adriana Marcela
Lógica de mis Primeras Operaciones III - Cárdenas Ávila, Blanca Sofía
Lógica de mis Primeras Operaciones II - Cárdenas Ávila, Blanca Sofía
Lógica de mis Primeras Operaciones I - Cárdenas Ávila, Blanca Sofía
Creciendo peso a peso nivel C2 - Molina Ballen, Adriana Marcela
Reseña
El mayor interés de este texto es, por un lado, presentar el sistema intuicionista de gráficos existenciales obtenido a partir del sistema de gráficos ALFAo, propuesto por Yuri A. Poveda, y un sistema de deducción natural que formaliza el intuicionismo. Y, por el otro, mostrar que es equivalente al cálculo proposicional intuicionista.
