Lógica

CONTENIDO: El problema de la consistencia - Pruebas absolutas de consistencia - La codificación sistemática de la lógica formal - Un ejemplo de una prueba absoluta de consistencia - La idea de representación y su empleo en las matemáticas - Las pruebas de Gödel.

Ante la dificultad que ofrece inicialmente el abordaje de la geometría euclidiana como una teoría axiomática, muchas veces se opta por renunciar a esta forma de presentación, reduciendo los cursos a una exposición expedita de los axiomas y a un listado de los teoremas centrales, en la búsqueda de obtener resultados rápidos que permitan llegar prontamente a la solución de problemas. Sin embargo, de este modo se deja de proveer al estudiante de las herramientas suficientes para poder acceder al estudio de la teoría, a la comprensión de las argumentaciones y a la obtención...

ÍNDICE 1. ¿Qué son las ecuaciones de segundo grado? 2. Cómo resolver los tres tipos de ecuaciones de segundo. 3. Ejercicios resueltos.

El propósito del libro es proporcionar diferentes caracterizaciones a los conceptos más importantes que comprende un curso de Cálculo Diferencial, como son el de derivada, límite, función, etc., que se considera pueden mejorar el entendimiento de los estudiantes. Se plantea el concepto de función desde nociones cercanas a ésta, como son las de variable, variación y variabilidad, sin dejar de lado sus significados ya conocidos de fórmula, dependencia, modelo, gráfica, etc. Para el concepto de límite se ha agregado a sus definiciones comunes la noción de tolerancia que se usa...