Biblioteca Rafael Escandón Hernández - UNAC

Primer curso de lógica matemática

Suppes, Patrick

Primer curso de lógica matemática Introducción a la lógica matematica - 283 p.

Incluye índice

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

84-291-5150-8


Lógica matemática
Lógica simbólica y matemática

511.3 S959

Chatea con nosotros y te ayudamos sobre como renovar libros y materiales

Chatea con nosotros y podrás agendar capacitaciones en recusos bibliograficos


Página oficial : https://biblioteca.unac.edu.co

Cra. 84 # 33AA-1 Medellín, Colombia Tel. (+57)6044805590
Préstamos: ext 252,
Capacitaciones: Oscar Rincón ext. 146 servibiblio@unac.edu.co
Director: Prof. Melquisedec Merchan
Asistente: Niky Aurimar Jaimes  ext. 118
Contactenos:  biblioteca@unac.edu.co
Procesos técnicos:  Bib. Helman Arion Zapata