Lógica para matemáticos / A. G. Hamilton.
Tipo de material:
TextoIdioma: Español Lenguaje original: Inglés Series Lógica y teoría de la cienciaDetalles de publicación: Madrid, España : Paraninfo, 1981.Descripción: 243 p. gráf. 22 cmTipo de contenido: - texto
- sin mediación
- volumen
- 8428311013
| Tipo de ítem | Biblioteca actual | Colección | Ubicación en estantería | Signatura | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
Facultad Regional Concepción del Uruguay | Materias básicas | MATERIAS BASICAS/LOGICA MATEMATICA | 510.6 ; H 3 ; 2753 (Navegar estantería(Abre debajo)) | Disponible | 2753 |
Navegando Facultad Regional Concepción del Uruguay Estantes, Ubicación: MATERIAS BASICAS/LOGICA MATEMATICA, Código de colección: Materias básicas Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 510.5 ; L 5 ; 7126 Los límites de la razón / | 510+519.22 ; U 56 ; 8866 [Aplicaciones de metodologías borrosas a temas de gestión y economía]. Cuaderno 3 / | 510.5/.6 K 64 ; 7289 Lógica, programación e inteligencia artificial / | 510.6 ; H 3 ; 2753 Lógica para matemáticos / | 510.6 ; K 21 ; 7167 The essence of logic / | 510.6 ; L 5 ; 5887 Matemática borrosa : [técnicas de gestión para el tratamiento de la incertidumbre] / | 510.6 ; L 5 ; 8864 Matemática borrosa : [técnicas de gestión para el tratamiento de la incertidumbre] / |
Título original en inglés: Logic for mathematicians.
Traducido por Mario Rodríguez Artalejo.
Índice: p. 5 a 6.
Glosario de símbolos: p. 236 a 239.
Índice alfabético de materias: p. 240 a 243.
Indicaciones y soluciones de ejercicios seleccionados: p. 219.
Bibliografía: p. 235.
1. Cálculo de enunciados informal.
2. Cálculo de enunciados formal.
3. Cálculo de predicados informal.
4. Cálculo de predicados formal.
5. Sistemas matemáticos.
6. El teorema de la incompletitud de Gödel.
7. Computabilidad, insolubilidad, indecidibilidad.
Apéndice: Conjuntos numerables y no numerables.
El material del libro se ha desarrollado partir del presentado en dos cursos separados de dieciséis clases, de tercero y cuarto año de licenciatura. El alcance de este libro es más limitado que el de otras introducciones standard de la materia. En particular, la teoría de modelos y la teoría axiomática de conjuntos sólo se toca de refilón. Por ello, se refiere al lector interesado, a la lista de títulos del final del libro para ulteriores lecturas.
Hay ejercicios al final de cada sección. Su propósito es clarificar y consolidar la materia, no extenderla.
Para quien disponga de una mínima base de matemática, desde el estudiante de primer curso hasta el matemático profesional. Se supone una cierta familiaridad con el álgebra y la teoría de números elementales.
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.