TY - BOOK AU - Aguilar Navarro,Marlene Elizabeth AU - Portillo Hernández, Edwin David TI - Matemática computacional I SN - 9789996191275 U1 - 511.3 PY - 2015/// CY - San Miguel PB - Universidad Gerardo Barrios KW - MATEMATICA COMPUTACIONAL KW - LÓGICA MATEMÁTICA KW - LIBRO DE CATEDRA N2 - CÁLCULO PROPOSICIONAL. Proposiciones simples y compuestas; Valor de verdad; Conectivos lógicos: negación, disyunción, conjunción, condicional y bicondicional; Tautología, contradicción o equivalencia; Álgebra de proposiciones: leyes; Ejercicios prácticos. CALCULO PREDICATIVO. Lógica de predicados; Las funciones enunciativas, variables y cuantificadores; Equivalencias entre cuantificadores; Universo del discurso; Variables libre y ligadas; Teoría de la inferencia del cálculo de predicado; Ejercicios prácticos. TEORÍA DE CONJUNTOS. Notación; Familia de conjuntos; Inclusión e igualdad; Diagramas de Venn-Euler; Álgebra de conjuntos; Ejercicios prácticos. ALGORITMOS. Notación de algoritmos; Algoritmos recursivos; Algoritmo iterativo; Algoritmo de Euclides; Criptografía; Ejercicios prácticos. MÉTODOS DE CONTEO. Permutaciones y combinaciones; Ejercicios prácticos. ARBOLES Y LENGUAJE. Arboles; Estructura del árbol y sus niveles; Bosques de árboles; Subárboles; Tipos de árboles; Recorrido de un árbol; Ejercicios prácticos. SISTEMAS DE NUMERACIÓN. Sistema decimal; Sistema binario, octal y hexadecimal; Conversiones; Ejercicios prácticos ER -