Inicio
Información del autor
Autor Hernando Burgos Soto |
Documentos disponibles escritos por este autor (1)
Refinar búsqueda
Lógica matemática / Virgilio Obeso Fernández / Barranquilla : Ediciones Uninorte (2007)
Título : Lógica matemática : notas de clase Tipo de documento: texto impreso Autores: Virgilio Obeso Fernández, Autor ; Hernando Burgos Soto, Autor Editorial: Barranquilla : Ediciones Uninorte Fecha de publicación: 2007 Número de páginas: 95 páginas Dimensiones: 28 centímetros ISBN/ISSN/DL: 978-958-8252-25-4 Clasificación: LOGICA MATEMATICA Clasificación: 511.3 O23 Resumen: Nota de contenido: Proposiciones: Valores de verdad de una proposición. Conectivos lógicos. Proposiciones simples y compuestas. Conjunción, disjunción, condicional, bicondicional y negación. Tautología y contradicción. Fórmulas bien formadas: Conjuntos inductivos. Principio de inducción en fórmulas. Segmento inicial y segmento inicial propio. Teorema de la descomposición única. Árboles, definiciones recursivas. Supresión de paréntesis. Notación prefija, entrefija y posfija. Decidibilidad. Convertir una notación entrefija a prefija. Equivalencias lógicas y su utilización. Conjuntos completos. Formas normales. Dispositivos de dos estados. Cálculo proposicional: Teorema de la deducción. Validez. Completitud. Consistencia. Cálculo de los predicados: Predicados, relaciones y cuantificadores. Representación simbólica del lenguaje cotidiano, gramática y lógica, términos, predicados. Variables ligadas y libres. Teoría general de la inferencia. Interpretación y validez. Link: https://pmb.unjbg.edu.pe/opac_css/index.php?lvl=notice_display&id=37304 Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado Area FECH8026 511.3 O23 Libro Biblioteca FECH ACB - Ciencias Naturales y Matematicas Disponible Area_Ciencias_Basicas