Image from Google Jackets

Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González ...[et al.]

Contributor(s): Language: Spanish Series: ( Prentice práctica )Publication details: Madrid, España : Pearson Educación, 2008Description: x, 390 páginas ; ilustraciones ; 27 cmContent type:
  • texto
Media type:
  • sin mediación
Carrier type:
  • volumen
ISBN:
  • 9788483224540
Subject(s): DDC classification:
  • 004.015 1  T687l
Contents:
Lógica proposicional - Sintaxis y semántica - Formalización - Técnicas de razonamiento - Equivalencia lógica - Leyes Booleanas - Cálculo lógico con tableaux - Lógica de primer orden - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes de los cuantificadores - Cálculo lógico con tableaux - Cálculo lógico con resolución - 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 Call number Copy number Status Notes Barcode
Libros MATRIZ 004.015 1 L687l (Browse shelf(Opens below)) Ej.1 Available NO DISPONIBLE 18763

Contiene índice.

Incluye bibliografía.

Lógica proposicional - Sintaxis y semántica - Formalización - Técnicas de razonamiento - Equivalencia lógica - Leyes Booleanas - Cálculo lógico con tableaux - Lógica de primer orden - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes de los cuantificadores - Cálculo lógico con tableaux - Cálculo lógico con resolución - Ejercicios propuestos.

There are no comments on this title.

to post a comment.
Share