Matemática computacional I / Marlene Elizabeth Aguilar Navarro, Edwin David Portillo Hernández
By: Aguilar Navarro, Marlene Elizabeth [Autor]
.
Contributor(s): Portillo Hernández, Edwin David.
Material type: 
BookPublisher: San Miguel: Universidad Gerardo Barrios, 2015Edition: 1a. ed.Description: 97 p.; 27 cm.ISBN: 9789996191275.Subject(s): MATEMATICA COMPUTACIONAL | LÓGICA MATEMÁTICA | LIBRO DE CATEDRADDC classification: 511.3 Summary: 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.
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central SM Colección General | 511.3 AG283 (Browse shelf) | Ej. 1 | Available | 43063 | ||
|
Libros
|
Biblioteca Central SM Colección General | 511.3 AG283 (Browse shelf) | Ej. 2 | Available | 43064 | ||
|
Libros
|
Biblioteca Central SM Colección General | 511.3 AG283 (Browse shelf) | Ej. 3 | Available | 43065 | ||
|
Libros
|
Biblioteca USU Colección General | 511.3 AG283 (Browse shelf) | Ej. 4 | Available | 43066 | ||
|
Libros
|
Biblioteca USU Colección General | 511.3 AG283 (Browse shelf) | Ej. 5 | Available | 43067 | ||
|
Libros
|
Biblioteca USU Colección General | 511.3 AG283 (Browse shelf) | Ej. 6 | Available | 43068 |
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.
Click on an image to view it in the image viewer
There are no comments for this item.