|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
000102354 |
| 003 |
CO-BoSNA |
| 005 |
20260109094343.0 |
| 008 |
190731s2005^^^^ck^a^^^gr^^^^^000^0^spa^d |
| 020 |
|
|
|a 9789588085586
|
| 040 |
|
|
|a CO-BoSNA
|b spa
|
| 082 |
0 |
4 |
|a 004.0151
|b J254m
|2 23
|
| 100 |
1 |
|
|a Jaime Hernández, Lida Marina
|e autor
|
| 245 |
1 |
0 |
|a Matemática para la computación /
|c Lida Marina Jaime Hernández, Schweitzer Rocuts Pabón.
|
| 260 |
|
|
|a Bogotá :
|b Politécnico Grancolombiano,
|c 2005.
|
| 300 |
|
|
|a 116 páginas :
|b ilustraciones ;
|c 22 cm.
|
| 490 |
0 |
|
|a Documentos. Ingeniería de sistemas
|
| 505 |
0 |
|
|a Cálculo proposicional -- Argumentos y tablas de verdad -- Validez de argumentos a través de tablas -- Demostraciones formales -- Reglas de inferencia -- Arboles de forzamiento semántico -- Cálculo de predicados -- Introducción a cuantificadores -- Variables libres y simbolización -- Reglas de cuantificación -- Teoría de conjuntos -- Nociones básicas -- Operaciones básicas con conjuntos -- Producto cartesiano -- Relaciones -- Clases de relaciones -- Cuantificadores generalizados -- Preliminares -- Introducción a cuantificadores generalizados y tipos -- Reglas para el manejo de cuantificadores
|
| 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 Rocuts Pabón, Schweitzer
|e autor
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 EJ___2_000000000000000
|7 0
|8 GENER
|9 448180
|a 19221
|b 19221
|d 2023-05-31
|h 004.0151 J254m
|i 96715
|l 0
|o Ej. 2
|p 199221004362
|r 2026-01-09 09:43:43
|w 2026-01-09
|y BOOK
|z Cra. 9 No. 71N-60, Popayán
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 004_015100000000000_J254M
|7 0
|8 GENER
|9 448181
|a 19221
|b 19221
|d 2019-07-31
|i 96715
|l 0
|o 004.0151 J254m
|p 199221003616
|r 2026-01-09 09:43:43
|t Ej. 1
|w 2026-01-09
|y BOOK
|z Cra. 9 No. 71N-60, Popayán
|
| 999 |
|
|
|c 98284
|d 98284
|
| 942 |
|
|
|6 004_015100000000000__J254M
|
