|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
000072732 |
| 003 |
CO-BoSNA |
| 005 |
20260109082356.0 |
| 008 |
120223t2007^^^^sp^a^^^fr^^^^^000^0^spa^d |
| 020 |
|
|
|a 9788483224540
|
| 040 |
|
|
|a CO-BoSNA
|b spa
|
| 041 |
0 |
|
|a spa
|
| 082 |
0 |
4 |
|a 005.101
|b L687l
|2 23
|
| 245 |
0 |
0 |
|a Lógica matemática para informáticos :
|b ejercicios resueltos /
|c Teresa Hortalá González y otros.
|
| 260 |
|
|
|a Madrid :
|b Pearson Educación,
|c c2007.
|
| 300 |
|
|
|a ix, 400 páginas :
|b ilustraciones ;
|c 27 cm.
|
| 504 |
|
|
|a Incluye referencias bibliográficas
|
| 505 |
2 |
|
|a Lógica proporcional -- Sintaxis y semántica -- Formalización, técnicas de razonamiento -- Equivalencia lógica. Leyes booleanas -- Cálculo lógico con tableaux -- Lógica de primer orden -- Sintaxis y semántica -- Formalización. Técnicas de razonamiento -- Equivalencia lógica. Leyes de los cuantificadores -- Cálculo lógico con tableaux -- Cálculo lógico con resolución -- Ejercicios propuestos
|
| 650 |
1 |
7 |
|a Lógica simbólica y matemática
|2 Armarc
|
| 650 |
2 |
7 |
|a Lógica de primer orden
|2 Armarc
|
| 650 |
2 |
7 |
|a Cálculo proposicional
|2 Armarc
|
| 700 |
1 |
|
|a Hortalá, González, Teresa
|
| 700 |
1 |
|
|a Martí Oliet, Narciso
|
| 700 |
1 |
|
|a Palomino Tarjuelo, Miguel
|
| 700 |
1 |
|
|a Rodríguez Artalejo, Mario
|
| 700 |
1 |
|
|a Vado Vírseda, Rafael del
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 005_101000000000000_L687L
|7 0
|8 GENER
|9 381207
|a 05053
|b 05053
|d 2015-06-04
|l 0
|o 005.101 L687l
|p 053062025180
|r 2026-01-09 08:23:56
|t Ej. 1
|w 2026-01-09
|y BOOK
|z Calle 104 No. 69-120, Medellín
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 005_101000000000000_L687L
|7 0
|8 GENER
|9 381208
|a 19307
|b 19307
|d 2015-08-05
|i 137062
|l 0
|o 005.101 L687l
|p 199307000318
|r 2026-01-09 08:23:56
|t Ej. 1
|w 2026-01-09
|y BOOK
|z Calle 4 No. 2-80, Popayán
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 005_101000000000000_L687L
|7 0
|8 GENER
|9 381209
|a 19307
|b 19307
|d 2015-08-05
|i 137062
|l 0
|o 005.101 L687l
|p 199307000319
|r 2026-01-09 08:23:56
|t Ej. 2
|w 2026-01-09
|y BOOK
|z Calle 4 No. 2-80, Popayán
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 005_101000000000000_L687L
|7 0
|8 GENER
|9 381210
|a 19307
|b 19307
|d 2015-08-05
|i 137062
|l 0
|o 005.101 L687l
|p 199307000322
|r 2026-01-09 08:23:56
|t Ej. 3
|w 2026-01-09
|y BOOK
|z Calle 4 No. 2-80, Popayán
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 005_101000000000000_L687L
|7 0
|8 GENER
|9 381211
|a 19307
|b 19307
|d 2015-08-05
|i 137062
|l 0
|o 005.101 L687l
|p 199307000323
|r 2026-01-09 08:23:56
|t Ej. 4
|w 2026-01-09
|y BOOK
|z Calle 4 No. 2-80, Popayán
|
| 999 |
|
|
|c 76724
|d 76724
|
| 942 |
|
|
|6 005_101000000000000__L687L
|
