Lógica Matemática para informáticos : ejercicios resueltos /
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | , , , |
| Μορφή: | Βιβλίο |
| Σειρά: | Prentice práctica
|
| Θέματα: | |
| Διαθέσιμο Online: | Εμφάνιση στον Δημόσιο Κατάλογο |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000cam a2200000 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 SV-SsUSB |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 Dewey Decimal Classification |c Libros | ||
| 990 | |a bc_dina | ||
| 999 | |c 25446 |d 25446 | ||
| 952 | |1 Disponible |2 Dewey Decimal Classification |8 Colección General |a Biblioteca Central |b Biblioteca Central |c Colección General |d 2015-11-05 |e 20111213 |g 21.47 |i 065524 |l 2 |m 1 |o 511.3 H678L |p 10048723 |r 2022-06-28 00:00:00 |s 2022-06-13 |w 2015-11-05 |y Libros | ||