Servicios Bibliotecarios
Información del autor
Autor Patrick Suppes |
Documentos disponibles escritos por este autor (1)
Refinar búsqueda Consulta a fuentes externas
Título : Primer curso de lógica matemática Tipo de documento: texto impreso Autores: Patrick Suppes, Autor ; Hill, Shirley, Autor Editorial: Barcelona : Editorial Reverté Fecha de publicación: 2007 Número de páginas: 278 p Il.: il. Dimensiones: Rústica ISBN/ISSN/DL: 978-84-291-5150-3 Nota general: Título original First course in mathematical logic
Tiene como título en la pasta Introducción a la lógica matemática
Incluye índice alfabéticoIdioma : Español (spa) Palabras clave: LÓGICA MATEMÁTICA, LÓGICA SIMBÓLICA Y MATEMÁTICA Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: 1. Simbolización de proposiciones. // 2. Inferencia lógica. // 3. Certeza y validez. // 4. Tabla 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.
Primer curso de lógica matemática [texto impreso] / Patrick Suppes, Autor ; Hill, Shirley, Autor . - Barcelona : Editorial Reverté, 2007 . - 278 p : il. ; Rústica.
ISBN : 978-84-291-5150-3
Título original First course in mathematical logic
Tiene como título en la pasta Introducción a la lógica matemática
Incluye índice alfabético
Idioma : Español (spa)
Palabras clave: LÓGICA MATEMÁTICA, LÓGICA SIMBÓLICA Y MATEMÁTICA Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: 1. Simbolización de proposiciones. // 2. Inferencia lógica. // 3. Certeza y validez. // 4. Tabla 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.
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 00002956 511.3/S959 Libro Biblioteca Principal -Medellín Colección General Disponible
