Imagen de portada de Amazon
Imagen de Amazon.com

Lógica y matemáticas discretas en la informática. El estilo calculatorio / Jaime Alejandro Bohórquez Villamizar

Por: Series InformaticaEditor: Colombia : Escuela Colombiana de Ingenieria , 2012Edición: 1° EdDescripción: 442 páginas ; 24 cmTipo de contenido:
  • texto
Tipo de medio:
  • no mediado
Tipo de soporte:
  • volumen
ISBN:
  • 9789588726045
Tema(s): Clasificación CDD:
  • 511 B635 2012
Contenidos:
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
Valoración
    Valoración media: 0.0 (0 votos)
Total de reservas: 0

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.

para colocar un comentario.
Recursos Repositorio Herramienta Guias Normativa


 Nuestras Alianzas