Resource data
Introduction to mathematical logic - A problem solving course
Miller, Arnold W.
Location:
http://arxiv.org/abs/math/9601203
This is a set of 288 questions written for a Moore-style course in
Mathematical Logic. I have used these (or some variation) four times in a
beginning graduate course. Topics covered are:
propositional logic
axioms of ZFC
wellorderings and equivalents of AC
ordinal and cardinal arithmetic
first order logic, and the compactness theorem
Lowenheim-Skolem theorems
Turing machines, Church's Thesis
completeness theorem and first incompleteness theorem
undecidable theories
second incompleteness theorem
Belongs to: arXiv
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
Users rating
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
Detalles del recurso
|
Introduction to mathematical logic - A problem solving course
|
| Id. |
419819 |
| Titulo |
Introduction to mathematical logic - A problem solving course |
| Autor(es) |
Miller, Arnold W. |
| Location |
http://arxiv.org/abs/math/9601203
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This is a set of 288 questions written for a Moore-style course in
Mathematical Logic. I have used these (or some variation) four times in a
beginning graduate course. Topics covered are:
propositional logic
axioms of ZFC
wellorderings and equivalents of AC
ordinal and cardinal arithmetic
first order logic, and the compactness theorem
Lowenheim-Skolem theorems
Turing machines, Church's Thesis
completeness theorem and first incompleteness theorem
undecidable theories
second incompleteness theorem |
| Palabras clave |
Mathematics - Logic |
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
| Requerimientos técnicos |
Browser: Any |
| Fecha de contribución |
17-mar-2007 |
| Contacto |
|
|