LÓGICA PARA INFORMÁTICOS
|
|||||||||||||||||||||||||||||||
| Codigo |
005.131 F23
|
||||||||||||||||||||||||||||||
| Autor |
Farré, Rafael,Nivela, Pilar,[et.al.]
|
||||||||||||||||||||||||||||||
| Pie de Imprenta |
México D.F,Alfaomega,2012
|
||||||||||||||||||||||||||||||
| Caracteristicas |
23 cm
|
||||||||||||||||||||||||||||||
| Contenido |
Definición de lógica proposicional-- Deducción de lógica proposicional-- Definición de lógica de primer orden-- Deducción de la lógica de primer orden-- Fundamentos de programación lógica--
|
||||||||||||||||||||||||||||||
| Ejemplares |
|
||||||||||||||||||||||||||||||