Lógica y matemáticas para ciencias de la computación /

Saved in:
Bibliographic Details
Main Author: Barboza Gutiérrez, Fidel (autor)
Other Authors: Torres Bojacá, Daniel A. (Editor)
Format: Book
Language: Spanish
Published: Bogotá : Universidad Piloto de Colombia, 2012.
Subjects:
Notas Contenido:
  • Elementos de teorías de conjuntos
  • Relaciones y funciones
  • Cálculo de proposiciones
  • Inferencia lógica
  • Cálculo de predicados
  • Álgebra de Boole
  • Matemáticas y algoritmos

MARC

LEADER 00000nam a2200000 a 4500
001 000102938
003 CO-BoSNA
005 20260109094415.0
008 191002s2012^^^^ck^a^^^gr^^^^^000^0^spa^d
020 |a 9789588537351 
040 |a CO-BoSNA  |b spa 
082 0 4 |a 004.0151  |b B239l  |2 23 
100 1 |a Barboza Gutiérrez, Fidel  |e autor 
245 1 0 |a Lógica y matemáticas para ciencias de la computación /  |c Fidel Barboza Gutiérrez ; editor Daniel A. Bojacá Torres. 
260 |a Bogotá :  |b Universidad Piloto de Colombia,  |c 2012. 
300 |a xiii, 470 páginas :  |b ilustraciones ;  |c 23 cm. 
504 |a Incluye referencias bibliográficas 
505 0 |a Elementos de teorías de conjuntos -- Relaciones y funciones -- Cálculo de proposiciones -- Inferencia lógica -- Cálculo de predicados -- Álgebra de Boole -- Matemáticas y algoritmos 
650 1 7 |a Lógica simbólica y matemática  |2 Armarc 
650 2 7 |a Matemáticas  |x Problemas, ejercicios, etc.  |2 Armarc 
650 2 7 |a Ciencia de la computación  |2 Armarc 
700 1 |a Torres Bojacá, Daniel A.  |e editor 
952 |0 0  |1 0  |4 5  |6 EJ___1_000000000000000  |7 0  |8 GENER  |9 449202  |a 19221  |b 19221  |d 2019-10-02  |h 004.0151 B239l  |i 99049  |l 0  |o Ej. 1  |p 199221003676  |r 2026-01-09 09:44:15  |w 2026-01-09  |y BOOK  |z Cra. 9 No. 71N-60, Popayán 
999 |c 98868  |d 98868 
942 |6 004_015100000000000__B239L