|
|
|
|
| LEADER |
01885cam a2200361 4500 |
| 007 |
ta |
| 008 |
151105s2008 sp a g| |||| 000 0 spa d |
| 020 |
|
|
|a 9788483224540
|
| 037 |
|
|
|b Editorial Pearson Educación ; Rivera del Loira, 2828042 Madrid (España)
|
| 040 |
|
|
|a Sistema Bibliotecario Universidad de El Salvador
|b spa
|e rda
|
| 082 |
0 |
4 |
|a 511.3
|b H678L
|
| 100 |
1 |
|
|a Hortalá González, Teresa
|e autor
|
| 245 |
1 |
0 |
|a Lógica Matemática para informáticos :
|b ejercicios resueltos /
|c Teresa Hortalá González [y otros cuatro]
|
| 264 |
|
|
|a Madrid :
|b Pearson Prentice Hall,
|c ©2008.
|
| 300 |
|
|
|a ix, 390 páginas ;
|b ilustraciones ;
|c 28 cm.
|
| 336 |
|
|
|2 rdacontent
|a texto
|b txt
|
| 337 |
|
|
|2 rdamedia
|a no mediado
|b n
|
| 338 |
|
|
|2 rdacarrier
|a volumen
|b nc
|
| 490 |
1 |
|
|a Prentice práctica
|
| 504 |
|
|
|a Bibliografía: páginas [389]-390
|
| 505 |
|
|
|a Lógica proposicional -- Sintaxis y semántica -- Formalización, técnicas de razonamiento -- Equivalencia lógica, leyes booleanas -- Cálculo lógico con tableux -- Lógica de primer orden -- Sintaxis y semántica -- Formalización, Tecnicas de razonamiento -- Equivalencia lógica, Leyes de los cuantificadores -- Cálculo lógico con tableux -- Cálculo lógico con resolución -- Ejercicios propuestos.
|
| 521 |
|
|
|a General
|
| 650 |
|
7 |
|a Lógica matemática
|v Problemas, Ejercicios, etc.
|2 Lemb
|
| 650 |
|
7 |
|a Informática
|2 Lemb
|
| 700 |
1 |
|
|a Martí Oliet, Narciso
|e autor
|
| 700 |
1 |
|
|a Palomino Tarjuelo, Miguel
|e autor
|
| 700 |
1 |
|
|a Rodríguez Artalejo, Mario
|e autor
|
| 700 |
1 |
|
|a Vado Vírseda, Rafael de
|e autor
|
| 830 |
|
0 |
|a Prentice práctica
|
| 942 |
|
|
|2 ddc
|c BK
|
| 990 |
|
|
|a bc_dina
|
| 999 |
|
|
|c 25446
|d 25446
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 511_300000000000000_H678L
|7 0
|8 CG
|9 36033
|a 10
|b 10
|c CG
|d 2015-11-05
|e 20111213
|g 21.47
|i 065524
|l 1
|o 511.3 H678L
|p 10048723
|r 2019-03-05
|s 2019-03-04
|w 2015-11-05
|y BK
|k 2571-2589, 2901-2906
|