Matemática discreta

¿Por qué tantas personas dicen que son un desastre para las matemáticas y las viven como una asignatura que no saben cómo abordar? ¿Para qué pueden «servirme» las matemáticas? ¿De qué hablan? Para empezar, ¿hablan de algo? Un curso de matemáticas es también un curso de lengua; las matemáticas son un lenguaje, en el que cada frase expresa una idea, enuncia un resultado, formula una pregunta. ¿Qué es un razonamiento, una demostración o un teorema? ¿Qué diferencia hay entre una igualdad, una identidad y una ecuación? ¿Entre el álgebra y la aritmética? ¿Tienen una...

This book presents plane geometry following Hilbert's axiomatic system. It is inspired on R. Hartshome's fantastic book Geometry: Euclid and Beyond, and can be considered as a careful exposition of most of chapter II of that book. It must be remarked that non-euclidean geometries, i.e. geometries not satisfying the fifth postulate of Euclid, enter the scene, in a natural way, from the very beginning. The vast majority of plane geometry texts are only concerned with euclidean geometry, loosing the oportunity of not only teaching rigorous reasoning to freshmen, but at the same time exposing...

Este libro trata sobre los principales resultados del Análisis Funcional y de sus aplicaciones más importantes, tanto en la propia Matemática como en la Física y la Ingeniería. Se ha redactado para que pueda servir bien como libro de texto, bien como obra de consulta, y está dirigido a estudiantes y profesores de carreras de pregrado en Matemática, Ingeniería Civil, y otras aficiones, así como de programas de maestría o doctorados en matemática, física y ciencias de la ingeniería. Principales características: Aborda la mayoría de los temas clásicos: dualidad, operadores...

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.