Lógica y matemáticas discretas en la informática. El estilo calculatorio / Jaime Alejandro Bohórquez Villamizar
Series InformaticaEditor: Colombia : Escuela Colombiana de Ingenieria , 2012Edición: 1° EdDescripción: 442 páginas ; 24 cmTipo de contenido:- texto
- no mediado
- volumen
- 9789588726045
- 511 B635 2012
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libro
|
Sede Santo Domingo Sala general | Col General | 511 B635 2012 (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | SDO009411 | ||
|
Libro
|
Sede Santo Domingo Sala general | Col General | 511 B635 2012 (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | SDO009412 | ||
|
Libro
|
Sede Santo Domingo Sala general | Col General | 511 B635 2012 (Navegar estantería(Abre debajo)) | Ej.3 | Disponible | SDO011367 | ||
|
Libro
|
Sede Santo Domingo Sala general | Col General | 511 B635 2012 (Navegar estantería(Abre debajo)) | Ej.4 | Disponible | SDO011368 |
Navegando Sede Santo Domingo estanterías, Ubicación en estantería: Sala general, Colección: Col General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Factura Limerin
I. Fundamentos del lenguaje matematico: 1.- Introduccion 2.- Sintaxis: - Analisis sintactico - Expresiones matematicas -Sustitucion textual 3.- Sistemas formales: - Contexto - Sistemas logicos formales - Logica de igualdad 4.- Logica proposicional: - Expresiones booleanas -Sistema deductivo - Calculo de deduccion ecuacional 5.- Semantica de la logica proposicional: - Validez - Completitud 6.- Extensiones y afinamiento del calculo: - Reglas derivadas adicionales - Extension del formato de prueba - Metateorema de la deduccion - Metodos de prueba inspirados en teoremas - Operador de clausura universal II. Logica de predicados y operatorias:- 7.- Caculo de predicados: - Lenguaje de la logica de predicados - Axiomas y reglas de la logica de predicados - Propiedades de la cuantificacion universal - Propiedades de la cuantificacion existencial 8.- La logica como lenguaje para modelar: - Simbolizacion en la logica proposicional - Simbolizacion en la logica de predicados 9.- Operatorias: - Sintaxis - Sistema axiomatico 10.- Teoria de sucesiones: - Tipos como distintivos sintacticos - Teoria del tipo suc T. 11.- Una teoria de la programacion III. Conjuntos, relaciones y funciones 12.- Teoria de conjuntos 13.- Conceptos de relacion y funcion 14.- Cardinalidad e induccion sobre conjuntos IV. Aritmetica y combinatoria 15.- Aritmetica aditiva 16.- Aritmetica multiplicativa 17.- Analisis combinatorio V. Teoria de relaciones: 18.- Relaciones matematicas 19.- Induccion estructural
Sistemas de la Información
JT
No hay comentarios en este titulo.