Catálogo en línea
Normal view MARC view ISBD view

Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González, Narciso Martí Oliet, Miguel Palomino Tarjuelo...[et al.].

by Hortalá González, Teresa; Martí Oliet, Narciso; Palomino Tarjuelo, Miguel.
Material type: materialTypeLabelBookPublisher: Madrid : Pearson Educación, c2008Description: x, 390 p. : tbls., diagrs. ; 27.5 cm.ISBN: 978-84-8322-454-0.Subject(s): INFORMÁTICA | LÓGICA MATEMÁTICA | MATEMÁTICASDDC classification: 511.3
Contents:
Contenido: Parte I. Lógica proposicional. -- 1. Sintaxis y semántica. -- 2. Formalización. Técnicas de razonamiento. -- 3. Equivalencia lógica. Leyes Booleanas. -- 4. Cálculo lógico con tableaux. Parte II. Lógica de primer orden. -- 5. Sintaxis y semántica. -- 6. Formalización. Técnicas de razonamiento. -- 7. Equivalencia. Leyes de los cuantificadores. -- 8. Cálculo lógico con tableaux. -- 9. Cálculo lógica con resolución. -- 10. Ejercicios propuestos.
Summary: 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. Se pretende introducir al uso de la lógica de primer orden como instrumentos adecuados para la formalización de razonamientos y la modelización de situaciones que los estudiantes encontrarán en otras asignaturas de su curriculum, tales como la especificación y verificación de sistemas informáticos, la representación del conocimiento o la programación declarativa.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Barcode
Libros Libros BIBLIOTECA - ULEAM FACULTAD ARQUITECTURA
General Stacks
511.3 LOG (Browse shelf) Ej. 3 Available G02222
Libros Libros BIBLIOTECA - ULEAM FACULTAD ARQUITECTURA
General Stacks
511.3 LOG (Browse shelf) Ej. 4 Available G02602
Libros Libros BIBLIOTECA - ULEAM FACULTAD ARQUITECTURA
General Stacks
511.3 LOG (Browse shelf) Ej. 5 Available G02603
Libros Libros BIBLIOTECA - UNIVERSIDAD LAICA "ELOY ALFARO" DE MANABÍ
General Stacks
511.3 LOG (Browse shelf) Ej. 1 Available G02220
Libros Libros BIBLIOTECA - UNIVERSIDAD LAICA "ELOY ALFARO" DE MANABÍ
General Stacks
511.3 LOG (Browse shelf) Ej. 2 Available G02221
Libros Libros BIBLIOTECA - UNIVERSIDAD LAICA "ELOY ALFARO" DE MANABÍ
General Stacks
511.3 LOG (Browse shelf) Ej. 6 Available G02604
Libros Libros BIBLIOTECA - UNIVERSIDAD LAICA "ELOY ALFARO" DE MANABÍ
General Stacks
511.3 LOG (Browse shelf) Ej. 7 Available G02605
Libros Libros BIBLIOTECA GENERAL ULEAM EXTENSION BAHIA
General Stacks
511.3 LOG (Browse shelf) Ej. 10 Available BH01234
Libros Libros BIBLIOTECA GENERAL ULEAM EXTENSION BAHIA
General Stacks
511.3 LOG (Browse shelf) Ej. 11 Available BH01235
Libros Libros BIBLIOTECA GENERAL ULEAM EXTENSION EL CARMEN
General Stacks
511.3 LOG (Browse shelf) Ej. 8 Available EC00950
Libros Libros BIBLIOTECA GENERAL ULEAM EXTENSION EL CARMEN
General Stacks
511.3 LOG (Browse shelf) Ej. 9 Available EC00951

Incluye prólogo y bibliografía.

Contenido: Parte I. Lógica proposicional. -- 1. Sintaxis y semántica. -- 2. Formalización. Técnicas de razonamiento. --
3. Equivalencia lógica. Leyes Booleanas. -- 4. Cálculo lógico con tableaux.
Parte II. Lógica de primer orden. -- 5. Sintaxis y semántica. -- 6. Formalización. Técnicas de razonamiento. -- 7. Equivalencia. Leyes de los cuantificadores. -- 8. Cálculo lógico con tableaux. -- 9. Cálculo lógica con resolución. -- 10. Ejercicios propuestos.

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. Se pretende introducir al uso de la lógica de primer orden como instrumentos adecuados para la formalización de razonamientos y la modelización de situaciones que los estudiantes encontrarán en otras asignaturas de su curriculum, tales como la especificación y verificación de sistemas informáticos, la representación del conocimiento o la programación declarativa.

spa.

There are no comments for this item.

Log in to your account to post a comment.

Universidad Laica "Eloy Alfaro" de Manabí - Copyright ©2015-2016
Via San Mateo S/N - Manta- Ecuador
Telefono: (593) 52623740
Email: biblioteca@uleam.edu.ec
Sistema de Gestión Documental soportado por: FUSIONSOLUTIONS