|
|
|
|
LEADER |
01671nam a22003497i 4500 |
003 |
PA-PaUTB |
005 |
20240520090904.0 |
007 |
ta |
008 |
220712b2023 pn a|||fr|||| 00| 0 spa d |
020 |
|
|
|a 978-9962-17-532-2
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad Tecnológica de Panamá
|
041 |
0 |
|
|a spa
|
082 |
0 |
4 |
|a 511.3
|b M378 2023
|q PA-PaUTB
|2 21
|
245 |
1 |
0 |
|a Lógica informática :
|b conceptos, propiedades y aplicaciones /
|c Iveth Verónica Martínez V.
|
250 |
|
|
|a primera edición
|
264 |
3 |
1 |
|a Panamá :
|b Editorial universitaria Carlos Manuel Gasteazoro,
|c 2023
|
300 |
|
|
|a xiv 124 páginas :
|b tablas, figuras ;
|c 27 cm
|
336 |
|
|
|2 rdacontent
|a texto
|b txt
|
337 |
|
|
|2 rdamedia
|a no mediado
|b n
|
338 |
|
|
|2 rdacarrier
|a volumen
|b nc
|
505 |
0 |
|
|a 1. Lógica del razonamiento.-- 2. Sistemas formales.-- Lógica de primer orden.-- 4. Cálculo de consecuencias lógicas.-- 5. Sistemas axiomáticos de primer orden.-- 6. Fórmulas Prenex, resolución.-- 7. Cálculo de secuentes.-- 8. Tablas semánticas.
|
541 |
1 |
|
|a Donación Prof. Cecilia de Beitia.
|c D
|d 2023/05/23.
|e 800132495.
|h 100.00
|
650 |
1 |
7 |
|a Lógica simbólica y matemática
|2 LEMB
|9 5754
|
650 |
2 |
7 |
|a Razonamiento
|2 LEMB
|9 5753
|
650 |
2 |
7 |
|a Funciones calculables
|2 LEMB
|9 6455
|
650 |
2 |
0 |
|a Programación (Matemáticas)
|2 LEMB
|9 5270
|
650 |
2 |
0 |
|a Matemáticas - Fórmulas
|9 6456
|
653 |
0 |
|
|a 0
|
942 |
|
|
|c LIBRO
|2 ddc
|
946 |
|
|
|a 37958
|b Franklin De Gracia
|c 37955
|d Eira Castillo
|
999 |
|
|
|c 143144
|d 143144
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 511_300000000000000_M378
|7 0
|8 GEN
|9 176746
|a BUT-CH
|b BUT-CH
|c CG
|d 2023-05-23
|e D
|g 100.00
|l 0
|o 511.3 M378
|p 800132495
|r 2023-05-23
|t e.1
|w 2023-05-23
|y LIBRO
|