5 votos

un buen texto para un primer curso de lógica matemática

en los últimos dos meses , he preguntado a muchas personas acerca de un buen texto para primero de la lógica matemática .

después de que un elegido algunas de texto de primer orden de la lógica matemática , angelo magrais ,

está bien, pero el texto utiliza dotty sistema , este sistema de escritura no está bien para mí , así que pensé en cambiar el texto y el estudio de otro texto .

o , necesito un poco de ensayos o temas a ser fammillar con dotty sistema ,

hablemos de la primera opción , cambiar el texto ,

he leído , una concisa introuduction de la lógica matemática por Wolfgang Rautenberg .. y también , la lógica matemática por Ebbinghaus ..

pero he leído algunos comentarios dice que estos dos textos no es excelente para un primer curso y el alumno debe estudiar primero las más simples de texto, a continuación, vaya al estudio de estos textos .

pero yo no sé lo que son estos más simples textos ! , por lo tanto , estoy muy confundido . yo también he leído algunos de los primeros tramos de la , de la lógica matemática parte 1 por Lascar y Cori .

así que mi pregunta es , que los textos son excelentes para el primer curso de lógica matemática ? y ¿por qué ?

qué temas deben ser tratados en este primer curso ?

es cualquiera de los textos que he mencionado es adecuado para el primer supuesto, o no ?

realmente espero que usted puede ayudar , estoy muy confundido acerca de la buena texto o textos, que debería empezar desde .

thanx !

2voto

jmans Puntos 3018

Este libro es muy bueno. Cubre las herramientas fundamentales y los resultados en la teoría de conjuntos (Lema de Zorn, cardenales, etc.), Modelo de la teoría de la integridad teorema, el teorema de compacidad), prueba de la teoría, e incluso toques un poco en la teoría de conjuntos axiomática. No hay requisitos previos necesarios (excepto para alguna familiaridad con la teoría de grupos para algunos de los ejemplos). Va desde la base para cubrir, de forma rigurosa y accesible, algunos de los aspectos más importantes de la teoría.

He utilizado este texto varias veces para enseñar a un primer curso de lógica y fue muy exitoso.

2voto

Drew Jolesch Puntos 11

Uno de los recursos posibles, y con frecuencia se utiliza para un primer curso de lógica matemática, es Herbert Enderton de la Matemática Introducción a la Lógica. Parece apropiado para un primer curso. Me gustó mucho el texto. Usted puede obtener una vista previa del libro de texto, y su tabla de contenidos, en el enlace.

Por favor también ver este post anterior para una serie de recomendaciones:

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X