Lógica matemática para informáticos ejercicios resueltos / Teresa Hortalá González [y otros cinco].

Contributor(s): Material type: TextTextLanguage: Spanish Publication details: Madrid : Pearson. Prentice Hall, 2007.Description: x, 390 páginas : ilustraciones ; 27 cmContent type:
  • texto
Media type:
  • sin medio
Carrier type:
  • volumen
ISBN:
  • 9788483224540
Subject(s): DDC classification:
  • 21 511.3 L687 2008
Contents:
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 lógica. Leyes de los cuantificadores -- 8. Cálculo lógico Tableaux -- 9. Cálculo lógico con resolución -- 10. Ejercicios propuestos.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Materials specified Copy number Status Notes Date due Barcode
Libro de Reserva Libro de Reserva Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) Reserva 511.3 L687 2008 (Browse shelf(Opens below)) Ej. 1 Available Colección 3, Isla 9, Lado B, Módulo 1 100001304

Incluye prólogo en la página ix.

Incluye referencia bibliográficas en la página 389.

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 lógica. Leyes de los cuantificadores -- 8. Cálculo lógico Tableaux -- 9. Cálculo lógico con resolución -- 10. Ejercicios propuestos.

There are no comments on this title.

to post a comment.
Sistema Koha- Metabiblioteca |