Lógica para informáticos /  
Rafel Farré  [y otros cinco] 
 - Primera edición 
 - xii, 206 páginas :  ilustraciones ;   23 cm. 
<br/><br/>1. Preliminares -- 2. Definición de la lógica proposicional -- 3. Deducción de 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.  
<br/><br/> La finalidad de este 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. En esta obra sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente en un capítulo de preliminares. El libro está escrito de forma amena y cercana, simplificando al máximo la carga notacional y con numerosos ejemplos que ilustran los conceptos explicados. 
<br/><br/><label>ISBN: </label>9786077071655 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación lógica<br/>Estructura de datos informáticos<br/>Lógica
<br/><br/><label>Dewey Class. No.: </label>004.0151  / L687 2012