|
|
|
|
| LEADER |
01914am aa2200289i 44500 |
| 001 |
IDI-589635 |
| 008 |
30605s2019 ag d spa |
| 020 |
|
|
|a 9786077079934
|
| 100 |
|
|
|a Farré, Rafel
|9 3276
|
| 700 |
|
|
|a Sierra, Josefina
|9 3277
|
| 700 |
|
|
|a Oliveras, Albert
|9 3278
|
| 700 |
|
|
|a Nieuwenhuis, Robert
|9 3279
|
| 700 |
|
|
|a Rodríguez, Enric
|9 3280
|
| 700 |
|
|
|a Nivela, Pilar
|9 3281
|
| 245 |
|
|
|a Lógica para informáticos
|
| 264 |
|
|
|a [Lugar de publicación no identificado] :
|b Alfaomega,
|c 2019
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedia
|
| 338 |
|
|
|a otro
|b sz
|2 rdamedia
|
| 347 |
|
|
|a archivo de texto
|2 rdaft
|b PDF
|
| 520 |
|
|
|a Este libro proporciona al lector fundamentos de lógica, para las ciencias de la computación, sólo 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, Demostración de propiedades. Continúa con la definición de la lógica proposicional y de las técnicas de deducción en esta lógica y sus aplicaciones. En la segunda parte del libro define la lógica de primer orden, explica los métodos de deducción e incluye algunas aplicaciones. Dedica un capítulo a la programación lógica. 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 solución, desarrollada en todo detalle.
|
| 650 |
|
0 |
|a Computación e informática
|9 439
|
| 655 |
|
|
|a Libro electrónico
|9 18
|
| 856 |
|
|
|u https://www.bidi.la/account/unmdp/login?r=/libro/589635
|y Click para acceso en línea
|
| 942 |
|
|
|c BIDI
|2 udc
|
| 945 |
|
|
|a 1099
|b Pablo López Liotti
|c 1099
|d Pablo López Liotti
|
| 999 |
|
|
|c 72365
|d 264755
|