Les voy a enseñar el estándar de pregrado de la Lógica del curso de matemáticas y estudiantes de ingeniería. ¿Cuáles son las buenas (malas) los libros de texto y por qué. Yo no he enseñado a que curso por un tiempo y me pregunto si hay nuevos libros buenos. También aquellos que tomaron/impartido un curso recientemente, por favor hágamelo saber su opinión sobre el texto que has utilizado. Yo no necesito de Ciencias de la computación aplicaciones (puedo incluir mismo, si es necesario). Sólo un estándar de primer curso de Lógica Matemática.
Respuestas
¿Demasiados anuncios?
kranzky
Puntos
705
He impartido un curso de pregrado de Enderton "Una Matemática Introducción a la Lógica". Pensé que era muy accesible y era relativamente moderno en su punto de vista. Yo elegí algo por defecto, y al principio yo no estaba seguro de ello, pero creció en mí durante el semestre. Es sin duda vale la pena considerar.
allaryin
Puntos
151
La mejor introducción a la lógica que he visto es Kenneth Kunen del reciente libro, "Los Fundamentos de las Matemáticas" (ISBN: 978-1-904987-14-7), publicado en 2009. El libro ofrece una breve introducción a la teoría de conjuntos axiomática, modelo de la teoría, y la teoría de la computabilidad; y se culmina con una prueba de incompletitud de Gödel y teoremas del teorema de Tarski sobre la no-definability de la verdad. También hay un par de breves discusiones de la filosofía de las matemáticas; estos son dados desde la perspectiva del trabajo matemático, y que se utilizan para motivar el material. Y son muy útiles. De hecho, la mayor parte de las cosa de este libro es que es muy claro, bien escrito y fácil de aprender. (Kunen también escribió "la Teoría de conjuntos: Una Introducción A la Independencia de las Pruebas", que también es excepcionalmente claro, bien escrito y fácil de aprender). El libro es el único requisito es la matemática de la madurez que una Introducción al curso de Análisis proporcionaría, y está disponible (nuevo) en amazon.com por menos de $25.
Jeremy McGee
Puntos
13826
El mejor libro de texto de pregrado que he visto en la lógica matemática es Wolfe es Un Recorrido a Través de la Lógica Matemática. Yo no podía dejar de leerlo,es QUE eso era fascinante. Cubre prácticamente un resumen completo de la lógica matemática con muchas notas históricas y barras laterales que ilustran el campo en el contexto de una gran historia con un elenco de miles y toca en virtualmente todos los aspectos del campo, de la lógica clásica a la teoría de conjuntos axiomática para la computabilidad a forzar y grandes cardenales.Lo que le falta en profundidad,es más, a continuación, hace que la amplitud y una fascinante selección de temas y puntos de vista.
Imagina que: un texto LEGIBLE en la lógica matemática.Y lo mejor de todo,a diferencia de la mayoría de la lógica estándar de los libros,el lector no es preguntarse,"Sí,ok, pero ¿por qué es tan importante?"
Wolfe trabaja muy duro, no sólo para mostrar por qué piensa que es importante-pero ¿por qué los fundadores de la asignatura pensé que era en sus propias palabras.
Me gustaría sugerir FUERTEMENTE la comprobación de que el libro,Mark.
hunterp
Puntos
139
mawcsco
Puntos
166
[Disculpas, pero no puedo votar ni comentar]
@Andrew & @Marcos - que Acaba de leer el 3 y 4 capítulos (es decir, los que se superponen con mi actual investigación) y sí, el libro de Wolf es excelente! (Vista previa está en la búsqueda de Libros de Google) me pueden secundariamente recomiendo! El inicio de cada capítulo es detallado, y escasa en detalles técnicos, pero da realidad a las ideas muy bien y de forma sucinta. También, se lee como la mayoría de los profesores de la charla - entonces te das la vuelta y ver cuánto terreno y técnicos que HA sido cubierto, y tengo que decir que me quedé muy impresionado. Si usted no elige como un libro de texto, entonces ciertamente secundaria/pre-supuesto de la lectura! Hay un par de errores tipográficos (uno en una definición... :-S ), pero el estudio de los temas, sin empantanarse en detalles que aquellos que inician no apreciar ni necesariamente necesita, es excelente.
