Conceptos elementales de lógica informática / Nelson Becerra Correa.

By: Material type: TextTextLanguage: Spanish Publication details: Bogotá : Ecoe Ediciones : Universidad Distrital Francisco José de Caldas, 2012.Description: 198 p. ; 23 cm. figISBN:
  • 9789588782157
Subject(s): DDC classification:
  • 004. 015 1 / B 389 21
Contents:
1. Conceptos generales de lógica - 2. Lógica proposicional. 3. Lógica predicados. 4. Procedimiento de prueba de lógica predicados - 5. Deducción natural - 6. Técnicas resolución SAT.
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 Copy number Status Barcode
Libros Libros Biblioteca Central Colección General 004. 015 1 / B 389 (Browse shelf(Opens below)) 1 Available 04151

Incluye bibliografía, índice e índice alfabético.

1. Conceptos generales de lógica - 2. Lógica proposicional. 3. Lógica predicados. 4. Procedimiento de prueba de lógica predicados - 5. Deducción natural - 6. Técnicas resolución SAT.

There are no comments on this title.

to post a comment.