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

By: Material type: ArticleArticleLanguage: Spanish Publisher: Bogotá : Ecoe ediciones, Universidad Distrital Francisco José de Caldas, 2012Edition: Primera editorialDescription: 198 páginas : ilustraciones ; 23 cmContent type:
  • texto
Media type:
  • sin medio
Carrier type:
  • volumen
ISBN:
  • 9789588782157
Subject(s): DDC classification:
  • 21 004.0151 B389 2012
Contents:
1. Conceptos generales de la 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 Materials specified Copy number Status Notes Date due Barcode
Libro de Reserva Libro de Reserva Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) Reserva 004.0151 B389 2012 (Browse shelf(Opens below)) Ej. 1 Available Colección 1, Isla 1, Lado A, Módulo 2 100002910
Libros Libros Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) General 004.0151 B389 2012 (Browse shelf(Opens below)) Ej. 2 Available Colección 1, Isla 1, Lado A, Módulo 2 100002911
Libros Libros Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) General 004.0151 B389 2012 (Browse shelf(Opens below)) Ej. 3 Available Colección 1, Isla 1, Lado A, Módulo 2 100002912

Incluye índice de figuras en la página 11

Incluye índice de cuadros en la página 13

Incluye índice alfabético en la página 191

Incluye referencias bibliográficas en la página 193

1. Conceptos generales de la 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.
Sistema Koha- Metabiblioteca |