Volver a la pantalla de resultados de la última búsqueda | Previous result set | Consultar el historial de búsquedas | New search |
Información de la indexación
Documentos en la biblioteca con la clasificación 624.183402 (43)
Ló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 Lógica simbólica / Manuel Garrido / Madrid : Tecnos (Grupo Anaya) (2001)
Título : Lógica simbólica Tipo de documento: texto impreso Autores: Manuel Garrido, Autor Mención de edición: Cuarta edición reimpresa Editorial: Madrid : Tecnos (Grupo Anaya) Fecha de publicación: 2001 Número de páginas: 540, [4] páginas Il.: diagramas, tablas Dimensiones: 22 cm ISBN/ISSN/DL: 978-84-309-3747-9 Nota general: Incluye referencias bibliográficas Idioma : Español (spa) Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Introducción -- Lógica de enunciados (cálculo de conectores) -- Lógica de predicados (cálculo cuantificacional) -- Axiomatización de la lógica -- Automatización de la lógica (las bases lógicas de la informática) -- Breve historia de la lógica. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=105362 Lógica simbólica [texto impreso] / Manuel Garrido, Autor . - Cuarta edición reimpresa . - Madrid : Tecnos (Grupo Anaya), 2001 . - 540, [4] páginas : diagramas, tablas ; 22 cm.
ISBN : 978-84-309-3747-9
Incluye referencias bibliográficas
Idioma : Español (spa)
Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Introducción -- Lógica de enunciados (cálculo de conectores) -- Lógica de predicados (cálculo cuantificacional) -- Axiomatización de la lógica -- Automatización de la lógica (las bases lógicas de la informática) -- Breve historia de la lógica. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=105362
Lógica simbólica
Garrido, Manuel - Madrid : Tecnos (Grupo Anaya) - 2001
Incluye referencias bibliográficas
Introducción -- Lógica de enunciados (cálculo de conectores) -- Lógica de predicados (cálculo cuantificacional) -- Axiomatización de la lógica -- Automatización de la lógica (las bases lógicas de la informática) -- Breve historia de la lógica.
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 37812-87566-01 511.3 G26 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible Matemáticas discretas / Edward R. Scheinerman / México, D.F. : International Thomson Editores (2001)
Título : Matemáticas discretas Tipo de documento: texto impreso Autores: Edward R. Scheinerman, Autor ; Virgilio Gonzáles Pozo, Traductor ; Virgilio Gonzáles Pozo, Traductor ; Virgilio Gonzáles Pozo, Traductor Mención de edición: Primera edición Editorial: México, D.F. : International Thomson Editores Fecha de publicación: 2001 Número de páginas: xxvi, 484 páginas Il.: ilustraciones, diagramas, tablas Dimensiones: 24 cm ISBN/ISSN/DL: 978-970-686-071-2 Nota general: Incluye referencias bibliográficas; apéndice; índice. Título original en inglés: Mathematics. a discrete introduction Idioma : Español (spa) Idioma original : Inglés (eng) Clasificación: [Agneaux] ECONOMÍA - LUCHA DE CLASES Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Definición -- Teorema -- Demostración -- Contraejemplo -- Älgebra booleana -- Listas -- Factorial -- Conjuntos I: introducción a los subconjuntos -- Cuantificadores -- Conjuntos II: operaciones -- Relaciones -- Relaciones de equivalencia -- Particiones -- Coeficientes binomiales -- Conteo de multiconjuntos -- Inclusión-exclusión -- Contradicción -- Contraejemplo con el elemento más pequeño -- Inducción -- Funciones -- Principio del palomar -- Composición -- Permutaciones -- Simetría -- Notación diversa -- Espacio muestral -- Eventos -- Probabilidad condicional e independencia -- Variables aleatorios -- Esperanza matemática -- División -- Máximo divisor común -- Aritmética modular -- Teorema del residuo chino -- Factorización -- Grupos -- Isomorfismo de grupo -- Subgrupos -- Pequeño teorema de Fermat -- Criptografía de clave pública I: introducción -- Criptografia de clave II: método Rabin -- Criptografia de clave III: RSA -- Fundamentos de la teoría de las gráficas -- Subgráficas -- Conexión -- Árboles -- Gráficas de Euler -- Iluminación -- Gráficas planas -- Fundamentos de conjuntos parcialmente ordenados -- Máximo y mínimo -- Órdenes lineales -- Dimensión -- Retículas Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=22719 Matemáticas discretas [texto impreso] / Edward R. Scheinerman, Autor ; Virgilio Gonzáles Pozo, Traductor ; Virgilio Gonzáles Pozo, Traductor ; Virgilio Gonzáles Pozo, Traductor . - Primera edición . - México, D.F. : International Thomson Editores, 2001 . - xxvi, 484 páginas : ilustraciones, diagramas, tablas ; 24 cm.
ISBN : 978-970-686-071-2
Incluye referencias bibliográficas; apéndice; índice. Título original en inglés: Mathematics. a discrete introduction
Idioma : Español (spa) Idioma original : Inglés (eng)
Clasificación: [Agneaux] ECONOMÍA - LUCHA DE CLASES Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Definición -- Teorema -- Demostración -- Contraejemplo -- Älgebra booleana -- Listas -- Factorial -- Conjuntos I: introducción a los subconjuntos -- Cuantificadores -- Conjuntos II: operaciones -- Relaciones -- Relaciones de equivalencia -- Particiones -- Coeficientes binomiales -- Conteo de multiconjuntos -- Inclusión-exclusión -- Contradicción -- Contraejemplo con el elemento más pequeño -- Inducción -- Funciones -- Principio del palomar -- Composición -- Permutaciones -- Simetría -- Notación diversa -- Espacio muestral -- Eventos -- Probabilidad condicional e independencia -- Variables aleatorios -- Esperanza matemática -- División -- Máximo divisor común -- Aritmética modular -- Teorema del residuo chino -- Factorización -- Grupos -- Isomorfismo de grupo -- Subgrupos -- Pequeño teorema de Fermat -- Criptografía de clave pública I: introducción -- Criptografia de clave II: método Rabin -- Criptografia de clave III: RSA -- Fundamentos de la teoría de las gráficas -- Subgráficas -- Conexión -- Árboles -- Gráficas de Euler -- Iluminación -- Gráficas planas -- Fundamentos de conjuntos parcialmente ordenados -- Máximo y mínimo -- Órdenes lineales -- Dimensión -- Retículas Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=22719
Matemáticas discretas
Scheinerman, Edward R. - México, D.F. : International Thomson Editores - 2001
Incluye referencias bibliográficas; apéndice; índice. Título original en inglés: Mathematics. a discrete introduction
Definición -- Teorema -- Demostración -- Contraejemplo -- Älgebra booleana -- Listas -- Factorial -- Conjuntos I: introducción a los subconjuntos -- Cuantificadores -- Conjuntos II: operaciones -- Relaciones -- Relaciones de equivalencia -- Particiones -- Coeficientes binomiales -- Conteo de multiconjuntos -- Inclusión-exclusión -- Contradicción -- Contraejemplo con el elemento más pequeño -- Inducción -- Funciones -- Principio del palomar -- Composición -- Permutaciones -- Simetría -- Notación diversa -- Espacio muestral -- Eventos -- Probabilidad condicional e independencia -- Variables aleatorios -- Esperanza matemática -- División -- Máximo divisor común -- Aritmética modular -- Teorema del residuo chino -- Factorización -- Grupos -- Isomorfismo de grupo -- Subgrupos -- Pequeño teorema de Fermat -- Criptografía de clave pública I: introducción -- Criptografia de clave II: método Rabin -- Criptografia de clave III: RSA -- Fundamentos de la teoría de las gráficas -- Subgráficas -- Conexión -- Árboles -- Gráficas de Euler -- Iluminación -- Gráficas planas -- Fundamentos de conjuntos parcialmente ordenados -- Máximo y mínimo -- Órdenes lineales -- Dimensión -- Retículas
Reserva
Reservar este documento
Ejemplares (2)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 23-0736-01 511.3 S29 Libros Bib. Esp. Ing Sistemas Estanteria (Libros) Disponible 19406-59420-01 511.3 S29 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible Matemáticas discretas / Seymour Lipschutz / México, D.F. : McGraw-Hill Interamericana (2009)
Título : Matemáticas discretas Tipo de documento: texto impreso Autores: Seymour Lipschutz, Autor ; Lipson, Marc Lars, Autor ; Lipson, Marc Lars, Autor ; Lipson, Marc Lars, Autor ; Hugo Villagómez Velázquez, Traductor ; Hugo Villagómez Velázquez, Traductor ; Hugo Villagómez Velázquez, Traductor Mención de edición: Tercera edición Editorial: México, D.F. : McGraw-Hill Interamericana Fecha de publicación: 2009 Colección: Serie Schaum Número de páginas: xiv, 471 páginas Il.: diagramas, tablas Dimensiones: 27 cm ISBN/ISSN/DL: 978-970-10-7236-3 Nota general: Incluye referencias bibliográficas al final de los capítulos y apéndices; índice alfabético. Título original en inglés: Discrete Mathematics Idioma : Español (spa) Idioma original : Inglés (eng) Clasificación: [Agneaux] Educación superior - Perú - Congresos
[Agneaux] MIGRANTES - SITUACIÓN LEGALClasificación: 624.183402 Hormigón. Manuales Nota de contenido: Teoría de conjuntos -- Relaciones -- Funciones y algoritmos -- Lógica y cálculo de proposiciones -- Técnicas de conteo -- Técnicas de conteo avanzadas, recurrencia -- Probabilidad -- Teoría de grafos -- Grafos dirigidos -- Árboles binarios -- Propiedades de los enteros -- Lenguajes, autómatas, gramáticas -- Máquinas de estados finitos y máquinas de turing -- Conjuntos ordenados y retículos -- Álgebra booleana. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=28968 Matemáticas discretas [texto impreso] / Seymour Lipschutz, Autor ; Lipson, Marc Lars, Autor ; Lipson, Marc Lars, Autor ; Lipson, Marc Lars, Autor ; Hugo Villagómez Velázquez, Traductor ; Hugo Villagómez Velázquez, Traductor ; Hugo Villagómez Velázquez, Traductor . - Tercera edición . - México, D.F. : McGraw-Hill Interamericana, 2009 . - xiv, 471 páginas : diagramas, tablas ; 27 cm. - (Serie Schaum) .
ISBN : 978-970-10-7236-3
Incluye referencias bibliográficas al final de los capítulos y apéndices; índice alfabético. Título original en inglés: Discrete Mathematics
Idioma : Español (spa) Idioma original : Inglés (eng)
Clasificación: [Agneaux] Educación superior - Perú - Congresos
[Agneaux] MIGRANTES - SITUACIÓN LEGALClasificación: 624.183402 Hormigón. Manuales Nota de contenido: Teoría de conjuntos -- Relaciones -- Funciones y algoritmos -- Lógica y cálculo de proposiciones -- Técnicas de conteo -- Técnicas de conteo avanzadas, recurrencia -- Probabilidad -- Teoría de grafos -- Grafos dirigidos -- Árboles binarios -- Propiedades de los enteros -- Lenguajes, autómatas, gramáticas -- Máquinas de estados finitos y máquinas de turing -- Conjuntos ordenados y retículos -- Álgebra booleana. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=28968
Matemáticas discretas
Lipschutz, SeymourLipson, Marc Lars ; Lipson, Marc Lars ; Lipson, Marc Lars - - México, D.F. : McGraw-Hill Interamericana - 2009
Incluye referencias bibliográficas al final de los capítulos y apéndices; índice alfabético. Título original en inglés: Discrete Mathematics
Teoría de conjuntos -- Relaciones -- Funciones y algoritmos -- Lógica y cálculo de proposiciones -- Técnicas de conteo -- Técnicas de conteo avanzadas, recurrencia -- Probabilidad -- Teoría de grafos -- Grafos dirigidos -- Árboles binarios -- Propiedades de los enteros -- Lenguajes, autómatas, gramáticas -- Máquinas de estados finitos y máquinas de turing -- Conjuntos ordenados y retículos -- Álgebra booleana.
Reserva
Reservar este documento
Ejemplares (11)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 34-0803-01 511.3076 L66 Libros Bib. Esp. Ing Civil Estanteria (Libros) Disponible 34-0804-02 511.3076 L66 Libros Bib. Esp. Ing Civil Estanteria (Libros) Disponible 22-3183-01 510.071 L66 Libros Bib. Esp. Ing Estadistica e Informática Estanteria (Libros) Disponible 23-0704-01 511.3076 L66 Libros Bib. Esp. Ing Sistemas Estanteria (Libros) Disponible 25056-69373-01 510.071 L66 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 25056-70693-02 510.071 L66 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 25056-70814-03 510.071 L66 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 25056-70815-04 510.071 L66 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 25056-70816-05 510.071 L66 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 25056-70817-06 510.071 L66 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible 25056-70818-07 510.071 L66 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible Matemáticas discretas. Fundamentos de las Ciencias de la Computación / Augusto Cortez Vásquez / Editorial San Marcos (2011)
Título : Matemáticas discretas. Fundamentos de las Ciencias de la Computación Tipo de documento: texto impreso Autores: Augusto Cortez Vásquez, Autor Mención de edición: 1a ed. Editorial: Editorial San Marcos Fecha de publicación: 2011 Número de páginas: 398 p. Il.: ils.; grafs. Dimensiones: 23 cm. ISBN/ISSN/DL: 978-612-302-689-9 Idioma : Español (spa) Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Lógica -- Sistemas de números -- Conjuntos y secuencias -- Inducción matemática -- Recursividad -- Teoría Combinatoria -- Relaciones -- Funciones -- Matrices -- Grafos -- Maquinas de estados finitos -- Árboles -- Sistemas algebraicos -- Verificacion de programas -- Lenguajes y gramáticas -- Automatas finitos -- Autómatas de pilas -- Máquinas de turing -- Traductores. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=96054 Matemáticas discretas. Fundamentos de las Ciencias de la Computación [texto impreso] / Augusto Cortez Vásquez, Autor . - 1a ed. . - Editorial San Marcos, 2011 . - 398 p. : ils.; grafs. ; 23 cm.
ISBN : 978-612-302-689-9
Idioma : Español (spa)
Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Lógica -- Sistemas de números -- Conjuntos y secuencias -- Inducción matemática -- Recursividad -- Teoría Combinatoria -- Relaciones -- Funciones -- Matrices -- Grafos -- Maquinas de estados finitos -- Árboles -- Sistemas algebraicos -- Verificacion de programas -- Lenguajes y gramáticas -- Automatas finitos -- Autómatas de pilas -- Máquinas de turing -- Traductores. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=96054
Matemáticas discretas. Fundamentos de las Ciencias de la Computación
Cortez Vásquez, Augusto - Lima : Editorial San Marcos - 2011
Lógica -- Sistemas de números -- Conjuntos y secuencias -- Inducción matemática -- Recursividad -- Teoría Combinatoria -- Relaciones -- Funciones -- Matrices -- Grafos -- Maquinas de estados finitos -- Árboles -- Sistemas algebraicos -- Verificacion de programas -- Lenguajes y gramáticas -- Automatas finitos -- Autómatas de pilas -- Máquinas de turing -- Traductores.
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 22-3041-01 511.3 C82 Libros Bib. Esp. Ing Estadistica e Informática Estanteria (Libros) Disponible Matemáticas para informática / Ismael Gutiérrez García / Barranquilla : Uninorte (2010)
PermalinkModelo logístico para la elección de determinantes que influyen en el traspaso a una administradora de fondos de pensiones AFP en la Ciudad de Puno Año 2010 / Luz Denise Lujano Acero / Puno : Universidad Nacional del Altiplano. Facultad de Ingeniería Estadística e Informática. Escuela Profesional de Ingeniería Estadística e Informática (2011)
PermalinkPrimer curso de lógica matemática / Patrick Suppes / Barcelona [España] : Reverté (1999)
PermalinkProblemas resueltos de matemática discreta / Félix García Merayo / Madrid : International Thomson Editores (2003)
PermalinkPsicotécnico / Salvador Timoteo Valentín / Lima : San Marcos (2010)
PermalinkRazonamiento matemático. Siglo XXI; habilidad matemática-curso integral / Salvador Timoteo Valentín / Lima : San Marcos (2007)
PermalinkRazonamiento matemático / Manuel Coveñas Naquiche / Lima : Coveñas (1995)
PermalinkTeoría de Autómatas, Lenguajes y Computación / John E. Hopcroft / Pearson Áddison Wesley (2007)
PermalinkTeoría de Autómatas y Lenguajes Formales / Enrique Alfonseca Cubero / Madrid : McGraw-Hill Interamericana de España (2007)
PermalinkTeoría axiomática de conjuntos / Patrick Suppes / Cali : Norma (1968)
PermalinkLa teoría de funciones de Baire / Luis Cornelio Recalde / Cali [Colombia] : Universidad del Valle (2010)
PermalinkTeoría intuitiva de los conjuntos / Halmos Paul R. / México, D.F. : Continental (1967)
PermalinkTeoría de modelos / Manzano María / Madrid : Alianza Editorial (1989)
Permalink