Información del autor
Autor Jaime Alejandro Bhórquez Villamizar |
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsquedaLógica y Matemáticas Discretas en la Informática / Jaime Alejandro Bhórquez Villamizar / Bogotá : Escuela Colombiana de Ingeniería (2012)
Título : Lógica y Matemáticas Discretas en la Informática : El Estilo Calculatorio Tipo de documento: texto impreso Autores: Jaime Alejandro Bhórquez Villamizar, Autor Mención de edición: 1a ed. Editorial: Bogotá : Escuela Colombiana de Ingeniería Fecha de publicación: 2012 Colección: Informática Número de páginas: x.; 440 p. Il.: gráfs.; tbls. Dimensiones: 24 cm. ISBN/ISSN/DL: 978-958-8726-04-5 Nota general: Incluye Notas bibliográficas. Idioma : Español (spa) Clasificación: [Agneaux] ASPECTOS SOCIALES - PERÚ Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Introducción -- Sintaxis -- Sistemas formales -- Lógica proposicional -- Semántica de la lógica proposicional -- Lógica de predicados y operatorias -- Cálculo de predicados -- La lógica como lenguaje para modelar -- Operatorias -- Teoría de sucesiones -- Una teoría de la programación -- Conjuntos, relaciones y funciones -- Conceptos de relación y función -- Cardinalidad e inducción sobre conjuntos -- Aritmética aditiva -- Aritmética multiplicativa -- Análisis combinatorio -- Relaciones matemáticas -- Inducción estructural. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=93109 Lógica y Matemáticas Discretas en la Informática : El Estilo Calculatorio [texto impreso] / Jaime Alejandro Bhórquez Villamizar, Autor . - 1a ed. . - Bogotá : Escuela Colombiana de Ingeniería, 2012 . - x.; 440 p. : gráfs.; tbls. ; 24 cm.. - (Informática) .
ISBN : 978-958-8726-04-5
Incluye Notas bibliográficas.
Idioma : Español (spa)
Clasificación: [Agneaux] ASPECTOS SOCIALES - PERÚ Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Introducción -- Sintaxis -- Sistemas formales -- Lógica proposicional -- Semántica de la lógica proposicional -- Lógica de predicados y operatorias -- Cálculo de predicados -- La lógica como lenguaje para modelar -- Operatorias -- Teoría de sucesiones -- Una teoría de la programación -- Conjuntos, relaciones y funciones -- Conceptos de relación y función -- Cardinalidad e inducción sobre conjuntos -- Aritmética aditiva -- Aritmética multiplicativa -- Análisis combinatorio -- Relaciones matemáticas -- Inducción estructural. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=93109
Lógica y Matemáticas Discretas en la Informática
Bhórquez Villamizar, Jaime Alejandro - Bogotá : Escuela Colombiana de Ingeniería - 2012
Incluye Notas bibliográficas.
Introducción -- Sintaxis -- Sistemas formales -- Lógica proposicional -- Semántica de la lógica proposicional -- Lógica de predicados y operatorias -- Cálculo de predicados -- La lógica como lenguaje para modelar -- Operatorias -- Teoría de sucesiones -- Una teoría de la programación -- Conjuntos, relaciones y funciones -- Conceptos de relación y función -- Cardinalidad e inducción sobre conjuntos -- Aritmética aditiva -- Aritmética multiplicativa -- Análisis combinatorio -- Relaciones matemáticas -- Inducción estructural.
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 16-1275-01 511.3 B51 Libros Bib. Esp. Ciencias Educación Estanteria (Libros) Disponible
