Servicios Bibliotecarios
Resultado de la búsqueda
4 búsqueda de la palabra clave
'LOGICA MATEMATICA' 
Refinar búsqueda Générer le flux rss de la recherche
Lien permanent de la recherche Consulta a fuentes externas
Título : Lógica matemática para informáticos : ejercicios resueltos Tipo de documento: texto impreso Autores: Teresa Hortalá González ; Narciso Martí Oliet, Autor ; Miguel Palomino Tarjuelo, Autor ; Mario Rodríguez Artalejo, Autor ; Del Vado Virseda, Rafael, Autor Editorial: Madrid : Pearson Educación Fecha de publicación: 2008 Número de páginas: 390 p Il.: il. Dimensiones: Rústica ISBN/ISSN/DL: 978-84-8322-454-0 Nota general: Incluye Bibliografía e Índice Idioma : Español (spa) Palabras clave: CÁLCULO INFORMATICA LOGICA MATEMATICA LOGICA PROGRAMADA LOGICA PROPORCIONAL LOGICA-PROBLEMAS, EJERCICIOS ETC. RAZONAMIENTO Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Resumen: El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática.
Nota de contenido: Parte I. Lógica proposicional. // Capítulo 1. Sintaxis semántica. // Capítulo 2. Formalización. Técnica de razonamiento. // Capítulo 3. Equivalencia lógica. Leyes Booleanas. // Capítulo 4. Cálculo lógico con trableaux. // Parte II. Lógica de primer orden. // Capítulo 5. Sintaxis semántica. // Capítulo 6. Formalización. Técnicas de razonamiento. // Capítulo 7. Equivalencia lógica. Leyes de los cuantificadores. // Capítulo 8. Cálculo lógico con tableaux. // Capítulo 9. Cálculo lógico con resoluciones. // Capítulo 10. Ejercicios propuestos.
Lógica matemática para informáticos : ejercicios resueltos [texto impreso] / Teresa Hortalá González ; Narciso Martí Oliet, Autor ; Miguel Palomino Tarjuelo, Autor ; Mario Rodríguez Artalejo, Autor ; Del Vado Virseda, Rafael, Autor . - Madrid : Pearson Educación, 2008 . - 390 p : il. ; Rústica.
ISBN : 978-84-8322-454-0
Incluye Bibliografía e Índice
Idioma : Español (spa)
Palabras clave: CÁLCULO INFORMATICA LOGICA MATEMATICA LOGICA PROGRAMADA LOGICA PROPORCIONAL LOGICA-PROBLEMAS, EJERCICIOS ETC. RAZONAMIENTO Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Resumen: El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática.
Nota de contenido: Parte I. Lógica proposicional. // Capítulo 1. Sintaxis semántica. // Capítulo 2. Formalización. Técnica de razonamiento. // Capítulo 3. Equivalencia lógica. Leyes Booleanas. // Capítulo 4. Cálculo lógico con trableaux. // Parte II. Lógica de primer orden. // Capítulo 5. Sintaxis semántica. // Capítulo 6. Formalización. Técnicas de razonamiento. // Capítulo 7. Equivalencia lógica. Leyes de los cuantificadores. // Capítulo 8. Cálculo lógico con tableaux. // Capítulo 9. Cálculo lógico con resoluciones. // Capítulo 10. Ejercicios propuestos.
Reserva
Reservar este documento
Ejemplares (2)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 00002919 511.3 / L832/Ej. 1 Libro Biblioteca Principal -Medellín Colección General Disponible 00002920 511.3 /L832/Ej. 2 Libro Biblioteca Principal -Medellín Colección General Disponible
Título : Método de resolución de problemas en lógica matemática Tipo de documento: texto impreso Autores: Flaviano Armando Zenteno Ruiz, Autor Otro editor: Lima : Editorial Académica Española Fecha de publicación: 2014 Número de páginas: 197 p Il.: il. byn Dimensiones: Rústica ISBN/ISSN/DL: 978-3-659-01829-9 Nota general: Incluye bibliografía Idioma : Español (spa) Palabras clave: LÓGICA MATEMÁTICA Clasificación: 511.3 – Principios generales – Lógica matemática Nota de contenido: ContenidosPRIMERA PARTE. Aspectos teóricos. // Capitulo I. Planteamiento del problema. // Capitulo II. Marco teórico. // Capitulo III. Metodología. // SEGUNDA PARTE. Aspectos prácticos. // Capitulo IV. Resultados de la investigación. // Conclusiones. // Recomendaciones Método de resolución de problemas en lógica matemática [texto impreso] / Flaviano Armando Zenteno Ruiz, Autor . - Lima : Editorial Académica Española, 2014 . - 197 p : il. byn ; Rústica.
ISBN : 978-3-659-01829-9
Incluye bibliografía
Idioma : Español (spa)
Palabras clave: LÓGICA MATEMÁTICA Clasificación: 511.3 – Principios generales – Lógica matemática Nota de contenido: ContenidosPRIMERA PARTE. Aspectos teóricos. // Capitulo I. Planteamiento del problema. // Capitulo II. Marco teórico. // Capitulo III. Metodología. // SEGUNDA PARTE. Aspectos prácticos. // Capitulo IV. Resultados de la investigación. // Conclusiones. // Recomendaciones Reserva
Reservar este documento
Ejemplares (4)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 02000629 511.3/Z56/Ej: 4 Libro Biblioteca Sede - Cali Colección General Disponible 04000934 511.3/Z56/Ej: 1 Libro Biblioteca Sede - Neiva Colección General Disponible 03000628 511.3/Z56/Ej: 2 Libro Biblioteca Sede - Popayán Colección General Disponible 03000679 511.3/Z56/Ej: 3 Libro Biblioteca Sede - Popayán Colección General Disponible
Título : Matemáticas discretas Tipo de documento: texto impreso Autores: Johnsonbaugh, Richard Editorial: México : Pearson Educación Fecha de publicación: 2005 Número de páginas: 672 p Il.: il. Dimensiones: Rústica ISBN/ISSN/DL: 978-970-26-0637-6 Nota general: Incluye Índice Idioma : Español (spa) Palabras clave: ALGEBRA BOOLEANA ALGORITMOS LOGICA MATEMATICA LOGICA SIMBOLICA MATEMATICAS DISCRETAS MATEMATICAS EN COMPUTADORES NUMEROS REDES(MATEMATICAS) TEORIA DE GRAFICOS TEORIA DE NUMEROS Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: 1. Lógica y demostración. // 2. El lenguaje de las matemáticas. // 3. Relaciones. // 4. Algoritmos. // 5. Introducción a la teoría de números. // 6. Métodos de conteo y el principio del palomar. // 7. Relaciones de recurrencia. // 8. Teoría de gráficas. // 9. Árboles. // 10. Modelos de redes. // 11. Álgebra booleanas y circuitos combinatorios. // 12. Autómatas, gramáticas y lenguaje. // 13. Geometría para cálculo. Matemáticas discretas [texto impreso] / Johnsonbaugh, Richard . - México : Pearson Educación, 2005 . - 672 p : il. ; Rústica.
ISBN : 978-970-26-0637-6
Incluye Índice
Idioma : Español (spa)
Palabras clave: ALGEBRA BOOLEANA ALGORITMOS LOGICA MATEMATICA LOGICA SIMBOLICA MATEMATICAS DISCRETAS MATEMATICAS EN COMPUTADORES NUMEROS REDES(MATEMATICAS) TEORIA DE GRAFICOS TEORIA DE NUMEROS Clasificación: 511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica) Nota de contenido: 1. Lógica y demostración. // 2. El lenguaje de las matemáticas. // 3. Relaciones. // 4. Algoritmos. // 5. Introducción a la teoría de números. // 6. Métodos de conteo y el principio del palomar. // 7. Relaciones de recurrencia. // 8. Teoría de gráficas. // 9. Árboles. // 10. Modelos de redes. // 11. Álgebra booleanas y circuitos combinatorios. // 12. Autómatas, gramáticas y lenguaje. // 13. Geometría para cálculo. Reserva
Reservar este documento
Ejemplares (2)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 00002913 511.3 / J66/Ej. 1 Libro Biblioteca Principal -Medellín Colección General Disponible 00002914 511.3 / J66/Ej. 2 Libro Biblioteca Principal -Medellín Colección General Disponible
Título : Matematica digital Tipo de documento: texto impreso Autores: Aristizabal Botero, William Editorial: Bogota : McGraw-Hill Otro editor: 1998 Dimensiones: 188 p Palabras clave: ALGEBRA BOOLEANA CIRCUITOS LOGICA MATEMATICA Matematica digital [texto impreso] / Aristizabal Botero, William . - Bogota : McGraw-Hill : 1998, [s.d.] . - ; 188 p.
Palabras clave: ALGEBRA BOOLEANA CIRCUITOS LOGICA MATEMATICA Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 003792 511.3 / B244 Libro Biblioteca Principal -Medellín General Excluido de préstamo
