Primer curso de lógica matemática
Idioma: Español Editor: Barcelona : Reverté 1992Descripción: ix, 278 p. 21 cmISBN:- 978-84-291-5150-3
Contenidos:
1. Simbolización de proposiciones - 2. Inferencia lógica - 3. Certeza y válidez - 4. Tablas de certeza - 5. Términos, predicados y cuantificadores universales - 6. Especificación universal y leyes de identidad - 7. Un sistema matemático simple: axiomas de la adición - 8. Generalización universal
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Libro | Biblioteca Prof. Eusebio Cleto del Rey | 510.6 S959m (Navegar estantería(Abre debajo)) | Disponible | L125358 | ||||||||||||||
| Libro | Biblioteca Prof. Eusebio Cleto del Rey | 510.6 S959m (Navegar estantería(Abre debajo)) | Disponible | L125359 | ||||||||||||||
| Libro | Biblioteca Prof. Eusebio Cleto del Rey | 510.6 S959m (Navegar estantería(Abre debajo)) | Disponible | L125360 | ||||||||||||||
| Libro | Biblioteca Prof. Eusebio Cleto del Rey | 510.6 S959m (Navegar estantería(Abre debajo)) | Disponible | L126136 | ||||||||||||||
| Libro | Biblioteca Prof. Eusebio Cleto del Rey | 510.6 S959m (Navegar estantería(Abre debajo)) | Disponible | L126137 |
1. Simbolización de proposiciones - 2. Inferencia lógica - 3. Certeza y válidez - 4. Tablas de certeza - 5. Términos, predicados y cuantificadores universales - 6. Especificación universal y leyes de identidad - 7. Un sistema matemático simple: axiomas de la adición - 8. Generalización universal
niveau_biblio:m niveau_hierar:0
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.