| Título: | Lógica para informáticos |
| Autores: | Rafel Farré ; Josefina Sierra, Autor ; Albert Oliveras, Autor ; Robert Nieuwenhuis, Autor ; Enric Rodríguez, Autor ; Pilar Nivela, Autor |
| Tipo de documento: | documento electrónico |
| Fecha de publicación: | 2019 |
| ISBN/ISSN/DL: | 978-607-707-993-4 |
| Materias: |
02 - Temático General - UNESCO Computaci3n e inform¡tica |
| Resumen: | Este libro proporciona al lector fundamentos de l3gica, para las ciencias de la computaci3n, s3lo se asumen conocimientos previos muy b¡sicos de matem¡ticas, conocimientos que adem¡s se revisan brevemente. El libro inicia con un cap tulo de preliminares matem¡ticos donde se repasan: Conjuntos, Relaciones y funciones, Combinatoria, Demostraci3n de propiedades. Continºa con la definici3n de la l3gica proposicional y de las t©cnicas de deducci3n en esta l3gica y sus aplicaciones. En la segunda parte del libro define la l3gica de primer orden, explica los m©todos de deducci3n e incluye algunas aplicaciones. Dedica un cap tulo a la programaci3n l3gica. Ventajas Competitivas: Escrito de forma amena y cercana, simplificando al m¡ximo la carga rotacional, con numerosos ejemplos que ilustran los conceptos explicados. M¡s de 200 ejercicios acompa+ados de su correspondiente soluci3n, desarrollada en todo detalle. |
| En línea: | https://www.bidi.la/account/villamaria/login?r=/libro/754715 |
Ejemplares
| Código de barras | Signatura | Tipo de medio | Ubicación | Sección | Estado |
|---|---|---|---|---|---|
| ningún ejemplar | |||||
