Matemáticas para informática / Ismael Gutiérrez García
Tipo de material:
TextoDetalles de publicación: Colombia : Ecoe 2010Descripción: X, 188 PISBN: 978-958-741-075-4Tema(s): 1. INFORMÁTICA 2. MATEMÁTICAS 3. LÓGICA MATEMÁTICA 4. TEORÍA DE CONJUNTOS 5. ÁLGEBRA ABSTRACTAClasificación CDD: 511.3 G9847
Contenidos:
Lógica matemática: cálculo proposicional: un poco de historia, sintaxis, notación libre de paréntesis o polaca, un sistema deductivo, semántica, ejercicios; introducción a la lógica de primer orden: sintaxis, semántica, el teorema de completitud de Gödel, ejercicios; teoría de conjuntos: el sistema axiomático ZF: preliminares y primeros axiomas, conjunto potencia y el producto cartesiano, relaciones, funciones, conjuntos parcialmente ordenados, los números naturales, ejercicios.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca URACCAN, Siuna Las Minas Staff Office | Informática Administrativa | 12025C1 (Navegar estantería (Abre debajo)) | C1 | Disponible | 9789587410754 |
Navegando Biblioteca URACCAN, Siuna Las Minas Estantes, Ubicación: Staff Office, Código de colección: Informática Administrativa Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Incluye índice, referencias
Incluye bibliografía
Lógica matemática: cálculo proposicional: un poco de historia, sintaxis, notación libre de paréntesis o polaca, un sistema deductivo, semántica, ejercicios; introducción a la lógica de primer orden: sintaxis, semántica, el teorema de completitud de Gödel, ejercicios; teoría de conjuntos: el sistema axiomático ZF: preliminares y primeros axiomas, conjunto potencia y el producto cartesiano, relaciones, funciones, conjuntos parcialmente ordenados, los números naturales, ejercicios.
Col. Inform
No hay comentarios en este titulo.