Logica y algoritmos Con aplicaciones a las ciencias de la computacion e informacion Robert R., Korfhage; Federico Velasco C., traductor
Tipo de material:
TextoIdioma: Español Detalles de publicación: México Limusa Noriega Editores 1974Edición: 1a edDescripción: 221 p ilustraciones 23 cmTema(s): Clasificación CDD: - 511.30285 K673l 21
Contenidos:
Revisión: Este libro fundamentalmente destinado a hombres de empresa, ingenieros, técnicos en computación y matemáticos, presenta un panorama unificado de la teoría y aplicaciones de la lógica moderna y algoritmos y técnicas del cálculo programado. En su desarrollo el autor parte del principio de que el usuario y el diseñador de computadoras debe tener algún conocimiento, tanto de lógica como de de teoría de algoritmos.
Capítulo 1. Conjuntos, relaciones y mapeos; Capítulo 2. Algebra booleanas; Capítulo 3. El cálculo proposicional; Capítulo 4. Una visión de los vectores binarios; Capítulo 5. Algoritmos y maquinas computadoras; Capítulo 6. El cálculo de predicados de primer orden; Capítulo 7. Lenguajes formales
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|---|
| Libro Colección General | Central Bogotá Sala General | Colección General | 511.30285 K673l (Navegar estantería(Abre debajo)) | 2 | Disponible | 0000000013885 |
Capítulo 1. Conjuntos, relaciones y mapeos; Capítulo 2. Algebra booleanas; Capítulo 3. El cálculo proposicional; Capítulo 4. Una visión de los vectores binarios; Capítulo 5. Algoritmos y maquinas computadoras; Capítulo 6. El cálculo de predicados de primer orden; Capítulo 7. Lenguajes formales
Este libro fundamentalmente destinado a hombres de empresa, ingenieros, técnicos en computación y matemáticos, presenta un panorama unificado de la teoría y aplicaciones de la lógica moderna y algoritmos y técnicas del cálculo programado. En su desarrollo el autor parte del principio de que el usuario y el diseñador de computadoras debe tener algún conocimiento, tanto de lógica como de de teoría de algoritmos.