Primer curso de lógica matemática / Patrick Suppes ; Shirley Hill.
Tipo de material:
- First course in mathematical logic
- 511.3 S 976
Contenidos:
Simbolización de proposiciones -- Inferencia lógica -- Certeza y validez -- Tablas de certeza -- Términos, predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matemático simple: axiomas de la adición -- Generalización universal.
Total de reservas: 0
Navegando Biblioteca Puiggrós estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
510 Z 55 ej. 1 Dígalo con números / | 511 C 268 ej. 1 Cálculo numérico : | 511.3 K 36 ej. 1 Teoría de autómatas y lenguajes formales / | 511.3 S 976 ej. 1 Primer curso de lógica matemática / | 512 B 654 ej. 1 Matemática discreta / | 512 Z 72 a ej. 1 Álgebra y trigonometría / | 512 Z 72 ej. 1 Álgebra, trigonometría y geometría analítica / |
Incluye índice alfabético
Simbolización de proposiciones -- Inferencia lógica -- Certeza y validez -- Tablas de certeza -- Términos, predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matemático simple: axiomas de la adición -- Generalización universal.
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.