|
|
|
|
LEADER |
02593nam a22004337i 4500 |
001 |
042148 |
003 |
OSt |
005 |
20240516140834.0 |
007 |
ta |
008 |
160622t2012 mx a|||f||||||||| ||spa|| |
020 |
|
|
|a 9786077071655
|
020 |
|
|
|a 9786077071655
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad Especializada de las Américas
|
082 |
|
|
|2 21
|a 005.1
|b F24
|
100 |
|
|
|4 Autor
|a Farré Cirera, Rafel
|
245 |
|
|
|a Lógica para informáticos /
|c Rafel Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell, Josefina Sierra Santibáñez
|
250 |
|
|
|a Primera edición
|
260 |
|
|
|a México :
|b Alfaomega Grupo Editor,
|c ©2012
|
264 |
|
|
|a México :
|b Alfaomega Grupo Editor,
|c ©2012
|
300 |
|
|
|a ix, 206 páginas :
|b ilustraciones,
|c 23 cm
|
500 |
|
|
|a Incluye Contenido
|
505 |
|
|
|t CONTENIDO 1. Preliminares 2. Definición de la lógica proposicional 3. Deducción en la lógica proposicional 4. Definición de la lógica de primer orden 5. Deducción en la lógica de primer orden 6. Fundamentos de la programación lógica 7. Ejercicios resueltos. Lógica de primer orden con igualdad
|
520 |
|
|
|a La finalidad del libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. La audiencia principal son pues los estudiantes de titulaciones en informática, aunque el libro también es útil como complemento en la formación básica de otras ciencias e ingenierías.
|
650 |
|
|
|2 lembs
|a INFORMATICS
|
650 |
|
|
|2 lembs
|a INFORMÁTICA
|9 1536
|
650 |
|
|
|2 lembs
|a PROGRAMACIÓN
|x COMPUTADORES ELECTRÓNICOS
|x ADMINISTRACIÓN
|
653 |
|
|
|a PROGRAMACIÓN LÓGICA
|
700 |
|
|
|4 Autor
|a Nieuwenhuis, Robert
|
700 |
|
|
|4 Autor
|a Nivela Alós, Pilar
|
700 |
|
|
|4 Autor
|a Oliveras Llunell, Albert
|
700 |
|
|
|4 Autor
|a Rodríguez Carbonell, Enric
|
700 |
|
|
|4 Autor
|a Sierra Santibáñez, Josefina
|
942 |
|
|
|2 ddc
|c BK
|
991 |
|
|
|a 22-6-16
|
992 |
|
|
|a mitzela del cid
|
999 |
|
|
|c 10055
|d 10055
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_100000000000000_F24
|7 0
|9 19052
|a 04
|b 04
|d 2016-06-22
|e Compra
|f C
|g 28.00
|i 042148
|l 0
|o 005.1 F24
|p 042148
|r 2016-06-22
|t ej.1
|v 48.00
|w 2016-06-22
|y BK
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_100000000000000_F24
|7 0
|9 19859
|a 09
|b 09
|d 2016-08-02
|e Compra
|f C
|g 28.00
|i 090313
|l 0
|o 005.1 F24
|p 090313
|r 2016-08-02
|t ej.1
|v 48.00
|w 2016-08-02
|y BK
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_100000000000000_F24
|7 0
|9 31730
|a 08
|b 08
|d 2018-08-10
|e Compra
|f C
|g 28.00
|i 0810584
|l 0
|o 005.1 F24
|p 0810584
|r 2018-08-10
|t ej.1
|v 28.00
|w 2018-08-10
|y BK
|