Servicios Bibliotecarios
Resultado de la búsqueda
1 búsqueda de la palabra clave 'LOGICA PROGRAMADA'
Refinar búsqueda Générer le flux rss de la recherche
Lien permanent de la recherche Consulta a fuentes externas
Lógica matemática para informáticos / Teresa Hortalá González
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