Lógica para matemáticos / A. G. Hamilton
Por: Hamilton, A. G
.
Colaborador(es): Rodríguez Artalejo, M. (Mario) [Traducción].
Tipo de material: 
TextoSeries Lógica y Teoría de la Ciencia. Pie de imprenta: Madrid : Paraninfo , 1981Edición: Primera edición.Descripción: 243 páginas 22 cm.ISBN: 8428311013.Tema(s): Cálculo | Modelos matemático | Algoritmos | Máquinas de TuringClasificación CDD: 511.3 / H19
Contenidos:
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 incompletitud de Gödel
7. Computabilidad, insolubilidad, indecibilidad
Apéndices
| Tipo de ítem | Ubicación actual | Clasificación | Estado | Fecha de vencimiento | Código de barras | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|
Libro
|
Ingeniería Civil | 511.3/H19 | Disponible | 072400000432 | 072400000432 | ||
|
Libro
|
Ingeniería Civil | 511.3/H19 | Disponible | 072400000433 | 072400000433 |
Total de reservas: 0
Bibliografía: página 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 incompletitud de Gödel
7. Computabilidad, insolubilidad, indecibilidad
Apéndices
No hay comentarios para este ejemplar.