Conceptos elementales de lógica informática /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Bogotá :
Universidad Francisco José de Caldas
2012.
Ecoe Ediciones, |
| Series: | Libro universitario
|
| Subjects: | |
| Notas Contenido: |
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 000074033 | ||
| 003 | CO-BoSNA | ||
| 005 | 20260109082545.0 | ||
| 008 | 150728s2012^^^^ck^a^^^fr^^^^^001^0^spa^d | ||
| 020 | |a 9789588782157 | ||
| 040 | |a CO-BoSNA |b spa | ||
| 041 | 0 | |a spa | |
| 082 | 0 | 4 | |a 004.0151 |b B389c |2 23 |
| 100 | 1 | |a Becerra Correa, Nelson | |
| 245 | 1 | 0 | |a Conceptos elementales de lógica informática / |c Nelson Becerra Correa. |
| 260 | |a Bogotá : |b Universidad Francisco José de Caldas |b Ecoe Ediciones, |c 2012. | ||
| 300 | |a 198 páginas ; : |b ilustraciones ; |c 23 cm. | ||
| 490 | 0 | |a Libro universitario | |
| 500 | |a Incluye índice temático | ||
| 504 | |a Incluye referencias biobliográficas | ||
| 505 | 2 | |a Conceptos generales de lógica -- Lógica proposicional -- Lógica predicados -- Procedimiento de prueba de lógica predicados -- Deducción natural -- Técnicas resolución SAT | |
| 650 | 1 | 7 | |a Informática |x Matemáticas |2 Armarc |
| 650 | 2 | 7 | |a Cálculo proposicional |2 Armarc |
| 650 | 2 | 7 | |a Lógica |2 Armarc |
| 650 | 2 | 7 | |a Lógica simbólica y matemática |2 Armarc |
| 952 | |0 0 |1 0 |4 5 |6 004_015100000000000_B389C |7 0 |8 GENER |9 385985 |a 05053 |b 05053 |d 2016-04-14 |i 7913 |l 0 |o 004.0151 B389c |p 053062027521 |r 2026-01-09 08:25:45 |t Ej. 1 |w 2026-01-09 |y BOOK |z Calle 104 No. 69-120, Medellín | ||
| 952 | |0 0 |1 0 |4 6 |6 004_000000000000000_B389C |7 0 |8 GENER |9 385986 |a 17515 |b 17515 |d 2015-08-26 |i 119422 |l 0 |o 004 B389c |p 179515000968 |r 2026-01-09 08:25:45 |t Ej. 2 |w 2026-01-09 |y BOOK |z Cra. 1 Calle 42, La Dorada | ||
| 952 | |0 0 |1 0 |4 6 |6 004_000000000000000_B389C |7 0 |8 GENER |9 385987 |a 17515 |b 17515 |d 2015-08-26 |i 119422 |l 0 |o 004 B389c |p 179515000969 |r 2026-01-09 08:25:45 |t Ej. 1 |w 2026-01-09 |y BOOK |z Cra. 1 Calle 42, La Dorada | ||
| 952 | |0 0 |1 0 |4 6 |6 004_000000000000000_B389C |7 0 |8 GENER |9 385988 |a 17515 |b 17515 |d 2015-08-26 |i 119422 |l 0 |o 004 B389c |p 179515001074 |r 2026-01-09 08:25:45 |t Ej. 3 |w 2026-01-09 |y BOOK |z Cra. 1 Calle 42, La Dorada | ||
| 952 | |0 0 |1 0 |4 1 |7 0 |8 GENER |9 385989 |a 19221 |b 19221 |d 2022-11-22 |i 194074 |l 0 |p 74033-100 |r 2026-01-09 08:25:45 |w 2026-01-09 |y BOOK | ||
| 952 | |0 0 |1 0 |4 11 |6 004_000000000000000_B389C |7 0 |8 GENER |9 385990 |a 19221 |b 19221 |d 2015-07-28 |i 194074 |l 0 |o 004 B389c |p 199221001178 |r 2026-01-09 08:25:45 |t Ej. 1 |w 2026-01-09 |y BOOK |z Cra 9 No. 71N-60. Alto Cauca, Popayan | ||
| 952 | |0 0 |1 0 |4 11 |6 004_000000000000000_B389C |7 0 |8 GENER |9 385991 |a 19221 |b 19221 |d 2016-12-12 |i 194074 |l 0 |o 004 B389c |p 199221002230 |r 2026-01-09 08:25:45 |t Ej. 2 |w 2026-01-09 |y BOOK |z Cra. 9 No. 71N-60, Popayan | ||
| 999 | |c 78021 |d 78021 | ||
| 942 | |6 004_015100000000000__B389C | ||