Imagen de Amazon.com
Sistemas formales, informalmente
Bogotà Universidad De Los Andes 1992Descripción: 130 páginasTipo de contenido:- texto
- no mediado
- volumen
- 958-9216-07-2
- 510 / G653s
Contenidos:
Introducción, cap.1 por qué intentaron formalizar a la matemática si era tan buena muchacha, cap.2 el acertijo de mu, cap.3 producir los números, cap.4 fractales, cap.5 juego de vida, cap.6 sistemas formales y el lenguaje, cap.7 el método axiomático, cap.8 los sistemas sociales y las matemáticas, cap.9 la herramienta, cap.10 un ejemplo de axiomatización, cap.11 sistemas axiomáticos, cap.12 regreso al futuro iii, cap.13 el final de la historia, cap.14 observaciones sobre la demostración de gode, cap.15 el teorema de godel a través de acertijos, cap.16
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|---|
Libro general
|
Biblioteca Uniagraria | General | 510 / G653s (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 30 | 0100003887 |
Introducción, cap.1 por qué intentaron formalizar a la matemática si era tan buena muchacha, cap.2 el acertijo de mu, cap.3 producir los números, cap.4 fractales, cap.5 juego de vida, cap.6 sistemas formales y el lenguaje, cap.7 el método axiomático, cap.8 los sistemas sociales y las matemáticas, cap.9 la herramienta, cap.10 un ejemplo de axiomatización, cap.11 sistemas axiomáticos, cap.12 regreso al futuro iii, cap.13 el final de la historia, cap.14 observaciones sobre la demostración de gode, cap.15 el teorema de godel a través de acertijos, cap.16
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.