| 000 | 00987nam a2200241I 4500 | ||
|---|---|---|---|
| 020 | _a9786077071655 | ||
| 082 |
_a510.6 / _bF245L / C,G. |
||
| 100 | 1 | _aFarré Cirera, Rafael, | |
| 245 | 1 | 0 | _aLógica para informáticos / |
| 250 | _aPrimera ediciónn: Alfaomega Grupo Editor, México, mayo 2012. | ||
| 260 |
_aMéxico: _bAlfaomega; _c2012. |
||
| 300 |
_axii, 206 páginas : _binformatica; _elibro. |
||
| 500 | _a"Área: Computación. Sub área: Teoría de la computación". | ||
| 520 | _aPreliminares.-- Definición de la lógica profesional.-- Deducción en la lógica proporcional.-- Definición de la lógica de primer orden.--Deducción en la lógica de primer orden.-- Fundamentos de la programación lógica.-- Ejercicio resueltos. | ||
| 650 | 0 | _aComputer logic. | |
| 650 | 4 | _aLógica computacional. | |
| 700 | 1 | _aNieuwenhuis, Robert, | |
| 700 | 1 | _aNivela, Pilar, | |
| 700 | 1 | _aOliveras, Albert, | |
| 700 | 1 | _aRodríguez, Enric, | |
| 700 | 1 | _aSierra, Josefina, | |
| 942 | _cBK | ||
| 999 |
_c1 _d1 |
||