| Título : |
Lógica para informáticos |
| Tipo de documento: |
texto impreso |
| Autores: |
Farré Cirera, Rafel, Autor ; Nieuwenhuis, Robert, Autor ; Nivela Alós, Pilar, Autor ; [et.al], Autor |
| Mención de edición: |
1a ed |
| Editorial: |
Mexico : Alfaomega |
| Fecha de publicación: |
2012 |
| Otro editor: |
Barcelona : Marcombo Ediciones Tecnicasa |
| Número de páginas: |
xii, 206 p |
| Il.: |
il. |
| Dimensiones: |
Rústica |
| ISBN/ISSN/DL: |
978-607-707-165-5 |
| Idioma : |
Español (spa) |
| Palabras clave: |
LÓGICA PROPOSICIONAL, LÓGICA MATEMÁTICA, LÓGICA SIMBÓLICA, PROGRAMACIÓN LÓGICA, LÓGICA DE PRIMER ORDEN |
| Resumen: |
La finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. Las audiencias principales 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 |
| Nota de contenido: |
Conjuntos. // Relaciones y funciones. // Demostración de propiedades. // Definición de la lógica proposicional. // Deducción en la lógica proposicional. // 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 |
Lógica para informáticos [texto impreso] / Farré Cirera, Rafel, Autor ; Nieuwenhuis, Robert, Autor ; Nivela Alós, Pilar, Autor ; [et.al], Autor . - 1a ed . - Mexico : Alfaomega : Barcelona : Marcombo Ediciones Tecnicasa, 2012 . - xii, 206 p : il. ; Rústica. ISBN : 978-607-707-165-5 Idioma : Español ( spa)
| Palabras clave: |
LÓGICA PROPOSICIONAL, LÓGICA MATEMÁTICA, LÓGICA SIMBÓLICA, PROGRAMACIÓN LÓGICA, LÓGICA DE PRIMER ORDEN |
| Resumen: |
La finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. Las audiencias principales 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 |
| Nota de contenido: |
Conjuntos. // Relaciones y funciones. // Demostración de propiedades. // Definición de la lógica proposicional. // Deducción en la lógica proposicional. // 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 |
|
Refinar búsqueda Consulta a fuentes externas
